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, Logic and Automta for message-passing systems, Decision Problems for Linear Recurrence Sequences, and Weak Memory Models in Concurrency.
Daniela Kaufmann (TU Wien, Austria) - Circuit Verification using Computer Algebra George Kenison (TU Wien, Austria) - Decision Problems for Linear Recurrence Sequences Krishna S (IIT Bombay, India) - On weak memory models in concurrency Marie Fortin (CNRS, France) - Logic and automata for message-passing systems
We gratefully acknowledge the financial support of both the CNRS and the ANR via the International Emerging Actions grant (IEA'22) and the VeSyAM grant (ANR-22-CE48-0005), respectively.