Autobóz 2026

??, ??, Portugal

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.

The timing and location of Autobóz 2026 has been chosen so that researchers visiting FLOC can easily come after the conference.

Important Info

TODO

Location

Open Problems

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:

      Autobóz Open Problems

Feel free to use them, comment on them, and refer to them: the numbering system should be durable.

Participants

TBC

Photos

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






Homepage