Gems of Automata,
Logic and Algebra
This workshop will be targeted towards the participants of FSTTCS 2019, consisting of academicians and graduate students broadly in the area of theoretical computer science, with a focus on classical and recent topics in automata, logic and algebraic techniques in formal methods.
Chennai Mathematical Institute
Indian Institute of Technology Bombay
CNRS, LSV, ENS Paris-Saclay