Description
Logic Lounge
Informal afternoon meeting with short talks from participants in the logic program.
Speakers:
Nathalie Bertrand, "Controlling a Population of Identical Automata"
Bart Jacobs, "Effectus Theory"
Nathanaël Fijalkow, "The Rise and Fall of Probabilistic Automata"