Scientific Committee
Paul Gastin (LSV, ENS Cachan)
Madhavan Mukund (CMI)
K Narayan Kumar (CMI)
Pascal Weil (LaBRI, Bordeaux)
Sponsors
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.
Contact
Email: acts2010@cmi.ac.in