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:

More an past activities here.

Also active in the IFIP Working Group 2.1 on Algorithmic Languages and Calculi.