Autobóz 2023

July 16-22, Kassel, Germany

Autobóz is a yearly week-long invitational research camp on Logic, Automata, and Games. We strive to find each year a remote location to allow a group of about 25 young researchers to work in a distraction-free environment.

Started as a workshop for PhD students in Warsaw, Autobóz has grown to include researchers from all over the world, and multiple publications are direct consequences of the interactions fostered during these meetings.

This year's Autobóz will take place in Germany. Autobóz will take place the week following ICALP which will be held in Paderborn and the week before Highlights as part of the Highlights Collaborative Research Week.

Important Info

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.


This year we will feature tutorials by the following speakers:

  • 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


Autobóz will take place at Hessische Staatsdomäne Frankenhausen, a farm around 15 km from Kassel.

The house

The meeting rooms

The location (see on the map)

Getting there

Hessische Staatsdomäne Frankenhausen is located about 15 km from Kassel. The best way to reach it is to take a train to Kassel, and then get a taxi from the ICC Station Kassel-Wilhelmshöhe:

The organisers estimate that a taxi from Kassel to Hessische Staatsdomäne Frankenhausen will cost around 30 €.

Alternatively, you could take a train to Mönchehof-Espenau, which is about a 45 minute walk to the location.

If you are traveling to Autobóz from ICALP, which will be held in Paderborn, the best option is to take a train from Paderborn to Kassel (station Kassel-Wilhelmshöhe) and follow the instructions above.

Travel is not included in the fee.


The participants are:

  • Alina Kappes (University of Kassel, Germany)
  • Aline Goeminne (F.R.S.-FNRS & Université de Mons, Belgium)
  • Anton Varonka (TU Wien, Austria)
  • Antonio Casares (LaBRI, Université de Bordeaux, France)
  • Chana Weil-Kennedy (IMDEA Software Institute, Spain)
  • Corto Mascle (LaBRI, Université de Bordeaux, France)
  • Daniela Kaufmann (TU Wien, Austria)
  • George Kenison (TU Wien, Austria)
  • Henry Sinclair-Banks (University of Warwick, UK)
  • Irmak Saglam (MPI-SWS, Germany)
  • Jennifer Todtenhoefer (TU Dortmund, Germany)
  • Klara Nosan (IRIF, Université Paris Cité, France)
  • Krishna S (IIT Bombay, India)
  • Lorenzo Clemente (University of Warsaw, Poland)
  • Lutz Klinkenberg (RWTH Aachen University, Germany)
  • Mahsa Shirmohammadi (IRIF, CNRS, France)
  • Marie Fortin (IRIF, CNRS, France)
  • Michał Pilipczuk (University of Warsaw, Poland)
  • Nicolas Waldburger (IRISA, Univ. Rennes, France)
  • Petra Wolf (University of Bergen, Norway)
  • Qiyi Tang (University of Liverpool, UK)
  • Rémi Morvan (LaBRI, Université de Bordeaux, France)
  • Sandra Kiefer (University of Oxford, UK)
  • Stefan Göller (University of Kassel, Germany)
  • Steffen van Bergerem (Humboldt-Universität zu Berlin, Germany)
  • Thejaswini K. S. (University of Warwick, UK)
  • Tobias Winkler (RWTH Aachen University, Germany)
  • Vincent Cheval (INRIA Paris, France)
  • Wojciech Czerwiński (University of Warsaw, Poland)

Open Problems

The bread and butter of the attendees is formed by open problems in automata, logic, games, and related topics.

Participants are asked to bring along their favourite open problems (that they are happy to work on with the group), and be ready to present them in the first days.

We gather past problems on this website:

      Autobóz Open Problems

Feel free to use them, comment on them, and refer to them: the numbering system should be durable.



Anti-Harassment policy

We follow the guidance of ACM in our policy against harassment and unacceptable behaviour. If you experience any such behaviour, please report it to the organisers.

Past Autobózs