Autobóz 2022

18-24 September, Sobótka, Poland

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 return to Poland, taking place in the village of Sobótka. Autobóz will take place the week following CONCUR and CONFEST which will be held in Warsaw.

Important Info

  • Dates: Sunday 18th September - Saturday 24th September (the week after CONCUR).
  • Fees: The fee is expected to be at most 1600 PLN (approx €350) including accommodation and meals.
  • Contact: contact@autoboz.org
  • Organizers:
    • Sandra Kiefer, MPI-SWS, Germany
    • Wojciech Przybyszewski, University of Warsaw, Poland
    • David Purser, University of Warsaw, Poland

Location

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.


The villa


The restaurant


The location (see on the map)



Getting there

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 by train from Wrocław Główny to Sobótka + approx 2.3km walk. (Note that Sobótka Zachodnia (West) station is somewhat further!). Approx 15 PLN (3.20€).
  • Travel by bus lines 512 or 522. See the timetable here, refer to the timetable for Saturday and Sunday ('rozkład na soboty i niedziele'). Stop 'Sobótka - Pod Wieżyca' is <1km from Villa Sobótka. Buses stop more frequently at 'Sobótka - pętla koło kościoła' in the centre, which is approx 1.5km from Villa Sobótka. Approx 9 PLN (2€).

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.

Participants

The participants are:

  • Andrei Draghici (Oxford University, UK)
  • Arka Ghosh (University of Warsaw, Poland)
  • Benjamin Kaminski (Saarland University, Germany)
  • Chana Weil-Kennedy (Technical University of Munich, Germany)
  • Corentin Barloy (Univ. Lille, France)
  • David Purser (University of Warsaw, Poland)
  • Edon Kelmendi (Max Planck Institute for Software Systems (MPI-SWS), Germany)
  • Filip Mazowiecki (University of Warsaw, Poland)
  • Georg Zetzsche (Max Planck Institute for Software Systems (MPI-SWS), Germany)
  • Henry Sinclair-Banks (University of Warwick, UK)
  • Irene Heinrich (TU Darmstadt, Germany)
  • Ismaël Jecker (University of Warsaw, Poland)
  • Lê Thành Dũng (Tito) Nguyễn (ENS Lyon, France)
  • León Bohn (RWTH Aachen University, Germany)
  • Michaël Cadilhac (DePaul University, USA)
  • Michał Pilipczuk (University of Warsaw, Poland)
  • Michał Skrzypczak (University of Warsaw, Poland)
  • Petra Wolf (University of Bergen, Norway)
  • Pierre Ohlmann (University of Warsaw, Poland)
  • S. Akshay (Indian Institute of Technology Bombay, India)
  • Sandra Kiefer (Max Planck Institute for Software Systems (MPI-SWS), Germany)
  • Sarah Winter (Université libre de Bruxelles, Belgium)
  • Shaull Almagor (Technion, Israel)
  • Sougata Bose (University of Liverpool, UK)
  • Thejaswini K. S. (University of Warwick, UK)
  • Vincent Michielini (University of Opole, 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.

Photos

group_photo

IMG_20220922_133030

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