Past activities

• 10th International Symposium on Domain Theory
  Qufu, Shandong, China, 2-5 August 2024. https://oxford24.github.io/
• 40th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXX) and 7th International Conference on Applied Category Theory
  Oxford, United Kingdom, 17-21 June 2024.
• 39th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXIX) and 10th Conference on Algebra and Coalgebra in Computer Science
  Bloomington, Indiana, 20-23 June 2023.
• 9th International Symposium of Domain Theory and Its Applications (ISDT '22)
  Online. Organised by Mathematics and Mathematics Education Academic Group, National Institute of Education, Nanyang Technological University, Singapore, 4-6 July, 2022. Proceedings
• Topology, Algebra and Categories in Logic (TACL 2022)
  Coimbra, Portugal, 20-24 June 2022.
• Midlands Graduate School 2022, University of Nottingham, 10 - 14 April 2022.
• Midlands Graduate School 2021, Universities of Sheffield and Birmingham, 12 - 16 April 2021.
• Continuity, Computability, Constructivity - From Logic to Algorithms
  Birmingham, 19 - 24 September, 2021.
• Midlands Graduate School 2019, University of Birmingham, 14 - 18 April 2019.
• Celebrating the work of Giovanni Sambin and Steve Vickers, University of Birmingham, 13 April 2019.
• 6th Workshop on Formal Topology, University of Birmingham, 8 - 12 April 2019.
• School and Workshop on Univalent Mathematics, University of Birmingham, 1 - 5 April 2019.
• 36th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVI) and 17th International Conference on Quantum and Physics Logic (QPL)
  Université Paris Saclay, France, 2-6 June, 2020.
• Continuity, Computability, Constructivity
  Ljubljana, 2-6 September, 2019.
• 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019)
  Natal, Brazil, 24-26 August, 2019.
• Topology, Algebra, and Categories in Logic (TACL 2019)
  Nice, France, June 17-21, 2019.
• 8th International Symposium of Domain Theory and its Applications (ISDT'19)
  Yangzhou University, Yangzhou, Jiangsu, China, 14-17 June, 2019.
• 35th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXV) and 8th Conference on Algebra and Coalgebra in Computer Science
  University College London, 3-7 June, 2019.
• Midlands Graduate School - Christmas Seminar, University of Birmingham, 19 December 2018.
• Midlands Graduate School
  University of Nottingham, 9-13 April, 2018.
• 34th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXIV)
  Dalhousie University, Halifax, 6-9 June, 2018.
• Workshop Domains
  University of Oxford, UK, 7-8 July, 2018.
• Computer Science Logic
  University of Birmingham, UK, 4-7 September, 2018.
• and another meeting
  University of Birmingham, UK, 8 September, 2018.
• First Symposium on Compositional Structures (SYCO 1)
  University of Birmingham, UK, 20-21 September, 2018.
• Continuity, Computability, Constructivity - From Logic to Algorithms
  Faro, Portugal, 24-28 September, 2018.
• Workshop on Algebra, Logic, and Topology (in honour of Ales Pultr)
  University of Coimbra, 27-29 September, 2018.
• 10th Conference for teachers (Computing at School) University of Birmingham, 15/16 June 2018. See here for a report on the event.
• Computer Science Logic (CSL 2017)
  Stockholm, August 20-24, 2017.
• Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017)
  Loria, Nancy, June 26-30, 2017.
• Topology, Algebra, and Categories in Logic (TACL 2017)
  Prague, Czech Republic, June 26-30, 2017.
• 7th International Symposium on Domain Theory and Applications (ISDT 2017)
  Shijiazhuang City, Hebei, China, June 2 - 4, 2017.
• Midlands Graduate School
  University of Leicester, 9-13 April, 2017.
• 51st Spring Topology and Dynamical Systems Conference
  New Jersey City University, Jersey City, NJ, March 8-11, 2017.
• Winter School on Denotational Semantics
  St Petersburg, Russia, January 30 - February 3, 2017.
