Logic List Mailing Archive

15th International Symposium on Fundamentals of Computation Theory (Luebeck, Germany, August 2005)

-----------------------------------------------------------------------

          Second  C A L L   F O R   P A P E R S

                        FCT 2005

              15th International Symposium on
            Fundamentals of Computation Theory

                  Luebeck, Germany
                 August 17-20, 2005

            Submission Deadline: March 7, 2005
              (Submission server is opened)

     Web site: http://www.tcs.uni-luebeck.de/fct2005

-----------------------------------------------------------------------


                     S C O P E

 Authors are invited to submit papers presenting original and
 unpublished research in all areas of theoretical computer science.
 Topics of interest include (but are not limited to):

     o automata and formal languages
     o design and analysis of algorithms
     o computational and structural complexity
     o semantics
     o logic in computer science
     o circuits and networks
     o learning theory
     o specification and verification
     o cryptography
     o parallel and distributed systems
     o approximation and randomized algorithms
     o computational biology
     o computational geometry
     o quantum computation and information
     o molecular computation


               S U B M I S S I O N S

 Authors are invited to submit a draft of a full paper with at most
 12 pages, the title page must contain a classification of the topic
 covered, preferably using the list of topics above. The paper should
 contain a succinct statement of the issues and of their motivation,
 a summary of the main results, and a brief explanation of their
 significance, accessible to non-specialist readers. Proofs omitted
 due to space constraints can be put into an appendix to be read by
 the program committee members at their discretion. Simultaneous
 submission to other conferences with published proceedings is not
 allowed.

 Only electronic submissions in standard postscript or pdf format are
 accepted, please follow the instructions on the conference web page.

             P R O C E E D I N G S

 Accepted papers will be published in the proceedings of the
 symposium (Lecture Notes in Computer Science, Springer-Verlag).

        TOCS (MST)    S p e c i a l   I s s u e

A subset of papers will be selected for publication in
a special issue of the journal Theory of Computing Systems
(formerly Mathematical Systems Theory)
http://link.springer.de/link/service/journals/00224/index.htm

          I M P O R T A N T   D A T E S

      Deadline for submissions:  March 7, 2005
      Notification to authors:   May 9, 2005
      Final version:             May 31, 2005
      Symposium:                 August 17-20, 2005

         I N V I T E D  S P E A K E R S

             Martin Dyer, Leeds
             Martin Grohe, Berlin
             Daniel Spielman, Cambridge, MA

        P R O G R A M   C O M M I T T E E

             Tatsuya Akutsu, Kyoto
             Giorgio Ausiello, Rome
             Martin Dietzfelbinger, Ilmenau
             Tao Jiang, Riverside
             Matthias Krause, Mannheim
             Maciej Liskiewicz,  Luebeck
             Damian Niwinski, Warsaw
             Mitsunori Ogihara, Rochester
             Jean-Eric Pin, Paris
             Ruediger Reischuk, Luebeck (Chair)
             Branislav Rovan, Bratislava
             Ludwig Staiger, Halle
             Amnon Ta-Shma, Tel-Aviv
             Jan Arne Telle, Bergen
             Thomas Wilke, Kiel

-----------------------------------------------------------------------
Questions and Comments: Please direct all of your questions and
comments to fct05@tcs.uni-luebeck.de