Speakers: André Platzer and Sarah Loos.

Dates: January 20-24, 2014.

Web page.

Local contact: Filippo Bonchi


Registration is free, but the number of participants is limited. Registration includes neither housing nor meals (though for lunch the attendees will be granted access to the student cafeteria). Registration should be made before January 10, 2014 by clicking on this link, filling the form and sending the e-mail message. You will receive a confirmation as soon as possible.

Alternatively, you can copy/paste and fill the form below, then send it by e-mail to nicole.meftah@ens-lyon.fr with the subject line “Registration form — research school 3”

First Name:
Last Name:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:

wishes to attend the research school “Logic for Dynamical Systems”, taking place at ENS Lyon, from Jan. 20 to Jan. 24, 2014.