2014

• CL 2014, Colloquium Logicum, Munich, Germany, 4-6 September 2014 (Local Organizer, Programm Committee Member)
• CiE 2014, Computability in Europe: Language, Life, Limits, Budapest, Hungary, 23-27 June 2014 (Programme Committee Member)

2013

• NII Shonan Meeting on Implicit Computational Complexity and applications: Resource control, security, real-number computation, Shonan Village Center, Tokyo, Japan, 4-7 November 2013 (Invited Participant)
• 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-11 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)

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

• Minisymposion on Constructivity in Analysis and Topology, Rostock, Germany, 18 September 2003 (Invited Speaker)
• RNC 2003, 5th Conference on Real Numbers and Computers, Lyon, France, 3-5 September 2003 (Programme Committee Member)
• CCA 2003, International Conference on Computability and Complexity in Analysis, Cincinnati, USA, 28-30 August 2003 (Programme Committee Member)
• Workshop on Computability and Logic, Heidelberg, Germany, 23-27 June 2003 (Invited Speaker)
• From Sets and Types to Topology and Analysis, Towards Practicable Foundations for Constructive Mathematics , San Servolo, Venice, Italy, 12-16 May 2003 (Invited Speaker)
• STACS 2003, 20th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 27 February - 1 March 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)