2023


2022


  • Colloquium Logicum, Konstanz, Germany, 26-28 September 2022
  • DiL 2022, Days in Logic, Faro, Portugal, 30 June - 2 July 2022
  • Logic Webinar, School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran, 22 June 2022
  • CCR 2022, International Conference on Computability, Complexity and Randomness, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 6-10 June 2022
  • Leeds Computability Days 2022, Leeds, UK, 30 May - 1 June 2022
  • CCA 2022, Nineteenth International Conference on Computability and Complexity in Analysis, Glenside, PA, USA, 23-26 May 2022
  • CIRM Seminar New Directions in Computability Theory, Marseille, France, 7-11 March 2022

2021


2020


  • Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 8-14 November 2020
  • CCA 2020, Seventeenth International Conference on Computability and Complexity in Analysis, Bologna, Italy (virtual), 9-11 September 2020

2019


  • ABMV 2019, Logik-Arbeitstagung Bern, München und Verona, Munich, Germany, 12-13 December 2019
  • CiE 2019, Computability in Europe, Durham, UK, 15-19 July 2019
  • CCA 2019, Sixteenth International Conference on Computability and Complexity in Analysis, Zagreb, Croatia, 8-11 July 2019
  • Shanin 100, St. Petersburg Days of Logic and Computability IV, Saint Petersburg, Russia, 23-26 May 2019

2018


2017


  • ABM 2017, Logik-Arbeitstagung Bern-München, Munich, Germany, 14-15 December 2017
  • Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017
  • SOTFOM 4-Reverse Mathematics, Symposia on the Foundations of Mathematics, Munich, Germany, 9-11 October 2017
  • 19th ÖMG Congress and Annual DMV Meeting, Joint Meeting of the Austrian and German Mathematical Societies, Salzburg, Austria, 11-15 September 2017
  • Arbeitstreffen, Computability and Reducibility, Kloster, Hiddensee, Germany, 6-11 August 2017
  • CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017
  • CCR 2017, Computability, Complexity and Randomness, Mysore, India, 3-7 July 2017
  • CiE 2017, Computability in Europe, Unveiling Dynamics and Complexity, Turku, Finland, 12-16 June 2017
  • STACS 2017, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 March 2017
  • Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017
  • Second CORE Meeting, Munich, Germany, 27 January 2017
  • Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017
  • CCS 2017, Computability and Complexity Symposium 2017, Raumati, New Zealand, 5-8 January 2017

2016


  • BIRS-CMO Workshop, Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico, 4-9 December 2016
  • Arbeitstreffen, Meeting Computability and the BSS model, Kloster, Hiddensee, 8-12 August 2016
  • LC 2016, Logic Colloquium 2016, Leeds, United Kingdom, 31 July - 6 August 2016
  • CiE 2016, Computability in Europe, Pursuit of the Universal, Paris, France, 27 June - 1 July 2016
  • Computability, Randomness and Applications, CIRM Seminar, Marseille, France, 20-24 June 2016
  • CCA 2016, Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal, 15-17 June 2016
  • ATC 2016, Symposium on Algebra, Topology and Category Theory, Cape Town, South Africa, 30 March - 1 April 2016
  • New Challenges in Reverse Mathematics, Programme of the Institute for Mathematical Sciences, National University Singapore, Singapore, 3-16 January 2016

2015


  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 25-30 October 2015
  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015
  • CCC 2015, Continuity, Computability, Constructivity - From Logic to Algorithms, Schloss Aspenstein, Kochel am See, Germany, 14-18 September 2015
  • CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo, Japan, 12-15 July 2015
  • CiE 2015, Computability in Europe, Evolving Computability, Bucharest, Romania, 29 June - 3 July 2015
  • VAI 2015, Varieties of Algorithmic Information, Heidelberg, Germany, 15-18 June 2015
  • STACS 2015, 32nd Symposium on Theoretical Aspects of Computer Science, Munich, Germany, 4-7 March 2015

2014


  • Oberwolfach Workshop, Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany, 16-22 November 2014
  • CCC 2014, Continuity, Computability, Constructivity - From Logic to Algorithms, Ljubljana, Slovenia, 15-19 September 2014
  • CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014
  • CCA 2014, Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany, 21-24 July 2014
  • WCT 2014, Workshop on Computability Theory, Prague, Czech Republic, 3-4 July 2014
  • CiE 2014, Computability in Europe: Language, Life, Limits, Budapest, Hungary, 23-27 June 2014

2013


  • HaPoC 2013, 2nd International Conference on the History and Philosophy of Computing 2013, Paris, France, 28-31 October 2013
  • CCR 2013, Eighths International Conference on Computability, Complexity and Randomness, Moscow, Russia, 23-27 September 2013
  • BLC 2013, British Logic Colloquium, Leeds, UK, 5-7 September 2013
  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 28 July - 2 August 2013
  • 28th Summer Conference on Topology and its Applications, Nipissing University, Canada, 23-26 July 2013
  • CCA 2013, Tenth International Conference on Computability and Complexity in Analysis, Nancy, France, 8-10 July 2013
  • CiE 2013, Computability in Europe: The Nature of Computation, Milan, Italy, 1-5 July 2013
  • ARA 2013, Analysis, Randomness and Applications, Nancy, France, 27-28 June 2013

2012


  • ABM 2012, Logik Arbeitstagung Bern-München, München, Germany, 20-21 December 2012
  • CL 2012, Colloquium Logicum, Paderborn, Germany, 13-15 September 2012
  • CCR 2012, Seventh International Conference on Computability, Complexity and Randomness, Cambridge, UK, 2-6 July 2012
  • CCA 2012, Ninth International Conference on Computability and Complexity in Analysis, Cambridge, UK, 24-27 June 2012
  • CiE 2012, Computability in Europe: Turing Centenary Conference, Cambridge, UK, 18-23 June 2012
  • Turing Centenary Conference CiE 2012, How the World Computes, Cambridge, UK, 18-23 June 2012
  • CCC 2012, Continuity, Computability, Constructivity: From Logic to Algorithms, Trier, Germany, 29 May - 2 June 2012
  • Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 5-11 February 2012
  • Semantics and Syntax: A Legacy of Alan Turing, Programme of the Isaac Newton Institute, Cambridge, UK, 9 January - 6 July 2012
  • Dagstuhl Seminar, Computability, Complexity and Randomness, Dagstuhl, Germany, 8-13 January 2012