DCFS 2007 | Homepage

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)