Autobóz#
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, Daniela Kaufmann (TU Wien, Austria)
- On Weak Memory Models in Concurrency, Krishna S (IIT Bombay, India)
- Decision Problems for Linear Recurrence Sequences, George Kenison (TU Wien, Austria) and
- Logic and automata for message-passing systems, Marie Fortin (CNRS, France).
Organisers#
- George Kenison (TU Wien)
- Mahsa Shirmohammadi (CNRS, Paris)
- Klara Nosan (IRIF, Paris)
Acknowledgements#
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.