Automata, Concurrency and Timed Systems (ACTS) III

Chennai Mathematical Institute, January 27–29, 2011


Scientific Committee

  • Benedikt Bollig (LSV, ENS Cachan) (co-chair)

  • Paul Gastin (LSV, ENS Cachan)

  • Madhavan Mukund (CMI)

  • K Narayan Kumar (CMI) (co-chair)

  • Pascal Weil (LaBRI, Bordeaux)


  • Sub-project 4, Formal approaches for computer systems, of the Ile-de-France/Inde project of the ARCUS program (Region Ile-de-France and Foreign Affairs Ministry, France).

  • The Academic alliance between Chennai Mathematical Institute and Tata Consultancy Services.