16-18 July 2008
Prince Edward Island, Canada
***** PAPER SUBMISSION DEADLINE EXTENDED TO APRIL 20, 2008!!! *****
10th International Workshop on
Descriptional Complexity of Formal Systems (DCFS 2008)
Prince Edward Island, Canada, July 16-18, 2008
http://www.csit.upei.ca/dcfs2008
Call for Papers
Deadline for submissions: April 20, 2008 *** EXTENDED ***
Notification of acceptance or rejection: May 25, 2008
Final copy for the proceedings: June 25, 2008
Workshop: July 16-18, 2008
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, please see below.)
DFCS 2008 will take place immediately after
ICALP 2008, the 35th International Colloquium on
Automata, Languages and Programming, July 6 - 13, 2008
Reykjavik - Iceland
and immediately before
CIAA 2008 - 13th International Conference on Implementation
and Application of Automata, San Francisco, California, USA,
July, 21-24, 2008,
thus it will be easy to attend all three conferences.
Invited Speakers
------------------------------------
* Eric Allender (Rutgers University, USA)
* Cristian Calude (University of Auckland, Auckland, New Zealand)
* Bala Ravikumar (Sonoma State University, USA)
* Gyorgy Vaszil (Hungarian Academy of Sciences, Budapest, Hungary)
Program Committee
------------------------------------
* Cezar Campeanu (Charlottetown/PE, Canada, co-chair)
* Jean-Marc Champarnaud (Rouen, France)
* Erzsebet Csuhaj-Varju (Hungarian Academy of Sciences, Budapest, Hungary)
* Juergen Dassow (Magdeburg, Germany)
* Mike Domaratzki (Winipeg/Manitoba, Canada)
* Viliam Geffert (Kosice, Slovakia)
* Oscar Ibarra (Santa Barbara/California, USA)
* Lucian Ilie (London/Ontario, Canada)
* Helmut Juergensen (London/Ontario, Canada, and Postdam, Germany)
* Lila Kari (London/Ontario, Canada)
* Stavros Konstantinidis (Halifax/Nova Scotia, Canada)
* Martin Kutrib (Giessen, Germany)
* Hing Leung (Las Cruces/New Mexico, USA)
* Giovanni Pighizzini (Milano, Italy, co-chair)
* Kai Salomaa (Kingston/Ontario, Canada)
* Nicole Schweikardt (Frankfurt, Germany)
* Detlef Wotschke (Frankfurt, Germany)
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, Italy (2005); Las Cruces, New Mexico (2006);
and Novy Smokovek, High Tatras, Slovakia (2007).
Topics
------------------------------------
Topics include, but are not limited to:
-- various measures of descriptional complexity of automata,
grammars, languages, and of related systems
-- trade-offs between different formal systems and/or different
modes of operation (e.g., determinism and nondeterminism)
with respect to descriptional complexity.
-- circuit complexity of Boolean functions and related
measures
-- succinctness of description of (finite) objects
-- descriptional complexity in resource-bounded or
structure-bounded environments
-- structural complexity
-- descriptional complexity of formal systems for
applications (e.g. software reliability, software and
hardware testing, modelling of natural languages)
-- descriptional complexity aspects of nature-motivated
(bio-inspired) architectures and unconventional
models of computing
-- Kolmogorov complexity and its relation to
descriptional complexity
Submissions concerning the descriptional complexity of formal
systems and structures (and its applications) are invited for
DCFS 2008.
In accordance with the spirit of a workshop, the program
committee will try to accept as many papers as possible,
provided that their scientific quality is high and merits
acceptance. If the number of such papers exceeds the number of
time slots for "regular" presentation, the program committee
will try to accept some papers as "short" papers.
Proceedings
------------------------------------
All invited and accepted papers will appear in the conference
proceedings, which will be available during the conference.
As in previous years, selected papers will be published in a
special journal issue.
In order to be able to publish the special issue in 2009,
a strict schedule for the preparation and for the revision
process of the papers submitted to the issue will be fixed.
The notification about acceptance/rejection of the papers
will be in the first months of 2009.
Instructions for Submissions
------------------------------------
Detailed instructions for submissions are available on the
conference website. Simultaneous submissions to any other
conferences with published proceedings are not allowed.
Conference Location
------------------------------------
DCFS 2008 will be held on the campus of the University of
Prince Edward Island (PEI), located in Charlottetown, the
vibrant seaside capital city of the smallest and greenest
province of Canada. Prince Edward Island is an island in the
Atlantic Ocean, connected to the mainland by Conferderation
Bridge, the longest bridge in the world over waters that freeze.
Participating Institutions
------------------------------------
DCFS 2008 is jointly organized by the IFIP Working Group 1.2
on Descriptional Complexity, by the Department of Computer Science
and Information Technology of University of Prince Edward Island, Canada.
Steering Committee
------------------------------------
Erzsebet Csuhaj-Varju (Budapest, Hungary)
Juergen Dassow (Magdeburg, Germany)
Helmut Juergensen (Potsdam, Germany, and London/Ontario, Canada)
Hing Leung (Las Cruces, New Mexico)
Lucian Ilie (London/Ontario, Canada)
Chandra Kintala (Bangalore, India)
Giovanni Pighizzini (Chair) (Milano, Italy)
Detlef Wotschke (Frankfurt, Germany)
Organizing Committee
------------------------------------
* Cezar Campeanu (Charlottetown/PE, Canada, Chair)
* David LeBlanc (Charlottetown/PE, Canada)
* Chris Vessey (Charlottetown/PE, Canada)
* Yingwei Wang (Charlottetown/PE, Canada)
* Qiang Ye (Charlottetown/PE, Canada)
Website and Contacts
------------------------------------
More detailed on-line information will be displayed at
http://www.csit.upei.ca/dcfs2008
Personal inquires should be sent to
dcfs2008@upei.ca ,
or to
DCFS 2008 Organizing Committee,
Department of Computer Science
and Information Technology, CASS 405,
University of Prince Edward Island,
Charlottetown, PEI C1A 4P3, Canada.