ACTS 2017, Chennai

ACTS 2017┬áthe Fifth Workshop on Automata, Concurrency and Timed Systems takes place at CMI (Chennai) on 30 January – 3 February 2017.