Wednesday, March 3, 2010

[DMANET] DCFS 2010 - Call for papers

(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


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. They
will also be published in electronic form through the
Electronic Proceedings in Theoretical Computer Science (EPTCS).

As in previous years, selected papers will be published in a
special journal issue. This year, the journal will be International
Journal of Foundations of Computer Science. 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)
* Gyoergy Vaszil (Hungarian Academy of Sciences, Budapest, Hungary)
* Sheng Yu (London, ON, Canada)


Invited Speakers
------------------------------------
* Stavros Konstantinidis (Halifax, Canada)
* Ming Li (Waterloo, ON, Canada)
* Przemyslaw Prusinkiewicz (Calgary, AB, Canada)
* Detlef Wotschke (Frankfurt, Germany)


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)
* Wayne Clarke
* Andrew Couperthwaite
* Shakiba Jalal
* Jillian Slind
* Brett Trost


Website and Contacts
------------------------------------
More detailed on-line information will be displayed at

http://www.cs.usask.ca/dcfs2010

Personal inquires should be sent to

dcfs2010@cs.usask.ca

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/
*
**********************************************************