November 09, 2005 ----------------- Dear colleagues and friends, Enclosed you will find the Preliminary Call for Papers for DCFS 2006 - Descriptional Complexity of Formal Systems. Following the practice of having DCFS alternate on a yearly basis between Europe and North America, DCFS'06 will take place in Las Cruces, New Mexico, USA. We hope that many of you will submit papers and will attend DCFS'06. With best wishes, Hing Leung New Mexico State University Giovanni Pighizzini University of Milan ================================================================== Preliminary Call for Papers --------------------------- DCFS 2006 - Descriptional Complexity of Formal Systems will be held in Las Cruces, New Mexico, USA, June 21-23, 2006. 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); and London, Ontario, (2004); and Como, Italy (2005). DCFS 2005 will be jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Department of Computer Science of New Mexico State University. The workshop is sponsored by the Department of Computer Science, University of Texas at El Paso. It will take place immediate before DLT 2006 - 10th International Conference on Developements in Language Theory Santa Barbara, CA, USA, June 26-29, 2006 Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2006. Topics include, but are not limited to: -- various measures of descriptional complexity of automata, grammars, languages and of related systems -- trade-offs between descriptional complexity and mode of operation -- 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 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. Instructions for submissions: ----------------------------- The instructions for submissions will be available later. Invited Speakers ------------------------------------ (to be announced) Program Committee: (preliminary list) ------------------ Cristian Calude (Auckland) Jean-Marc Champarnaud (Rouen) Erzsebet Csuhaj-Varju (Budapest) Juergen Dassow (Magdeburg) Viliam Geffert (Kosice, Slovakia) Jonathan Goldstine (State College) Juraj Hromkovich (Zurich) Lila Kari (London, Ontario) Orna Kupferman (Jerusalem) Hing Leung (Co-Chair) (Las Cruces) Victor Mitrana (Tarragona) Giovanni Pighizzini (Co-Chair) (Milano) Bala Ravikumar (Sonoma) Arto Salomaa (Turku) Detlef Wotschke (Frankfurt/Main) Sheng Yu (London, Ontario) Organizing Committee: --------------------- Hing Leung (Las Cruces) Desh Ranjan (Las Cruces) Brian Cloteaux (Las Cruces) Proceedings: ------------ All accepted and invited papers will appear in the Proceedings, which will be available at the conference. In addition, selected papers will be published in a special journal issue of Theoretical Computer Science. The DCFS 2006 deadlines are as follows: Deadline for submissions: March 24, 2006 Notification of acceptance or rejection: May 10, 2006 Final copy for the proceedings: June 1, 2006 Workshop: June 21-23, 2006 For further information, please consult: http://www.cs.nmsu.edu/dcfs06 Hing Leung New Mexico State University Giovanni Pighizzini University of Milan