Conferences

2018

  • 19-20 July, PCC 2018, HIM, Bonn, Germany (member of PC).
  • 2-6 July, Workshop on Proof and Computation, HIM, Bonn, Germany (talk: The positive polynomial-time functions).
  • 11 June, Mathematical Colloquium, Tübingen, Germany (talk: Recursion with pointers in implicit complexity).
  • 25-27 January, DiL 2018, Universidade de Aveiro, Portugal (member of OC).

2017

  • 26-27 July, PCC 2017, Göttingen, Germany (member of PC).
  • 24-28 July, Hilbert Bernays Summer School on Logic and Computation, Göttingen, Germany (curse: Recursion and Complexity).
  • 19 June, LCC 2017, Reykjavik, Iceland (co-chair of SC).
  • 12-16 June, CiE 2017, Turku, Filand (member of PC).