Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, January 30 - February 3, 2017

Organisation

Scientific Committee

  • C Aiswarya (CMI)

  • Paul Gastin (LSV, ENS Cachan)

  • B Srivathsan (CMI)

  • Pascal Weil (LaBRI, Bordeaux)

Contact