Some of the papers discussed in the reading groups can be found on the internal pages.

Description Logic

Monday, 14:30, Technische Universität Dresden, APB 3027

Contact: Willi Hieke

Automata over Sets with Atoms

Wednesday, 14:00 o'clock, Universität Leipzig, A426

Contact: Karin Quaas

Automata theory in Bioinformatics/NLP

Organisation: one Tuesday per month, 10:45 AM, Universität Leipzig

Contact: Shima Asaadi

Probabilistic Model Checking

By appointment, Technische Universität Dresden, APB 3025

Contact: Christel Baier

The Proof of the PCP Theorem

Monday, 13:15 o'clock, Technische Universität Dresden, WIL C115, first meeting: Nov 6 2017

Contacts: Jakub Opršal, Caterina Viola, Antoine Mottet

Past Reading Groups