Conferences and workshops
Upcoming meetings
- July 2018
Workshop on Ramsey Theory and Computability, Rome (invited speaker)
Workshop on Computability- and Category theoretic Perspectives on DST, Swansea (organizer) - August 2018
Computability in Europe (CiE), Kiel, Germany (PC member, special session speaker)
Computability and Complexity in Analysis (CCA), Kochel am See, Germany (participant) - September 2018
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis, Dagstuhl Seminar (Organizer)
Past meetings
- 2017
- Mathematical Foundations of Computer Science (MFCS), Aalborg, Denmark (PC member)
- Computability and Complexity in Analysis (CCA), Daejon, Korea (PC member)
- 2016
- Computability in Europe (CiE), Paris, France (PC member)
- 2015
- Measuring the Complexity of Computational Content:
Weihrauch Reducibility and
Reverse Analysis, Dagstuhl Seminar (Organizer) - 2013
- Computability and Complexity in Analysis (CCA), Nancy, France (PC member)
- Computability, Continuity and Constructivity (CCC), Gregynog, UK (PC member)
- 2012