Recent publications of the group are given on a separate page.
Past publications can be found on an old web page.
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
- FMFun 2019
- TFPIE 2020
- MoHoL 2020
- Steering committee MPC (Mathematics of Program Construction), next edition MPC 2019
More an past activities here.
Also active in the IFIP Working Group 2.1 on Algorithmic Languages and Calculi.