Theorietag Automaten und Formale Sprachen #

The Theorietag “Automaten und Formale Sprachen” 2023, the annual meeting of the special interest group (Fachgruppe) on automata and formal languages of the Gesellschaft für Informatik (GI e.V.) will take place on October 4-6, 2023, in Kaiserslautern, Germany.

Invited speakers #

• Christoph Haase (University of Oxford)
• Sandra Kiefer (University of Oxford)
• Daniel Neider (Technische Universität Dortmund)
• Joël Ouaknine (MPI-SWS)
• Anne-Kathrin Schmuck (MPI-SWS)

News #

The schedule and proceedings are now available!

Important dates #

• Submission of abstracts: Aug 15 Sep 1, 2023
• Registration: Sep 15, 2023 (Registration)
• Arrival: Oct 3, 2023
• Theorietag: Oct 4-6, 2023

Proceedings #

As every year, all speakers are asked to submit abstracts of their talks of at most 4 pages (excluding references). We will create an electronic proceedings booklet for the meeting. Please use this Latex style for your submission. You can find an example document here. Please send your submission to theorietag2023 (at) mpi-sws.org.

Venue #

The meeting will mostly take place in the MPI-SWS building. The participants are asked to book their own accommodation. Please see Travel and Accomodation.

The lectures, lunches, and coffee breaks will take place on the first floor. You can reach it by going up the stairs you see from the entrance. There is also an elevator, which is to the left of the entrance. We will also provide a room where you can sit and work.

Registration #

The registration fee will be 110€ per participant. This will include lunches and coffee breaks (but not accommodation, see travel and accomodation for recommendations). You can register on the registration page.

Contact and organization #

For any questions, please contact theorietag2023 (at) mpi-sws.org.

The Theorietag is organized by:

• Anthony W. Lin, co-chair , RPTU Kaiserslautern
• Georg Zetzsche, co-chair , Max Planck Institute for Software Systems (MPI-SWS)
• Pascal Bergsträßer, local organizer
• Chris Köcher, proceedings
• Khushraj Madnani, proceedings

Anti-Harassment Policy #

We believe that the advancement of research is best accomplished in an environment that is open, diverse and respectful to all participants. During the conference, we will follow the anti-harassment policy of ACM. Anyone witnessing or subject to unacceptable behaviour should notify the conference chairs.