Organization
  • 2020: Organizer of a special session on Algorithmic learning theory at the conference Computability in Europe CiE 2020, Salerno 29 June-3 July (co-organizer: Frank Stephan).
  • 2018: Program Committee Member Workshop on Ramsey Theory and Computability Theory, Rome, Italy, July 9-13, 2018, University of Notre Dame Global Gateway, Rome.
  • 2018: Organizer of workshop Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC III), July 2018, (co-organizers: Nicola Galesi, Mauro Di Nasso, William Gasarch).
  • 2016: Scientific Committee of the interdisciplinary conference Interactive Imagination, Roma 6-8 Giugno 2016, Istituto Svizzero di Roma.
  • 2012: Organizer of the conference Limits of Theorem Proving 2012, Roma 25-27 Settenbre (co-organizers: Olaf Beyersdorff, Nicola Galesi, Toniann Pitassi).
  • 2011: Organizer of workshop Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC II), Bertinoro International Center for Informatics, with Nicola Galesi, Pavel Pudlak, Vojtech Rodl, Matteo Viale and Andreas Weiermann.
  • 2010: Programm Committee of workshop Recent advances in unprovability, University of Ghent, Department of Mathematics, September 6-9.
  • 2009: Organizer of workshop Ramsey Theory in Logic, Combinatorics and Complexity (RaTLoCC I), Bertinoro International Center for Informatics, with Nicola Galesi, Pavel Pudlak and Andreas Weiermann.
  • 2006: Organizer of Oberwolfach mini-workshop nb. 0648b, Logic, Combinatorics, and Independence Results, with Andrey Bovykin and Andreas Weiermann. (The report of the meeting appeared in the series Oberwolfach Reports, Volume 3, Issue 4, 2006, pp. 3087 - 3130.)
Honours and Awards
Positions
Education
> Other