2018


  • Oberwolfach Seminar, Computability Theory, Oberwolfach, Germany, 7-13 January 2018 (Co-organizer)

2017


  • Oberwolfach Seminar, Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 5-11 November 2017 (Invited Participant)
  • 19th ÖMG Congress and Annual DMV Meeting, Joint Meeting of the Austrian and German Mathematical Societies, Salzburg, Austria, 11-15 September 2017 (Section Co-Organizer)
  • CCA 2017, Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, 24-27 July 2017 (Chair of the Steering Committee)
  • CiE 2017, Computability in Europe, Unveiling Dynamics and Complexity, Turku, Finland, 12-16 June 2017 (Programme Committee Member)
  • STACS 2017, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8-11 March 2017 (Contributed talk)
  • Dagstuhl Seminar, Computability Theory, Dagstuhl, Germany, 19-24 February 2017 (Co-Organizer)
  • Second CORE Meeting, Munich, Germany, 27 January 2017 (Invited Participant)
  • Workshop on Constructivism, Logic and Topology, Berne, Switzerland, 17-18 January 2017 (Invited participant)

2016


  • BIRS-CMO Workshop, Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico, 4-9 December 2016 (Invited Participant)
  • Arbeitstreffen, Meeting Computability and the BSS model, Kloster, Hiddensee, 8-12 August 2016 (Invited Participant)
  • CiE 2016, Computability in Europe, Pursuit of the Universal, Paris, France, 27 June - 1 July 2016 (Keynote Lecture)
  • CCA 2016, Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal, 15-17 June 2016 (Chair of the Steering Committee)
  • 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 (Invited Participant)

2015


  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 25-30 October 2015 (Invited Participant)
  • Dagstuhl Seminar, Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Dagstuhl, Germany, 20-25 September 2015 (Co-Organiser)
  • CCC 2015, Continuity, Computability, Constructivity - From Logic to Algorithms, Schloss Aspenstein, Kochel am See, Germany, 14-18 September 2015 (Programme Committee Member)
  • CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo, Japan, 12-15 July 2015 (Chair of the Steering Committee)
  • 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 (Invited Speaker)
  • 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 (Invited Participant)
  • CCC 2014, Continuity, Computability, Constructivity - From Logic to Algorithms, Ljubljana, Slovenia, 15-19 September 2014 (Invited Speaker)
  • CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014 (Local Organizer, Programm Committee Member)
  • CCA 2014, Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany, 21-24 July 2014 (Programme Committee Chair)
  • WCT 2014, Workshop on Computability Theory, Prague, Czech Republic, 3-4 July 2014 (Invited Speaker)
  • CiE 2014, Computability in Europe: Language, Life, Limits, Budapest, Hungary, 23-27 June 2014 (Programme Committee Member)

2013


  • CCR 2013, Eighths International Conference on Computability, Complexity and Randomness, Moscow, Russia, 23-27 September 2013 (Programme Committee Member) *
  • BLC 2013, British Logic Colloquium, Leeds, UK, 5-7 September 2013 (Invited Speaker)
  • Dagstuhl Seminar, Duality in Computer Science, Dagstuhl, Germany, 28 July - 2 August 2013 (Invited Participant)
  • 28th Summer Conference on Topology and its Applications, Nipissing University, Canada, 23-26 July 2013 (Invited Speaker)
  • CCA 2013, Tenth International Conference on Computability and Complexity in Analysis, Nancy, France, 8-10 July 2013 (Steering Committee Chair)
  • CiE 2013, Computability in Europe: The Nature of Computation, Milan, Italy, 1-5 July 2013 (Programme Committee Co-Chair)
  • CCC 2013, Continuity, Computability, Constructivity: From Logic to Algorithms, Swansea University/Gregynog, UK, 26-30 June 2013

