Autobóz 2024

14—20 July, Keibu, Estonia

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 Autoboz is chosen so that researchers visiting LICS/ICALP/FSCD can easily come after the conference. We will organize transportation from Tallinn by bus.

Important Info

We will arrive at our guesthouse Sunday evening (14th July) and depart on Saturday morning (20th 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 LICS/ICALP can easily come after the conference. We will organize transportation from and to Tallinn by bus.

The bus from Tallinn to our guesthouse leaves on Sunday the 14th at 16:00 (4 pm) from the bus parking lot "Nunne parkla" near the main train station "Balti jaam" (Baltic station), see the map on the right. Please arrive at 15:45 at the latest so we can leave on time. The bus belongs to the company Hansabuss.

Location

This year, Autobóz will take place at Ristna Sadam, a guest house located in the northwest coast of Estonia. The guest house offers rooms with sea-side view, conference rooms and beautiful sunsets that you can enjoy from the restaurant. It is relatively remote, to prevent external distractions and be closer to natural landscapes.

https://www.ristnasadam.ee/en/

Below are some useful links and information for your trip to Estonia:

Open Problems

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:

      Autobóz Open Problems

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

Participants

The participants of the workshop are:

  • Chana Weil-Kennedy (IMDEA Software, Spain)
  • Marie Fortin (IRIF, France)
  • Aliaume Lopez (Warsaw University, Poland)
  • Antonio Casares (Warsaw University, Poland)
  • Roland Guttenberg (Technical University of Munich, Germany)
  • A. R. Balasubramanian (MPI-SWS, Germany)
  • Ashwani Anand (MPI-SWS, Germany)
  • Benjamin Kaminski (Saarland University, Germany and University College London, UK)
  • Lucie Guillou (IRIF, France)
  • Julie Parreaux (Warsaw University, Poland)
  • Nathan Lhote (Aix-Marseille University)
  • Aditya Prakash (University of Warwick, UK)
  • Vincent Michielini (University of Warsaw, Poland)
  • B Srivathsan (Chennai Mathematical Institute, India)
  • C Aiswarya (Chennai Mathematical Institute, India)
  • R Govind (Uppsala University, Sweden)
  • Mahsa Shirmohammadi (CNRS, France)
  • Vincent Cheval (University of Oxford)
  • Łukasz Kamiński (Warsaw University, Poland)
  • Lia Schütze (MPI-SWS, Germany)
  • Rida Ait El Manssour (IRIF, FRANCE)
  • Omid Yaghoubi (University of Warsaw, Poland)
  • Corto Mascle (LaBRI, Bordeaux)

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