posted by user: nam || 5914 views || tracked by 7 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Descriptional Complexity of Formal Systems
 
Link: http://www.dcc.fc.up.pt/DCFS12
 
When Jul 23, 2012 - Jul 25, 2012
Where Braga, Portugal
Submission Deadline Apr 1, 2012
Notification Due May 2, 2012
Final Version Due May 15, 2012
Categories    theoretical computer science   complexity   formal systems   reliability
 

Call For Papers

Call for Papers -- DCFS 2012

14th International Workshop on Descriptional Complexity of Formal Systems

Braga, Portugal

July 23-25, 2012

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

**** Extended deadline; April 1 ****

-----------------------------

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)
Dexter Kozen (Cornell U., USA)
André Platzer (Carnegie Mellon U., USA)
Pedro Silva (Porto U., Portugal)


Important Dates

(Extended) Submission Deadline: April , 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)


CONTACT

Postal address:

DCFS 2012
DCC-FCUP
Rua do Campo Alegre, 1021-1055
4169-007 Porto,
Portugal

Email: dcfs12@dcc.fc.up.pt

Related Resources

DCFS 2024   Descriptional Complexity of Formal Systems
IJRAP 2024   International Journal of Recent advances in Physics
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
FOCS 2024   Foundations of Computer Science
FM 2024   Formal Methods
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
APARM 2024   11th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
IEEE SRSE 2024   IEEE--2024 The 6th International Conference on System Reliability and Safety Engineering (SRSE 2024)