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.