Workshops Organised

Workshop On Loop Invariants and Algebraic Reasoning

Research camp on Logic, Automata, and Games

Workshop On Reachability, Recurrences, and Loops