The Chennai Mathematical Institute and the Institute of Mathematical Sciences celebrate the occasion of P S Thiagarajan's 60th birthday with a workshop devoted to concurrency theory and its connections to automata and logics. The workshop consists of a series of invited talks and a special session.
Gérard Boudol, INRIA, Sophia-Antipolis
True concurrency at work: relaxed memory models
(Slides)
Javier Esparza, TU München
Scheduling stochastic branching processes
(Slides)
David Harel, Weizmann, Rehovot
In silico biology, or On comprehensive and realistic modeling
Mogens Nielsen, Aarhus U
Computational trust
(Slides)
Amir Pnueli, NYU and Weizmann, Rehovot
Using abstraction to verify arbitrary temporal properties
(Slides)
Wolfgang Thomas, RWTH Aachen
Path logics with synchronization
(Slides)
Igor Walukiewicz, LaBRI, Bordeaux
Traces and distributed synthesis
(Slides)
Monday, 15 December 2008 | Tuesday, 16 December 2008 | ||
---|---|---|---|
10:00-11:00 | Amir Pnueli | 10:00-11:00 | Gérard Boudol |
11:00-11:30 | Coffee | 11:00-11:30 | Coffee |
11:30-12:30 | Mogens Nielsen | 11:30-12:30 | Igor Walukiewicz |
12:30-14:00 | Lunch | 12:30-14:00 | Lunch |
14:00-15:00 | David Harel | 14:00-15:00 | Javier Esparza |
15:00-15:30 | Coffee | 15:00-15:30 | Coffee |
15:30-17:30 | Special session | 15:30-16:30 | Wolfgang Thomas |
19:00 | Banquet |
If you are interested in attending the workshop, please send an email to pst60th@gmail.com.
There is no registration fee. The workshop programme includes lunch and coffee breaks, but participants will have to make their own arrangements for travel and accommodation.
If you need assistance with booking accommodation for the workshop, write to the organizers at pst60th@gmail.com.