Johann A. Makowsky
Characterizing word functions recognized by weighted automata; June 26th, 16:00
Joel Ouaknine
A Survey of Classical and Real-Time Verification; June 14th, 16:00
Christoph Weidenbach
The Design of Automated Reasoning Systems; June 4, 2013 – 10:00