Aktuelle Publikationen der Gruppe werden auf einer separaten Seite aufgeführt.

Frühere Publikationen finden sich auf einer alten Webseite.

Zusammen mit dem Lehrstuhl für Theoretische Informatik richten wir ein gemeinsames Forschungskolloquium aus.

Kürzliche und gegenwärtige Aktivitäten in Programm- und Steuerungskomitees:

• TFP 2017
• WPTE 2017
• WFLP 2017
• BX 2018
• WFLP 2018
• SACLA 2019
• WLP 2019
• FMFun 2019
• TFPIE 2020
• MoHoL 2020
• WFLP 2020
• Steuerungskomitee MPC (Mathematics of Program Construction), aktuelle Ausführung MPC 2019

Mehr zu früheren Aktivitäten hier.

Auch aktiv in der IFIP Working Group 2.1 on Algorithmic Languages and Calculi.