Automata, Concurrency and Timed Systems (ACTS)

Chennai Mathematical Institute, January 30 - February 3, 2017

ACTS 2017 is envisioned as a follow-up to the four ACTS workshops held in CMI in February 2015, February 2011, February 2010 and January 2009 .

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.