Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, 9-13 February 2015

Schedule

Monday
(February 9)
Tuesday
(February 10)
Wednesday
(February 11)
Thursday
(February 12)
Friday
(February 13)
09:30 - 10:15 Marc Zeitoun Marcin Jurdziński Thomas Colcombet Rupak Majumdar Jean-Francois Raskin
10:15 - 10:45 Break
10:45 - 11:30 C. Aiswarya Arnaud Sangnier Thomas Place Benedikt Bollig Martin Zimmermann
11:30 - 11:45 Break
11:45 - 12:30 Christoph Haase Diego Figueira Sylvain Schmitz Mohamed Faouzi Atig Akash Lal
12:30 - 14:00 Lunch
14:00 - 14:45 Simoni Shah B. Srivathsan * Pierre Ganty Ashutosh Trivedi
14:45 - 15:15 Break Excursion to Mahabalipuram Break
15:15 - 16:00 Jerome Leroux Christopher Broadbent CMI Silver Jubilee Lecture by Howard Straubing ** Gabriele Puppis
16:00 - 16:15 Break Break Break
16:15 - 17:00 M. Praveen Anthony Widjaja Lin Manfred Kufleitner

* The afternoon session on Tuesday (February 10) will start at 13:30 and finish at 14:15.

** There will be a banquet on Thursday (February 12) starting at 19:00.