Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, January 30 - February 3, 2017

Schedule

Monday
(January 30)
Tuesday
(January 31)
Wednesday
(February 1)
Thursday
(February 2)
Friday
(February 3)
9:00 - 9:20 Coffee
09:20 - 10:10 Madhavan Mukund Anca Muscholl B. Srivathsan Grégoire Sutre Roland Meyer
10:10 - 10:40 Coffee Break
10:40 - 11:30 Blaise Genest Amaldev Manuel Bartek Klin Martin Lange S.P. Suresh
11:30 - 12:00 Coffee Break
12:00 - 12:50 Emmanuel Filiot Dmitry Chistikov Prakash Saivasan M. Praveen Constantin Enea
12:50 - 14:30 Lunch+Coffee
14:30 - 15:20 Javier Esparza Mikołaj Bojańczyk Excursion to Dakshinachitra Philippe Schnoebelen C Aiswarya
15:20 - 15:50 Coffee Break Coffee Break
15:50 - 16:40 Hugo Gimbert Stefan Göller A.V. Sreejith Ahmed Bouajjani
16:40 - 17:00 Coffee Break Coffee Break
18:00 - 19:30

Bharatnatyam performance by

Shweta Prachande
19:00 - 22:30

Banquet at

Hotel Gokulam Park Sabari OMR