Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, 9-13 February 2015

ACTS 2015 is envisioned as a follow-up to the three ACTS workshops held in CMI in February 2011, February 2010 and January 2009 . It is one of the events being organized to mark the 25th year since the founding of CMI.

The scope of ACTS includes:

  • Automata and Logic: automata theory and formal languages, modal and temporal logics, model-checking, infinite state systems, probabilistic and weighted models, finite model-theory and games.

  • Concurrency: models of concurrency, concurrent programming languages, program analysis and verification of concurrent systems.

  • Timed Systems: automata and logics for the analysis of timed and hybrid systems.