2012


  • ABM 2012, Logik Arbeitstagung Bern-München, München, Germany, 20-21 December 2012 (Invited Participant)
  • 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 (Invited Speaker)
  • CCA 2012, Ninth International Conference on Computability and Complexity in Analysis, Cambridge, UK, 24-27 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 (Programme Committee Member) *
  • Oberwolfach Workshop, Computability Theory, Oberwolfach, Germany, 5-11 February 2012 (Invited Participant)
  • Semantics and Syntax: A Legacy of Alan Turing, Programme of the Isaac Newton Institute, Cambridge, UK, 9 January - 6 July 2012 (Visiting Fellow)

2011


  • Dagstuhl Seminar, Computing with Infinite Data: Topological and Logical Foundations, Dagstuhl, Germany, 11-14 October 2011 (Co-Organiser)
  • ICTAC 2011, International Colloquium on Theoretical Advances in Computing 2011, Johannesburg, South Africa, 31 August - 2 September 2011 (Programme Committee Member) *
  • CiE 2011, Computability in Europe: Models of Computation in Context, Sofia, Bulgaria, 27 June - 2 July 2011 (Invited Speaker)
  • LATA 2011, 5th International Conference on Language and Automata Theory and Applications, Tarragona, Spain, 30 May - 3 June 2011 (Programme Committee Member) *
  • CCA 2011, Eighth International Conference on Computability and Complexity in Analysis, Cape Town, South Africa, 31 January - 4 February 2011 (Local Organiser and Steering Committee Chair)
  • CCR 2011, Sixth International Conference on Computability, Complexity and Randomness, Cape Town, South Africa, 31 January - 4 February 2011 (Programme Committee Co-Chair, Local Organiser)

2010


  • WoLLIC 2010, 17th Workshop on Logic, Language, Information and Computation, Brasília, Brazil, 6-9 July 2010 (Programme Committee Member) *
  • CiE 2010, Computability in Europe: Programs, Proofs, Processes, Ponta Delgada (Azores), Portugal, 30 June - 4 July 2010
  • CCA 2010, Seventh International Conference on Computability and Complexity in Analysis, Zhenjiang, China, 21-25 June 2010 (Programme Committee Member and Steering Committee Chair)
  • LCR 2010, 5th Conference on Logic, Computability and Randomness, Notre Dame, USA, 24-28 May 2010 (Invited Speaker)
  • WCALM 2010, Workshop on Constructive Aspects of Logic and Mathematics, Kanazawa, Japan, 8-12 March 2010 (Invited Speaker)

2009


  • CCA 2009, Sixth International Conference on Computability and Complexity in Analysis, Ljubljana, Slovenia, 18-22 August 2009 (Programme Committee Member and Steering Committee Chair)
  • CiE 2009, Computability in Europe: Mathematical Theory and Computational Practice, Heidelberg, Germany, 19-24 July 2009 (Programme Committee Member)
  • CCC 2009, Continuity, Computability, Constructivity: From Logic to Algorithms, Cologne, Germany, 14-18 July 2009 (Programme Committee Member)
  • LCR 2009, 4th Conference on Logic, Computability and Randomness, Marseille, France, 30 June - 3 July 2009 (Invited Participant)
  • NIATC 2009, New Interactions between Analysis, Topology, and Computation, Birmingham, UK, 7-9 January 2009 (Invited Speaker)

2008


  • CCA 2008, Fifth International Conference on Computability and Complexity in Analysis, Hagen, Germany, 21-24 August 2008 (Programme Committee Chair and Steering Committee Member)
  • RNC 2008, 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, 14-16 July 2008 (Steering Committee Member) *
  • Dagstuhl Seminar, Topological and Game-Theoretic Aspects of Infinite Computations, Dagstuhl, Germany, 29 June - 4 July 2008 (Invited Speaker)
  • Mini-Conference on Discrete Mathematics, Stellenbosch, South Africa, 25-26 March 2008
  • CAMEF 2008, Workshop on Computers and Algorithms in Mathematical Economics and Finance, Budapest, Hungary, 28 January - 1 February 2008 (Invited Speaker)

