Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, 9-13 February 2015

Organisation

Scientific Committee

  • Paul Gastin (LSV, ENS Cachan)

  • M Praveen (CMI)

  • B Srivathsan (CMI)

  • Pascal Weil (LaBRI, Bordeaux)

Local Organization

  • K Narayan Kumar (CMI)

  • Madhavan Mukund (CMI)

Contact