About
The goal of this workshop is to cover topics on automata, concurrency and timed systems, with a focus on recent advances in these areas. We envisage this workshop to be of interest not only to the general ATVA participants, but also to the broader FM community in India.
