32^nd Spring School in Theoretical Computer Science

Programme

• Patricia Bouyer, Timed models for concurrent systems: Slides (.ps.gz).
• Benoît Caillaud, Synchronous and asynchronous systems: Slides (.html)
• Volker Diekert, Reachability in Petri nets.
• Javier Esparza, Unfoldings: a true concurrency approach to model checking: Preliminary version (.ps.gz)
• Paul Gastin, Specifications for distributed systems : Slides (.pdf) / handouts 4up (.pdf).
• Pascal Raymond, Synchronous programming: principles, languages, implementation: Introduction (.pdf), Esterel (.pdf), Lustre (.pdf).
• Rémi Morin, Introduction to models for concurrency : Slides (.pdf) / handouts 8up (.ps).
• Anca Muscholl, Scenarios and verification.
• Igor Walukiewicz, Distributed synthesis via games: Slides (.pdf)

Abstracts of talks are available here!
The list of posters is available here!

Schedule

• Monday, April 26.



09h00-10h30 Introduction to models for concurrency (1/2)
11h00-12h30 Introduction to models for concurrency (2/2)
14h00-15h30 Scenarios and verification (1/2)
16h00-17h30 Scenarios and verification (2/2)
18h00-19h30 Poster student session, includes three talks:

• Nicolas Baudru: The Pros and Cons of Netcharts
• Ioana Olga: Behavioral Properties of Petri Nets - an Introduction
• Sara Van Langenhove: UML based Verification of Software




• Tuesday, April 27.



09h00-10h30 Specifications for distributed systems (1/2)
11h00-12h30 Specifications for distributed systems (2/2)
14h00-15h30 Timed models for concurrent systems (1/2)
16h00-17h30 Timed models for concurrent systems (2/2)
18h00-19h30 Poster student session, includes three talks:

• Thomas Chatain: Symbolic unfoldings: Application to the monitoring of concurrent systems
• Isabelle Linden: Study of coordination: Semantics, expressiveness and programming methodologies
• Manuel Baclet: Verification des systemes sur puces




• Wednesday, April 28.



09h00-10h30 Distributed synthesis via games(1/2)
11h00-12h30 Distributed synthesis via games(2/2)
14h00-18h00 Boat excursion to Château d'IF.


• Thursday, April 29.



09h00-10h30 Reachability in Petri nets (1/2)
11h00-12h30 Unfoldings: a true concurrency approach to model checking (1/2)
14h00-16h00 Synchronous programming: principles, languages, implementation(1/2)
16h30-19h30 Synchronous programming: principles, languages, implementation(2/2)
19h30-21h00 Special dinner.


• Friday, April 30.



09h00-10h30 Reachability in Petri nets (2/2)
11h00-12h30 Unfoldings: a true concurrency approach to model checking (2/2)
14h00-15h30 Synchronous and asynchronous systems (1/2)
16h00-17h30 Synchronous and asynchronous systems (2/2)

Daily schedule at CIRM

• Breakfast: 7h30-9h00
• Lunch: 12h30
• Dinner: 19h30