32nd Spring School in Theoretical
Computer Science
Centre International de Rencontres Mathématiques
(C.I.R.M.)
Campus de Luminy, Marseille, France
Concurrency theory and applications - April
26-30, 2004
Welcome - Programme
- Call for participation - Registration - Venue
- Contact us
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:
- 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:
- 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
Welcome - Programme
- Call for participation - Registration - Venue
- Contact us