The new home of the PL seminar is here. Please update your bookmarks.

The Programming Languages Seminar supersedes the pi-lambda seminar as the regular meeting of the Programming Languages and Formal Models group at the Department of Computer Science, University of Aarhus, Denmark.

The seminar takes place at Fridays, 14:30-15:30. The meeting will be in Turing-014. Talks will be announced on our mailing list and on the home page of the department of computer science.

Our internal wiki can be found here.

If you have questions about the seminar or want to announce a talk, please contact Karl Klose.

Upcoming Events (previous events)