DCFS 2012 - 14th International Workshop on Descriptional Complexity of Formal Systems

Website www.dcc.fc.up.pt/DCFS12/ | Edit Freely

Category Automata; Grammars; resource-bounded models; Descriptional complexity; Formal systems; computational trade-offs

Deadline: April 01, 2012 | Date: July 23, 2012-July 25, 2012

Venue/Country: Braga, Portugal

Updated: 2012-03-26 23:46:22 (GMT+9)

Call For Papers - CFP

14th International Workshop on Descriptional Complexity of Formal Systems

Braga, Portugal

July 23-25, 2012

http://www.dcc.fc.up.pt/DCFS12

DCFS 2012 will be held in Braga, Portugal, on July 23-25, 2012. Braga is known as the

"Portuguese Rome" for its concentration of religious architecture,

Roman remains, beautiful churches and museums. Braga, located in the

heart of Minho, is one of Portugal’s favorite tourist destination.

The venue will be the D. Diogo de Sousa Museum of Archaeology in the city center.

The workshop will be jointly organized by University of Porto,

University of Minho, and University of Beira Interior, with the support

of IFIP Working Group 1.2.

Invited Speakers

Christos Kapoutsis (Liafa, Paris), "Minicomplexity"

Dexter Kozen (Cornell U., USA) (TBA)

André Platzer (Carnegie Mellon U., USA), "Logical Analysis of Hybrid Systems: A Completeness Answer to a Complexity Challenge"

Pedro Silva (Porto U., Portugal), "Groups and Automata: a Perfect Match"

Important Dates

Submission Deadline: April 1,2012

Notification of accepted papers: May 2, 2012

Final Version: May 15, 2012

Conference dates: July 23-25. 2012

Topics of interest

Submissions concerning the descriptional complexity of formal systems

and structures (and its applications) are invited for DCFS

2012. Topics related to all aspects of descriptional complexity, including, but not limited to:

- automata, grammars, languages and related systems, various measures and modes of

operations (e.g., determinism and nondeterminism),

- trade-offs between computational models and/or operations,

- succinctness of description of (finite) objects,

- state explosion-like phenomena,

- circuit complexity of Boolean functions and related measures,

- resource-bounded or structure-bounded environments,

- frontiers between decidability and undecidability,

- universality and reversibility,

- structural complexity,

- formal systems for applications (e.g., software

reliability, software and hardware testing, modeling of natural

languages),

- nature-motivated (bio-inspired) architectures and

unconventional models of computing,

- Kolmogorov complexity.

Submissions

Papers presenting original contributions concerning the topics of the conference are being

sought. Authors are invited to submit papers of no more than 12 pages

in LNCS-style LaTeX2e (Available at

http://www.springer.de/comp/lncs/authors.html). Papers must be in

English and provide sufficient details to allow the program committee

to assess their merits. Proofs omitted due to space constraints must

be put into an appendix to be read by the program committee members at

their discretion. Simultaneous submission to other conferences or

workshops with published proceedings is not allowed.

Papers will be submitted electronically in PDF, using the EasyChair system. Use

the following link for submission:

http://www.easychair.org/conferences/?conf=dcfs2012

The proceedings will be published in the Springer Lecture Notes in

Computer Science (LNCS) series and will be available at the

workshop. As in previous years, a special journal issue with full

versions of selected papers will be devoted to DCFS 2012.

Program Commitee

Cezar Câmpeanu (Charlottetown, Canada)

Michael Domaratzki (Winnipeg, Canada)

Zoltan Ésik (Szeged, Hungary)

Viliam Geffert (Košice, Slovakia)

Markus Holzer (Giessen, Germany)

Galina Jirásková (Košice, Slovakia)

Jarkko Kari (Turku Finland)

Martin Kutrib (Giessen, Germany) (co-chair)

Maurice Margenstern (Metz, France)

Carlo Mereghetti (Milano, Italy)

Nelma Moreira (Porto, Portugal) (co-chair)

Giovanni Pighizzini (Milano, Italy)

Rogério Reis (Porto, Portugal) (co-chair)

António Restivo (Palermo, Italy)

Kai Salomaa (Kingston, ON, Canada)

Jeffrey O. Shallit (Waterloo, ON, Canada)

Bianca Truthe (Magdeburg, Germany)

György Vaszil (Hungarian Academy of Sciences, Hungary)

Sheng Yu (London, ON, Canada)

Steering Committee

Erzsébet Csuhaj-Varjú (Budapest, Hungary)

Jürgen Dassow (Magdeburg, Germany)

Helmut Jürgensen (Potsdam, Germany; London, ON, Canada)

Hing Leung (Las Cruces, New Mexico)

Giovanni Pighizzini (Milano, Italy) (Chair)

Detlef Wotschke (Frankfurt, Germany)

Organizing Committee

Sabine Broda (U.Porto)

Maria João Frade (U. Minho)

Nelma Moreira (U.Porto)

Rogério Reis (U.Porto)

Simão Sousa (U. Beira Interior)

For a small poster for download and display:

http://www.dcc.fc.up.pt/DCFS12/resources/DCFS.pdf

CONTACT

Postal address:

DCFS 2012

DCC-FCUP

Rua do Campo Alegre, 1021-1055

4169-007 Porto,

Portugal

Email: dcfs12dcc.fc.up.pt