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.