Autobóz 2023

July 16-22, Kassel, Germany

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.

This year's Autobóz will take place in Germany. Autobóz will take place the week following ICALP which will be held in Paderborn and the week before Highlights as part of the Highlights Collaborative Research Week.

Important Info

Location

Autobóz will take place at Hessische Staatsdomäne Frankenhausen, a farm around 15 km from Kassel.


The house


The meeting rooms


The location (see on the map)



Getting there

Hessische Staatsdomäne Frankenhausen is located about 15 km from Kassel. The best way to reach it is to take a train to Kassel, and then get a taxi from the ICC Station Kassel-Wilhelmshöhe:

Alternatively, you could take a train to Mönchehof-Espenau, which is about a 45 minute walk to the location.

If you are traveling to Autobóz from ICALP, which will be held in Paderborn, the best option is to take a train from Paderborn to Kassel (station Kassel-Wilhelmshöhe) and follow the instructions above.

Travel is not included in the fee.

Participants

The participants are:

  • Aline Goeminne (F.R.S.-FNRS & Université de Mons, Belgium)
  • Anton Varonka (TU Wien, Austria)
  • Antonio Casares (LaBRI, Université de Bordeaux, France)
  • Chana Weil-Kennedy (IMDEA Software Institute, Spain)
  • Corto Mascle (LaBRI, Université de Bordeaux, France)
  • Daniela Kaufmann (TU Wien, Austria)
  • Edon Kelmendi (Queen Mary University of London, UK)
  • George Kenison (TU Wien, Austria)
  • Henry Sinclair-Banks (University of Warwick, UK)
  • Irmak Saglam (MPI-SWS, Germany)
  • Klara Nosan (IRIF, Université Paris Cité, France)
  • Krishna S (IIT Bombay, India)
  • Lorenzo Clemente (University of Warsaw, Poland)
  • Lutz Klinkenberg (RWTH Aachen University, Germany)
  • Mahsa Shirmohammadi (IRIF, CNRS, France)
  • Marie Fortin (IRIF, CNRS, France)
  • Michał Pilipczuk (University of Warsaw, Poland)
  • Moses Ganardi (MPI-SWS, Germany)
  • Nicolas Waldburger (IRISA, Univ. Rennes, France)
  • Petra Wolf (University of Bergen, Norway)
  • Qiyi Tang (University of Liverpool, UK)
  • Rémi Morvan (LaBRI, Université de Bordeaux, France)
  • Sandra Kiefer (University of Oxford, UK)
  • Steffen van Bergerem (Humboldt-Universität zu Berlin, Germany)
  • Thejaswini K. S. (University of Warwick, UK)
  • Tobias Winkler (RWTH Aachen University, Germany)
  • Wojciech Czerwiński (University of Warsaw, Poland)

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.

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