Enclosed you will find the
P R E L I M I N A R Y C A L L F O R P A P E R S
for
DCFS 2010 - Descriptional Complexity of Formal Systems.
The 12th International Workshop DCFS 2010 will take place
in Saskatoon, Canada.
The workshop will be jointly organized by the IFIP Working Group 1.2
on Descriptional Complexity and by the Department of Computer Science
at the University of Saskatchewan.
We hope that many of you will submit papers and will attend DCFS 2010.
With best wishes,
Ian McQuillan (University of Saskatchewan)
Giovanni Pighizzini (University of Milan)
PS: We apologize for multiple posting.
==================================================================
12th International Workshop on
Descriptional Complexity of Formal Systems (DCFS 2010)
Saskatoon, Canada, August 8-10, 2010
http://www.cs.usask.ca/dcfs2010
P R E L I M I N A R Y C A L L F O R P A P E R S
Researchers are invited to submit papers concerning the descriptional
complexity of formal systems and structures (and its applications)
for DCFS 2010.
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.
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.
Deadline for submissions: April 25, 2010
Notification of acceptance or rejection: June 15, 2010
Final copy for the proceedings: July 8, 2010
Workshop: August 8-10, 2010
Proceedings
------------------------------------
All invited and accepted papers will appear in the conference
proceedings, which will be available during the conference,
and will be published also in electronic form.
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 2011,
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 2011.
Instructions for Submissions
------------------------------------
Detailed instructions for submissions will be available on the
conference website. Simultaneous submissions to any other
conferences with published proceedings are not allowed.
Program Committee
------------------------------------
* Janusz A. (John) Brzozowski (Waterloo, ON, Canada)
* Juergen Dassow (Magdeburg, Germany)
* Michael Domaratzki (Winnipeg, MB, Canada)
* Markus Holzer (Giessen, Germany)
* Oscar H. Ibarra (Santa Barbara, CA, USA)
* Galina Jiraskova (Kosice, Slovakia)
* Chandra Kintala (Newark, USA)
* Ian McQuillan (Saskatoon, SK, Canada, co-chair)
* Andrei Paun (Madrid, Spain; Bucharest, Romania)
* Giovanni Pighizzini (Milano, Italy, co-chair)
* Jacques Sakarovitch (Paris, France)
* Kai Salomaa (Kingston, ON, Canada)
* György Vaszil (Hungarian Academy of Sciences, Budapest, Hungary)
* Sheng Yu (London, ON, Canada)
Invited Speakers
------------------------------------
* Ming Li (Waterloo, ON, Canada)
* Przemyslaw Prusinkiewicz (Calgary, AB, Canada)
* TBA
Conference Location
------------------------------------
DCFS 2010 will be held on the campus of the University of
Saskatchewan in the province of Saskatchewan, Canada.
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); Las Cruces, New Mexico (2006);
Novy Smokovek, High Tatras (2007), Charlottetown, Prince
Edward Island (2008) and Magdeburg (2009).
DFCS 2010 will take place immediately before
CIAA 2010, the 15th International Conference on Implementation
and Application of Automata, August 12 - 15, 2010
in Winnipeg, Manitoba, Canada
and DLT 2010, the 14th International Conference on
Developments in Language Theory, August 17 - 20, 2010,
in London, Ontario, Canada.
Thus it will be easy to attend all of DCFS, CIAA and DLT
within a two week period.
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)
* Chandra Kintala (Newark, USA)
* Giovanni Pighizzini (Milano, Italy, Chair)
* Detlef Wotschke (Frankfurt, Germany)
Organizing Committee
------------------------------------
* Ian McQuillan (Chair)
* Shakiba Jalal
Website and Contacts
------------------------------------
More detailed on-line information will be displayed at
http://www.cs.usask.ca/dcfs2010
Personal inquires should be sent to
or to
DCFS 2010 Organizing Committee,
c/o Ian McQuillan
Dept. of Computer Science
176 Thorvaldson Bldg.
University of Saskatchewan
110 Science Place
Saskatoon, SK S7N 5C9
Canada
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