2007


  • CAMEF 2007, Workshop on Computers, Algorithms and Mathematical Economics and Finance, Pretoria, South Africa, 19-23 November 2007 (Invited Speaker)
  • ILC 2007, International Conference on Infinity in Logic & Computation, Cape Town, South Africa, 3-5 November 2007 (Local Organiser and Programme Committee Member)
  • LC 2007, Logic Colloquium, Wroclaw, Poland, 14-19 July 2007 (Plenary Speaker)
  • CiE 2007, Computability in Europe: Computation and Logic in the Real World, Siena, Italy, 18-23 June 2007 (Invited Speaker, Special Session Co-Organiser)
  • CCA 2007, Fourth International Conference on Computability and Complexity in Analysis, Siena, Italy, 16-18 June 2007 (Steering Committee Member)
  • Workshop Logic and Information, From Logic to Constructive Reasoning, Berne, Switzerland, 22-25 January 2007

2006


  • CCA 2006, Third International Conference on Computability and Complexity in Analysis, Gainesville, Florida, USA, 1-5 November 2006 (Tutorial Speaker and Steering Committee Member)
  • Dagstuhl Seminar, Computational Structures for Modelling Space, Time and Causality, Dagstuhl, Germany, 20-25 August 2006 (Invited Speaker)
  • RNC 2006, 7th Conference on Real Numbers and Computers, Loria, Nancy, France, 10-12 July 2006 (Steering and Programme Committee Member) *
  • Dagstuhl Seminar, Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl, Germany, 8-13 January 2006 (Invited Speaker)

2005


  • CCA 2005, Second International Conference on Computability and Complexity in Analysis, Kyoto, Japan, 26-29 August 2005 (Invited Speaker and Programme Committee Member)
  • CSL 2005, 14th Conference on Computer Science Logic, Oxford, UK, 22-25 August 2005 (Co-Author) *
  • LC 2005, Logic Colloquium 2005, Athens, Greece, 28 July - 3 August 2005 (Invited Speaker)
  • International Workshop on Computations on the Continuum, Lisbon, Portugal, 27-28 June 2005 (Inivited Speaker)
  • CiE 2005, Computability in Europe: New Computational Paradigms, Amsterdam, The Netherlands, 8-12 June 2005 (Tutorial Speaker)

2004


  • RNC 2004, 6th Conference on Real Numbers and Computers, Dagstuhl, Germany, 15-17 November 2004 (Co-Organiser and Programme Committee Member)
  • Dagstuhl Seminar, Spatial Representation: Discrete vs. Continuous Computational Models, Dagstuhl, Germany, 22-27 August 2004 (Invited Speaker)
  • CCA 2004, Sixth International Workshop on Computability and Complexity in Analysis, Lutherstadt Wittenberg, Germany, 16-20 August 2004 (Programme Committee Chair)
  • 19th Summer Conference on Topology and its Applications, Cape Town, South Africa, 5-9 July 2004

2003


2002


  • TCS 2002, 2nd IFIP International Conference on Theoretical Computer Science, Montreal, Canada, 25-30 August 2002 (Co-Author) *
  • LC 2002, Logic Colloquium, Münster, Germany, 3-10 August 2002 (Invited Speaker)
  • CCA 2002, Fifth Workshop on Computability and Complexity in Analysis, Málaga, Spain, 12-13 July 2002 (Co-Organiser)
  • ICALP 2002, 29th International Colloquium on Automata, Languages, and Programming, Málaga, Spain, 8-13 July 2002
  • 17th Summer Topology Conference, Auckland, New Zealand, 1-4 July 2002 (Invited Speaker)
  • Dagstuhl Seminar, Mathematical Structures for Computable Topology and Geometry, Dagstuhl, Germany, 26-31 May 2002 (Invited Speaker)
  • GI Theory Day, Automata and Formal Languages, Wittenberg, Germany, 2002 (Invited Speaker)

