Skip to Content.
Sympa Menu

coq-club - [Coq-Club] DCFS 2012 2nd Call For Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] DCFS 2012 2nd Call For Papers


chronological Thread 
  • From: Nelma Moreira <nam AT dcc.fc.up.pt>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] DCFS 2012 2nd Call For Papers
  • Date: Mon, 20 Feb 2012 13:47:01 +0000

Apologies for multiple posting.
--------------------
Second 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
-------------------

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. 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: March 25, 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
andunconventional 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. 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: 
dcfs12 AT dcc.fc.up.pt







Archive powered by MhonArc 2.6.16.

Top of Page