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.
Autobóz will take place at Villa Sobótka on the edge of Sobótka, Poland (near Wrocław). The villa sits on the edge of the Ślężański Landscape Park containing the mountain Ślęża and several walking and hiking trails.
Copernicus Airport Wrocław (WRO) connects to several European hubs, and connects to Wrocław Główny (Wrocław main station) by bus. One can also easily travel by train to Wrocław from Warsaw (for example, if also attending CONCUR).
From Wrocław there are two options:
Travel is not included in the fee.
Michaël Cadilhac plans to hire a bike and cycle from Legnica (65km each way). If anyone is interested in joining him, please get in touch with him directly.
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.