The Autobóz Workshop

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.

Future events

Autobóz 2025 will be held at Grenaa, Denmark from July 13 till July 19. The timing and location has been chosen so that researchers visiting ICALP can easily come after the conference. More details can be found at Autobóz 2025.

Open Problems

The bread and butter of the attendees is formed by open problems in automata, logic, games, and related topics. The collection of open-problems gathered can now be found at

       Automata Exchange

Feel free to use them, comment on them, and refer to them.

Past Events

Organising Autobóz

More information on becoming an Autobóz host can be found on the steering committee page, which oversees the appointment of the organising team.