=================================================================

                Preliminary Call for Papers
                ---------------------------

     DCFS 2003  - Descriptional Complexity of Formal Systems

will be held in Budapest, Hungary, July 12-14, 2003.

DCFS is the successor workshop to and the merger of


     DCAGRS -  Descriptional Complexity of Automata, Grammars and
               Related Structures


     FDSR -    Formal Descriptions and Software Reliability


DCAGRS was previously held in Magdeburg (1999), London, Ontario
(2000) and Vienna (2001). FDSR was previously held in Paderborn
(1998), Boca Raton (1999) and San Jose (2000).

DCFS was first held in London, Ontario (2002).

DCFS 2003 will be jointly organized by the IFIP Working Group 1.2
on Descriptional Complexity and the Computer and Automation
Research Institute of the Hungarian Academy of Sciences.

It will take place immediately after

     DLT 03 - 7th International Conference "Developments in
                    Language Theory"

     Szeged, Hungary, July 7-11, 2003.

Submissions for DCFS 2003 are invited, concerning the descriptional
complexity of formal systems and structures (and its applications).

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


Program Committee (preliminary list):

     Erzsebet Csuhaj-Varju  (Budapest)
     Juergen Dassow         (Magdeburg)
     Helmut Juergensen      (London, Potsdam)
     Chandra Kintala        (AVAYA, Basking Ridge)
     Detlef Wotschke        (Frankfurt/Main)


A list of invited speakers will be distributed shortly.

As in previous years, it is planned to publish selected papers in
a special journal issue.


The DCFS 2003 deadlines are as follows:

     Deadline for submission:                   April 9,    2003
     Notification of acceptance or rejection:   May 9,      2003
     Final copy for the preproceedings:         June 10,    2003
     Workshop:                                  July 12-14, 2003


For further information, please consult:

    http://www.sztaki.hu/mms/dcfs03/


For

     the IFIP Working Group on Descriptional Complexity

          Helmut Juergensen,  Vice-Chairman
          Chandra Kintala,    Vice Chairman
          Detlef Wotschke,    Chairman

     the Computer and Automation Research Institute of the
     Hungarian Academy of Sciences

          Erzsebet Csuhaj-Varju

----------------------------------------------------------------------
Erzsebet Csuhaj-Varju, Ph. D
senior researcher,
head, Research Group on Modelling Multi-Agent Systems

Computer and Automation Research Institute,
Hungarian Academy of
Sciences
H-1111 Budapest, Kende u. 13-17, Hungary

Tel: +36 1 279 6139

Fax: +36 1 466 7503

E-mail:csuhaj@sztaki.hu, csuhaj@luna.ikk.sztaki.hu

http://www.sztaki.hu/~csuhaj/
http://www.sztaki.hu/mms/

______________________________________________________________________