• 32nd Conference on Mathematical Foundations of Programming Semantics (MFPS XXXII)
  Carnegie Mellon University, Pittsburgh, 23-26 May, 2016.
• Models of Computation with Order and Topology
  University of Isfahan, Isfahan, Iran, April 15-17, 2015.
• Topology, Algebra, and Categories in Logic 2015
  Ischia, 21-26 June, 2015.
• 31st Conference on Mathematical Foundations of Programming Semantics (MFPS XXXI)
  Nijmegen, 22-25 June, 2015.
• WoLLIC 2015, 22nd Workshop on Logic, Language, Information and Computation
  Bloomington, Indiana, USA, July 20-23, 2015.
• 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
  Universitat Pompeu Fabra, Barcelona, August 3-14, 2015.
• Domains XII
  University College Cork, Ireland, August 25-28, 2015.
• 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2015)
  September 2015.
• Domains XI - International workshop on domain theory and applications
  Paris Diderot, 8-10 September, 2014.
• Mathematical Foundations of Computer Science
  Budapest, 25-29 August, 2014. (conference poster)
• 30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)
  Cornell University, Ithaka, New York, 12-15 June, 2014.
• Midlands Graduate SchoolUniversity of Nottingham, 22-26 April, 2014.
• The 30th British Colloquium for Theoretical Computer Science
  Loughborough University, 9-11 April 2014.
• Workshops on Duality and Probabilistic Systems
  McGill Bellairs Research Institute, Barbados, 14-21 March 2014.
• 1st Workshop on Mathematical Structures
  African Institute for Mathematical Sciences and the Department of Mathematical Sciences at Stellenbosch University, 2-7 December, 2013.
• 6th International Symposium on Domain Theory and Applications (ISDT 2013)
  Hunan University, Changsha, October 25 - 29, 2013.
• Topology, Algebra, and Categories in Logic (TACL 2013)
  Vanderbilt University, Nashville, July 28 - August 1, 2013.
• 25th European Summer School in Logic, Language and Information (ESSLLI 2013)
  Heinrich Heine University, Düsseldorf, Germany, August 5-16, 2013.
• 29th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIX)
  Tulane University, New Orleans, 23-25 June, 2013.
• CPD courses for teachers in the Network of Excellence, Spring 2013
  
• A logical approach to heterogeneous data January-March 2011. Funded by Bridging the Gap (EPSRC).
• British Colloquium for Theoretical Computer Science (BCTCS 28)
  University of Manchester, 2-5 April 2012.
• Fixpoints in Computer Science (FICS 2012)
  Tallinn, Estonia, 24 March 2012. (A satellite workshop to ETAPS)
• 28th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVIII)
  University of Bath, 6-9 June, 2012.
• 3rd Conference for teachers (Computing at School) University of Birmingham, 23/24 June 2011
• Midlands Graduate School Christmas Seminar Birmingham, December 20, 2011.
• Domains X Swansea, UK, September 5-7, 2011.
• Topology, Algebra, and Categories in Logic (TACL 2011) Marseilles, France, July 26 - 30, 2011.
• CiE 2011: Models of Computation in Context Sofia, Bulgaria, June 27 - July 2, 2011.
• 27th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVII) Carnegie Mellon University, Pittsburgh, May 25-28, 2011.
• WoLLIC 2011, 18th Workshop on Logic, Language, Information and Computation, University of Pennsylvania, May 18-21, 2011.
• British Colloquium for Theoretical Computer Science (BCTCS 27)
  University of Birmingham, 18-21 April 2011.
