Group Seminar (Club2)

Our seminar covers various topics in Interactive and Automated Theorem Proving, Programming Languages and related fields. We try to have one talk each week, but the actual schedule can vary according to supply and demand.


The calendar below lists the talks that are planned in the future, or have taken place in the past. Click on the titles for more information.

To receive talk announcements by email, subscribe to the Club2 mailing list.

The calendar is also available in iCal format.