Talks

Krzysztof Apt: How to write a good paper.

Wan Fokkink: Formal Stuff can be Surprisingly Useful

Simone Picenni: Logic and justice.

Elaine Pimentel: Logic outside the wall: Outreach, Vulgarisation, and the Future.

Niels van der Weide: How to give a talk.

Abstracts

Wan Fokkink: Formal Stuff can be Surprisingly Useful.
Supervisory Control Theory, initiated by Ramadge & Wonham in the eighties, is based on system specifications and system requirements in the form of good old automata. This formal framework turns out to be very suitable for designing and generating software for the control of e.g. bridges and storm surge barriers. Next to an introduction into this approach, recent research results will be discussed that were pivotal in tackling such large applications, including multilevel synthesis and several modeling guidelines.