ACTS II is envisioned as a follow-up to the ACTS workshop held in CMI in January 2009.
The main theme of the workshop is the use of logic and automata for modelling and verifying distributed, open and timed systems.