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)
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: acts2011@cmi.ac.in