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.
David Harel, Weizmann, Rehovot
In silico biology, or On comprehensive and realistic modeling
|Monday, 15 December 2008||Tuesday, 16 December 2008|
|10:00-11:00||Amir Pnueli||10:00-11:00||Gérard Boudol|
|11:30-12:30||Mogens Nielsen||11:30-12:30||Igor Walukiewicz|
|14:00-15:00||David Harel||14:00-15:00||Javier Esparza|
|15:30-17:30||Special session||15:30-16:30||Wolfgang Thomas|
If you are interested in attending the workshop, please send an email to email@example.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 firstname.lastname@example.org.