Summer Workshops (2023)

I am co-organising two workshops in July 2023: WORReLL'23 (see here) and Autob贸z 2023 (see here).


WORRELL'23 is a one-day satellite workshop at ICALP'23. The aim of the workshop is to bring together researchers from the community and showcase cutting-edge research on Reachability, Recurrences, and Loops.

To participate in-person, please register for WORReLL'23 through ICALP’s registration portal. To participate remotely over Zoom, please contact me for further details.


Autob贸z is a yearly week-long invitational research camp on Logic, Automata, and Games.

In 2023, Autob贸z will take place at the Seminarhaus in the Hessische Staatsdom盲ne Frankenhausen the week between ICALP and Highlights. Indeed, Autob贸z is excited to partnership with Highlights as part of the Highlights Collaborative Research Week.

We have solicited expert tutorials on topics as diverse as: Circuit Verification using Computer Algebra, Decision Problems for Subclasses of Rational Relations, and Weak Memory Models in Concurrency.