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:

Mehr zu früheren Aktivitäten hier.

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