Organization
  • 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