Conferences

2018

  • 4-7 Sept., CSL, Birmingham, UK (talk: A recursion-theoretic characterization of the positive polynomial-time functions).
  • 19-20 July, PCC 2018, HIM, Bonn, Germany (member of PC).
  • 13 July, LCC2018, Oxford, UK (co-chair of SC)
  • 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).