We will arrive at our guesthouse Sunday evening (13th July) and depart on Saturday morning (19th July) and participants are expected to stay for the full duration whenever possible. The timing and location of Autoboz is chosen so that researchers visiting ICALP can easily come after the conference. We will organize transportation from and to Aarhus by bus.
This year, Autobóz will take place at Kysthotellet, a hotel and conference center located in the east coast of Denmark.
The bread and butter of the event are 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.
The participants of the workshop are:
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.