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).