December 1st, 2006 ------------------ Dear colleagues and friends, Enclosed you will find the Preliminary Call for Papers for DCFS 2007 - Descriptional Complexity of Formal Systems. Following the practice of having DCFS alternate on a yearly basis between Europe and North America, DCFS'07 will take place in High Tatras, Slovak Republic. We hope that many of you will submit papers and will attend DCFS'07. With best wishes, Viliam Geffert University of Kosice Giovanni Pighizzini University of Milan ================================================================== 9th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2007) High Tatras, Slovakia, July 20-23, 2007 http://dcfs07.ics.upjs.sk Preliminary Call for Papers Deadline for submissions: March 20, 2007 Notification of acceptance or rejection: May 1, 2007 Final copy for the proceedings: May 30, 2007 Workshop: July 20-23, 2007 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, see below.) DFCS 2007 will take place immediately after CIAA 2007 - 12th International Conference on Implementation and Application of Automata, Prague, Czech Republic, July 16-18, 2007, and thus it will be easy to attend both CIAA and DCFS. Invited Speakers ------------------------------------ Helmut Juergensen (Potsdam, Germany, and London/Ontario, Canada) Carlo Mereghetti (Milano, Italy) Markus Nebel (Kaiserslautern, Germany) Jiri Wiedermann (Praha, Czech Republic) Program Committee ------------------------------------ Henning Bordihn (Potsdam, Germany) Cristian Calude (Auckland, New Zealand) Erzsebet Csuhaj-Varju (Budapest, Hungary) Viliam Geffert (Co-Chair) (Kosice, Slovakia) Juraj Hromkovic (Zurich, Switzerland) Oscar Ibarra (Santa Barbara, California US) Lucien Ilie (London/Ontario, Canada) Alica Kelemenova (Opava, Czech Republic) Werner Kuich (Wien, Austria) Hing Leung (Las Cruces, New Mexico US) Andreas Malcher (Frankfurt, Germany) Carlos Martin-Vide (Tarragona, Spain) Borivoj Melichar (Praha, Czech Republic) Victor Mitrana (Bucharest, Romania) Jeffrey Shallit (Waterloo/Ontario, Canada) Georghe Paun (Bucharest, Romania, and Sevilla, Spain) Holger Petersen (Stuttgart, Germany) Giovanni Pighizzini (Co-Chair) (Milano, Italy) Jacques Sakarovitch (Paris, France) Sheng Yu (London/Ontario, 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, Italy (2005); and Las Cruces, New Mexico (2006). 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 2007. 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. In addition, selected papers will be published in a special journal issue. Instructions for Submissions ------------------------------------ Detailed instructions for submissions will be available on the conference website in due time. (Coming soon!) Simultaneous submissions to any other conferences with published proceedings are not allowed. Conference Location ------------------------------------ In order to help people socialize and exchange new ideas, DCFS 2007 will be organized as a single-building-conference. That is, accommodation for all participants, full-board meals, together with a lecture room will be in Atrium Hotel, Novy Smokovec, High Tatras, Slovakia. (Despite of the attractivity of the area and the duration for 4 days, the prices will be far from exceeding the usual DCFS standards.) Smokovec is an administrative centre (actually, a tiny town) of Tatra National Park, the most compact mountains in Europe, i.e., of alpine type, but occupying a very small area. Among others, the High Tatras offer exceptionally clean air. In summer season, you can enjoy hiking paths, ranging from gentle to highly demanding, winding among spectacular peaks and rock walls. (See e.g. http://www.tanap.sk/ or http://www.tatry.net/) Participating Institutions ------------------------------------ DCFS 2007 is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity, by the Institute of Computer Science of P.J.Safarik University, Kosice, Slovakia, and by the Slovak Society for Computer Science. The workshop is sponsored by the Department of Informatics and Communication of the University of Milano, Italy. 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 ------------------------------------ Gabriela Andrejkova, Jozef Gajdos, Frantisek Galcik, Viliam Geffert, Eva Trenklerova, Gabriel Semanisin (chair). (All members from Kosice, Slovakia). Website and Contacts ------------------------------------ More detailed on-line information will be displayed at http://dcfs07.ics.upjs.sk , personal inquires should be sent to dcfs07@ics.upjs.sk - for program and organizing committees, dcfs07@dico.unimi.it - for program and steering committees, or to DCFS 2007 Organizing Committee, Department of Computer Science, P.J.Safarik University, Jesenna 5, 04001 Kosice, Slovakia.