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
