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.
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