• Modal Logic and Stone Duality, University of Amsterdam, December 13, 2010.
• 25th Summer Topology Conference Department of Mathematics of Jan Kochanowski University in Kielce, Poland, July 25-30, 2010.
• Computing - The Next Generation. 2nd Conference for teachers University of Birmingham, 9th July, 2010. (Organised by the Computing at School consortium.)
• CiE 2010: Programs, Proofs, Processes Ponta Delgada (Azores), Portugal. 30th June to 4th July, 2010.
• AAA80 Workshop on General Algebra Stefan Banach International Mathematical Center, Bedlewo, Poznan, Poland, June 1-6, 2010.
• 26th Conference on Mathematical Foundations of Programming Semantics (MFPS XXVI) University of Ottawa, May 6-10, 2010.
• The 40/50 celebration of Computer Science at Birmingham, Thursday, 12th November, 2009.
• 26th British National Conference on Databases 2009 University of Birmingham, July 7-9, 2009.
• 2nd International Conference on Topology and its Applications Hacettepe University, Ankara, Turkey, 6-11 July, 2009.
• Topology, Algebra, and Categories in Logic Amsterdam, July 7-11, 2009.
• 24th Summer Conference on Topology and Its Applications Brno, Czech Republic, July 14-17, 2009.
• ISDT 2009 Shanghai, 12-14 September 2009.
• Eighth Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, 21-25 September 2009.
• Computing - The Next Generation. Conference for teachers University of Birmingham, 19th June, 2009. (Organised by the Computing at School consortium.) Post conference report.
• 25th Conference on Mathematical Foundations of Programming Semantics (MFPS XXV) University of Oxford, UK, April 3-7, 2009.
• Midlands Graduate School University of Leicester, 30th March - 3rd April, 2009. (Organised by the MGS consortium: Birmingham, Leicester, Nottingham, Sheffield)
• New Interactions between Analysis, Topology, and Computation University of Birmingham, 7-9 January, 2009.
• Midlands Graduate School University of Birmingham, 14-18 April, 2008.
• 24th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV) University of Pennsylvania, Philadelphia, May 22-25, 2008.
• International Workshop on Topological Methods in Logic Tbilisi, Georgia, 3-5 June, 2008.
• Foundations of Informatics Computing and Software (FICS 2008), Shanghai, 3-6 June, 2008.
• Fifteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2008) Heriott-Watt University, Edinburgh, July 1-4, 2008.
• Logic in Geometry and Quantum Theory University of Nijmegen, September 3-5, 2008.
• Domains IX University of Sussex, September 22-24, 2008.
• Domains VIII and Computability Over Continuous Data Types Novosibirsk, September 11-15, 2007.
• Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007) July 2-5, 2007, Rio de Janeiro.
• 23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII) April 11-14, 2007, Tulane University, New Orleans.
• Midlands Graduate SchoolUniversity of Nottingham, 16-20 April, 2007.
• Logic Colloquium 2006 July 27 - August 2, 2006, Radboud University, Nijmegen, The Netherlands.
• Summer Conference on Topology and Applications July 10-13, 2005, Denison University, Ohio, US.
• 21st Conference on Mathematical Foundations of Programming Semantics 18-21 May, 2005.
  Local arrangements
• Midlands Graduate School 11-15 April, 2005.
• 19th Annual IEEE Symposium on Logic in Computer Science (July 2004, Turku, Finland)
• 19th Summer Conference on Topology and its Applications (5-9 July 2004, University of Cape Town, South Africa)
• 20th Conference on Mathematical Foundations of Programming Semantics (May 22-26, Carnegie Mellon University, Pittsburgh, USA)
• Applied Semantics (April 14 - 16, Tallinn, Estonia)
• Midlands Graduate School (Spring 2004, Nottingham)
• Estonian Winter School in Computer Science (Feb 19 - March 5, Tallinn, Estonia)
• Midlands Graduate School, Leicester, March 31 - April 4, 2003.
• 6th Workshop Domains, Birmingham, September 16-19, 2002.
• European Summer School in Logic, Language, and Information, Birmingham, August 6-18, 2000.
• The Semantic Challenge of Object-Oriented Programming. Dagstuhl, June 28 - July 3, 1998.
• Summer School and Workshop on Computation and Approximation. Birmingham, September 8-13, 1997.
• LOGSEM Workshop. Birmingham, September 13-16,1996.
• Logic, Domains, and Programming Languages. Darmstadt, May 25-27, 1995.
• Workshop Domains. Darmstadt, June 10-12, 1994.
• Workshop on Domain Theory and Databases. Darmstadt, July 13-15, 1989.