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.
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:
Autobóz will take place at Hessische Staatsdomäne Frankenhausen, a farm around 15 km from Kassel.
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:
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:
Feel free to use them, comment on them, and refer to them: the numbering system should be durable.
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.