2001


  • CCA 2001, Dagstuhl Seminar on Computability and Complexity in Analysis 2001, Dagstuhl, Germany, 11-16 November 2001 (Co-Organiser)
  • MFCS 2001, International Symposium on Mathematical Foundations of Computer Science, Marienbad, Czech Republic, 27-31 August 2001
  • CCCG 2001, Canadian Conference on Computational Geometry, University of Waterloo, Canada, 13-15 August 2001 (Co-Author) *
  • Workshop on Computability and Models, Heidelberg, Germany, 2001
  • ICAGT 2001, International Conference on Applicable General Topology, Ankara, Turkey, 2001

2000


  • CCA 2000, Fourth Workshop on Computability and Complexity in Analysis, Swansea, Wales, 17-19 September 2000 (Co-Organiser)
  • Dagstuhl Seminar, Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Dagstuhl, Germany, 4-9 June 2000 (Invited Speaker)
  • RNC 2000, 4th Conference on Real Numbers and Computers, Dagstuhl, Germany, 17-19 April 2000 (Programme Committee Member) *
  • CCA Tutorial 2000, Hagen, Germany, 21-25 February 2000 (Lecturer)
  • ICWL 2000, International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, 2000
  • WASFLC 2000, Workshop on Algebraic Systems, Formal Languages and Computations, Kyoto, Japan, 2000
  • RIMS Seminar, Relevance and Feasibility of Mathematical Analysis on the Computer, Kyoto, Japan, 2000 (Invited Speaker)
  • MFCSIT 2000, Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, 2000 (Invited Speaker)
  • LC 2000, Logic Colloquium, Paris, France, 2000
  • SOFSEM 2000, 27th Annual Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 2000 (Programme Committee Member)

1999


  • CCA 1999, Dagstuhl Seminar on Computability and Complexity in Analysis 1999, Dagstuhl, Germany, 14-19 November 1999
  • DMTCS/CATS 1999, Discrete Mathematics and Theoretical Computer Science, Computing: The Australian Theory Symposium, Auckland, New Zealnad, 2 January - 1 February 1999
  • ICALP 1999, International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, 1999
  • Summer Conference on General Topology and Its Applications, Brookville, New York, USA, 1999

1998


  • CCA 1998, Third Workshop on Computability and Complexity in Analysis 1998, Brno, Czech Republic, 24-27 August 1998
  • RNC 1998, Third Conference on Real Numbers and Computers, Paris, France, 27-29 April 1998 (Programme Committee Member) *
  • MCU 1998, Universal Machines and Computations, Metz, France, 2 January - 2 February 1998
  • MFCS/CSL 1998, Mathematical Foundations of Computer Science and Computer Science Logic, Brno, Czech Republic, 1998

1997


  • CCA 1997, Dagstuhl Seminar on Computability and Complexity in Analysis 1997, Dagstuhl, Germany, 21-25 April 1997
  • COCOON 1997, Annual Interntational Computing and Combinatorics Conference, Shanghai, China, 1997

1996


  • CCA 1996, Second Workshop on Computability and Complexity in Analysis, Trier, Germany, 22-23 August 1996
  • RNC 1996, Second Conference on Real Numbers and Computers, Marseille, France, 1996 (Programme Committee Member)
  • WCCL 1996, Workshop on Computability, Complexity and Logic, Usedom, Germany, 1996
  • SOFSEM 1996, Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 1996

1995


  • CCA 1995, Workshop on Computability and Complexity in Analysis, Hagen, Germany, 19-20 August 1995
  • RNC 1995, Conference on Real Numbers and Computers, Saint-Étienne, France, 1995

1994


  • AMS Conference, Continuous Algorithms and Complexity, Mount Holyoke, USA, 1994 (Invited Participation)
* without participation