Important Dates

  • Submission of Abstract (to EasyChair): March 10, 2023
  • Update of submission to Full Conference Paper: March 13, 2023
  • Notification of Acceptance: April 1, 2023 April 8, 2023
  • Final version for proceedings: April 20, 2023

General Information

Logo University of Potsdam - Institute of Computer Science The 25th edition of DCFS is organized by the Department of Computer Science of the University of Potsdam, Germany, and by the IFIP Working Group 1.02 "Descriptional Complexity". The general webpage of the DCFS conference series is available at http://www.informatik.uni-giessen.de/dcfs/.

Proceedings

Logo LNCS - Lecture Notes in Computer Science

The conference proceedings will appear as an LNCS volume. For all LNCS volumes of the DCFS conference series see SpringerLink: https://link.springer.com/conference/dcfs

Special Issue

A special issue of the journal "Information and Computation" will be devoted to revised and extended versions of selected papers of the conference.

Topics

Original research papers concerning the descriptional complexity of formal systems and structures (and its applications) are sought for DCFS 2023. Topics include, but are not limited to:

  • Automata, grammars, languages and other formal systems; various modes of operations and complexity measures.
  • Succinctness of description of objects, state-explosion-like phenomena.
  • Circuit complexity of Boolean functions and related measures.
  • Size complexity of formal systems.
  • Structural complexity of formal systems.
  • Trade-offs between computational models and mode of operation.
  • Applications of formal systems -- for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages -- and their complexity constraints.
  • Co-operating formal systems.
  • Size or structural complexity of formal systems for modeling natural languages.
  • Complexity aspects related to the combinatorics of words.
  • Descriptional complexity in resource-bounded or structure-bounded environments.
  • Structural complexity as related to descriptional complexity.
  • Frontiers between decidability and undecidability.
  • Universality and reversibility.
  • Nature-motivated (bio-inspired) architectures and unconventional models of computing.
  • Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information.

Program Committee

  • Henning Bordihn (University of Potsdam, Germany) - co-chair
  • Szilárd Zsolt Fazekas (Akita University, Japan)
  • Henning Fernau (University of Trier, Germany)
  • Yo-Sub Han (Yonsei University, South Korea)
  • Michal Hospodár (Slovak Academy of Sciences, Košice, Slovakia)
  • Szabolcs Iván (University of Szeged, Hungary)
  • Galina Jirásková (Slovak Academy of Sciences, Košice, Slovakia)
  • Stavros Konstantinidis (Saint Mary's University, Halifax, Canada)
  • Orna Kupferman (Hebrew University, Israel)
  • Sylvain Lombardy (University of Bordeaux, France)
  • Andreas Malcher (Universität Giessen, Germany)
  • Carlo Mereghetti (Università degli Studi di Milano, Italy)
  • Nelma Moreira (Universidade do Porto, Portugal)
  • Dana Pardubska (Comenius Unversity, Bratislava, Slovak Republic)
  • Giovanni Pighizzini (University of Milan, Italy)
  • Kai Salomaa (Queen's University, Canada)
  • Shinnosuke Seki (The University of Electro-Communications, Chofu, Japan)
  • Petr Sosik (Silesian University Opava, Czech Republic)
  • Nicholas Tran (Santa Clara University, USA) - co-chair
  • György Vaszil (University of Debrecen, Hungary) co-chair

Steering Committee

  • Cezar Câmpeanu (Charlottetown, Canada)
  • Erzsébet Csuhaj-Varjú (Budapest, Hungary)
  • Stavros Konstantinidis (Halifax, Canada)
  • Martin Kutrib (Giessen, Germany, chair)
  • Giovanni Pighizzini (Milano, Italy)
  • Rogério Reis (Porto, Portugal)
  • Kai Salomaa (Kingston, Canada)

Organizing Committee

  • Henning Bordihn (University of Potsdam)
  • Tim Richter (University of Potsdam)
  • Alexandra Roy (University of Potsdam)

Invited Speakers

Program

Monday, July 3

Tuesday, July 4

Wednesday, July 5

Thursday, July 6

Conference Venue and Accomodation

Conference Venue

The conference will take place in building 6 (Haus 6) of the Campus Griebnitzsee of the University Potsdam, at the address August-Bebel-Str. 89, 14482 Potsdam. The presentations will be in Seminar room S18 an the first floor.

Here is a Campus plan in pdf format and an interactive map.

Entrance Building 6
The University Campus and train station at lake Griebnitzsee

Accomodation

Participants are asked to make their own hotel reservations. Here are some hotels we recommend that are relatively close to the conference venue in Griebnitzsee/Babelsberg.

If you prefer to stay closer to Potsdam's historic city center, we recommend one of the following hotels.

Host City

Potsdam is the capital of the Federal State Brandenburg in Germany and is located very close to Berlin.

The website "Welcome to Potsdam" has lots of information for visitors.

Here are a few impressions:

Ensemble of Sanssouci Neues Palais, © A.Savin, FAL, via Wikimedia Commons
Stadtschloss (city castle) and Church St.Nikolai, © Paul Korecky, CC BY-SA 2.0
Park Sanssouci, Great Fountain, © Rainer Halama, CC BY-SA 4.0, via Wikimedia Commons
Brandenburger Tor, © Krzysztof Golik, CC BY-SA 4.0, via Wikimedia Commons
Campus Am Neuen Palais, © Karla Fritze
Luisenplatz and Brandenburger Tor, © Rigorius, CC BY-SA 4.0, via Wikimedia Commons
Cafe Haider, © Rigorius, CC BY-SA 4.0, via Wikimedia Commons
Marlygarten, © Rigorius, CC BY-SA 4.0, via Wikimedia Commons

Travel Information

Arriving to Potsdam/ Berlin by plane

The BER Airport is the closest airport to Potsdam. After your arrival there, you can take public transport to Potsdam:

Further connections exist. We recommend to install the VBB App (available for iOS and for Android) in order to find the best option (including platform information) when you arrive.

Arriving to Potsdam/ Berlin by train

You may take train line RE1 or, alternatively, the suburban train (S-Bahn) S7 in order to get from Berlin Hauptbahnhof (main station) to Potsdam Hauptbahnhof. The S7 will also stop at Potsdam Griebnitzsee where the conference is located.

How to purchase tickets for public transport

Train tickets can be purchased from the ticket machines located on the platforms. You can also buy your ticket in regional trains and on the bus (but not on the S-Bahn!). You can also buy your ticket online in the VBB App or on the VBB Webpage, the transport association Berlin-Brandenburg company. For the regional trains from BER-airport to Potsdam you need to buy a ticket that is valid for the zones "ABC" in Berlin, for the price of 4 Euros (one way). The ticket is valid for 2 hours. You don't need to reserve a seat. Please pay attention: there are different fare zones in Berlin A, B and C and in Potsdam A, B and C. The best way to find the appropriate fare zone for your ride is to purchase your ticket through the app. The app provides the right fare zone depending on start and destination. A combination of tickets can be purchased at a discounted price per trip. Tickets valid for a certain period of time (e.g. 24 hours) are also available.

Arriving to Potsdam by car

There are no tolls for freeways in Germany. There is no general speed limit on freeways (unless indicated by traffic signs). We recommend checking availability of parking spaces at the hotel in advance.