2023
- Oberwolfach Workshop, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 12-18 November 2023
- CCA 2023, Twentieth International Conference on Computability and Complexity in Analysis, Dubrovnik, Croatia, 7-9 September 2023
- CiE 2023, Computability in Europe, Batumi, Georgia, 24-28 July 2023
- CCR 2023, 16th International Conference on Computability, Complexity and Randomness, Kochel am See, Germany, 10-14 July 2023
- Online Machine Learning Seminar, The University of Nottingham, Nottingham, UK, 14 June 2023
- Logic Colloquium 2023, ASL European Summer Meeting, Milano, Italy, 5-9 June 2023
- Séminaire Général de Logique, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Paris, France, 27 March 2023
- 10th Annual Conference of the Iranian Logic Association, Tehran, Iran, 22-23 February 2023
- UNESCO World Logic Day Seminar, Cross-Alps Logic Seminar, Università degli Studi di Torino, Italy, online, 13 January 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
- Online Logic Seminar Southern Illinois University, online, 2 December 2021
- Dagstuhl Seminar, Descriptive Set Theory and Computable Topology, Dagstuhl, Germany, 14-19 November 2021
- New Trends in Algorithmic Randomness and Computable Analysis, Minisymposium of the Joint Conference of the DMV-ÖMG), Passau, Germany, 29 September 2021
- CCA 2021, Eighteenth International Conference on Computability and Complexity in Analysis, Munich, Germany (virtual), 26-28 July 2021
- WDCM 2021, Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, online, 28 June - 2 July 2021
- ASL North American Annual Meeting 2021, University of Notre Dame, USA, Virtual, 22-25 June 2021
- Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 25 April - 1 May 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
- Joint Meeting of the Korean Mathematical Society and the German Mathematical Society, Seoul, Republic of Korea, 3-6 October 2018
- CCC 2018, Computability, Constructivity - From Logic to Algorithms, Faro, Portugal, 24-28 September 2018
- Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Dagstuhl, Germany, 3-7 September 2018
- CCA 2018, Fifteenth International Conference on Computability and Complexity in Analysis, Kochel am See, Germany, 5-8 August 2018
- LC 2018, Logic Colloquium, Udine, Italy, 23-28 July 2018
- RaTLoCC 2018, Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Forli-Cesena, Italy, 15-20 July 2018
- Logical Perspectives 2018, Saint Petersburg, Russia, 14-18 May 2018
- 3rd CORE Meeting, Munich, Germany, 26 January 2018
- Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 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