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


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


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