Information about research will be put here.
Together with the Chair of Theoretical Computer Science, we organize a joint research colloquium.
Recent and current activities in program and steering committees:
- TFP 2017
- WPTE 2017
- WFLP 2017
- BX 2018
- WFLP 2018
- SACLA 2019
- WLP 2019
- Steering committee MPC (Mathematics of Program Construction), next edition MPC 2019
More an past activities here.
Also active as member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi.
Past publications can be found on an old web page.