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