Automata, Concurrency and Timed Systems (ACTS) III

Chennai Mathematical Institute, January 27–29, 2011

ACTS III is envisioned as a follow-up to the ACTS workshops held in CMI in January 2009 and February 2010

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.

The main theme of the workshop is the use of logic and automata for modelling and verifying distributed, open and timed systems.