Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, January 30 - February 3, 2017

Here is a map detailing most of the points of interest in and around CMI.