Descriptional Complexity of Formal Systems
Photo Gallery | Print-Outs | Contact
DCFS 2007

9th International Workshop on

Descriptional Complexity of Formal Systems

High Tatras, Slovakia, July 20 - 22, 2007

DCFS 2007 is over.

The organisers thank all participants for attending the workshop.
The area of interest covers descriptional complexity in various areas, e.g., automata, grammars and languages, Boolean functions and circuits, formal systems, unconventional models of computing, as well as the relationship to structural, computational, and Kolmogorov complexities. (For a list of topics, see below.)

DCFS 2007 will take place immediately after CIAA 2007 - 12th International Conference on Implementation and Application of Automata, Prague, Czech Republic, July 16-18, 2007, and thus it will be easy to attend both CIAA and DCFS.

DCFS and its predecessors DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) and FDSR (Formal Descriptions and Software Reliability) were previously held in Paderborn (1998); Magdeburg (1999); Boca Raton (1999); London/Ontario (2000); San Jose (2000); Vienna (2001); London/Ontario (2002); Budapest (2003); London/Ontario (2004); Como (2005); and Las Cruces/New Mexico (2006).
   Invited Speakers

Helmut Jürgensen (Potsdam, Germany,
     and London/Ontario, Canada)
Carlo Mereghetti (Milano, Italy)
Markus Nebel (Kaiserslautern, Germany)
Jiří Wiedermann (Praha, Czech Republic)

Program Committee

Henning Bordihn (Potsdam, Germany)
Cristian Calude (Auckland, New Zealand)
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Viliam Geffert (Košice, Slovakia, co-chair)
Juraj Hromkovič (Zürich, Switzerland)
Oscar Ibarra (Santa Barbara/California, USA)
Lucien Ilie (London/Ontario, Canada)
Alica Kelemenová (Opava, Czech Republic)
Werner Kuich (Wien, Austria)
Hing Leung (Las Cruces/New Mexico, USA)
Andreas Malcher (Frankfurt, Germany)
Carlos Martin-Víde (Tarragona, Spain)
Bořivoj Melichar (Praha, Czech Republic)
Victor Mitrana (Bucureşti, Romania)
Jeffrey Shallit (Waterloo/Ontario, Canada)
Gheorghe Păun (Bucureşti, Romania,
     and Sevilla, Spain)
Holger Petersen (Stuttgart, Germany)
Giovanni Pighizzini (Milano, Italy, co-chair)
Jacques Sakarovitch (Paris, France)
Sheng Yu (London/Ontario, Canada)
DCFS July 20 - 22, 2007, High Tatras, Slovakia
Photography: Gabriel Lipták