Hier werden Informationen zur Forschung stehen.

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
• Steuerungskomitee MPC (Mathematics of Program Construction), nächste Ausführung MPC 2019

Mehr zu früheren Aktivitäten hier.

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

Frühere Publikationen finden sich auf einer alten Webseite.