DCFS 2013 - 15th International Workshop on Descriptional Complexity of Formal Systems

The theories of automata, grammars and related formal systems are cornerstones of the theoretical foundations of computer science. Issues concerning the descriptional complexity of such formal systems have an immediate influence on their application to modelling physical systems. The problem areas to be addressed include, but are not limited to, the following:
Automata, grammars, languages and other formal systems; various modes of operations and complexity measures.
Succinctness of description of objects, state-explosion-like phenomena.
Circuit complexity of Boolean functions and related measures.
Size complexity of formal systems.
Structural complexity of formal systems.
Trade-offs between computational models and mode of operation.
Applications of formal systems -- for instance in software and hardware testing, in dialogue systems, in systems modelling or in modelling natural languages-- and their complexity constraints.
Co-operating formal systems.
Size or structural complexity of formal systems for modelling natural languages.
Complexity aspects related to the combinatorics of words.
Descriptional complexity in resource-bounded or structure-bounded environments.
Structural complexity as related to descriptional complexity.
Frontiers between decidability and undecidability.
Universality and reversibility.
Nature-motivated (bio-inspired) architectures and unconventional models of computing.
Kolmogorov-Chaitin complexity, algorithmic information.
CALL FOR PAPERS
Submissions concerning the descriptional complexity of formal systems are invited for the workshop DCFS 2013 to be held in London, Ontario, on 22--25 July, 2013. Papers on applications of such issues, for instance in the fields of software or hardware testing, systems modelling, natural language modelling as well as demonstrations of systems related to these issues are also welcome.
The papers should present original research contributions concerning the topics of the workshop. They should not exceed 12 pages when prepared using LaTeX and the style of the Springer Lecture Notes in Computer Science. The style file is available from the the Springer LNCS authors' link.
Papers must be written in English and must provide sufficient detail for the program committee to assess their merits. Proofs omitted due to space constraints can be put into an appendix which will read by program committee members at their discression. Simultaneous submission of the same paper to other conferences or workshops is not acceptable.
Papers should be submitted as pdf files electronically to the easychair adress.
Papers intended for an informal discussion or poster session will also be considered.
Proposals for demonstrations of systems suggestions of other relevant activities (like tutorials) should be submitted with a short description outlining the nature and requirements of the proposal as soon as possible.
For questions regarding the submission process please contact Helmut Jürgensen at hjj-AT-csd.uwo.ca or at dcfs-AT-csd.uwo.ca.
PROCEEDINGS
The proceedings will be published as a volume of the Springer Lecture Notes in Computer Scince (LNCS). As in previous years, there will also be a special journal issue with full versions of selected papers.
IMPORTANT DATES
Deadline for paper submission via easychair: 20 March, 2013
Notification of authors: 25 April, 2013
Final version for the proceedings: 8 May, 2013
Workshop: 22-25 July, 2013
Additional dates will be announced as they become available.
INVITED SPEAKERS
Cezar Câmpeanu (University of Prince Edward Island, Charlottetown, Canada)
Frank Drewes (Umeå Universitet, Sweden)
Pierre McKenzie (Université de Montréal, Canada)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
DCFS STEERING COMMITTEE
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Jürgen Dassow (Magdeburg, Germany)
Helmut Jürgensen (London, Canada)
Hing Leung (Las Cruces, USA)
Giovanni Pighizzini (Milano, Italy), Chair
Detlef Wotschke (Frankfurt, Germany)
DCFS 2013 PROGRAMME COMMITTEE
Viliam Geffert, Univerzita Pavol Jozefa Šafárika, Košice, Slovakia
Galina Jirásková, Slovak Academy of Sciences, Košice, Slovakia
Helmut Jürgensen, University of Western Ontario, London, Canada; Chair
Christos Kapoutsis, Université Paris Diderot, France
Lila Kari, University of Western Ontario, London, Canada
Stavros Konstantinidis, St. Mary's University, Halifax, Canada
Dexter Kozen, Cornell University, Ithaca, USA
Martin Kutrib, Universität Gießen, Germany
Andreas Malcher, Universität Gießen, Germany
Ian McQuillan, University of Saskatchewan, Saskatoon, Canada
Victor Mitrana, Universitatea Bucureşti, Romania
Nelma Moreira, Universidade do Porto, Portugal
Beatrice Palano, Università degli Studi di Milano, Italy
Giovanni Pighizzini, Università degli Studi di Milano, Italy
Rogério Reis, Universidade do Porto, Portugal; Chair
Jaques Sakarovitch, CNRS/ENST, Paris, France
Kai Salomaa, Queen's University, Kingston, Canada
Jeffrey Shallit, University of Waterloo, Canada
Bianca Truthe, Otto-von-Guericke-Universität, Magdeburg, Germany
DCFS 2013 ORGANIZING COMMITTTEE
Helmut Jürgensen, University of Western Ontario
Additional members to be announced.