Institut   für
Theoretische Informatik
Universität zu Lübeck

15th International Symposium on
Fundamentals of Computation Theory (FCT) 2005
17-20 August 2005


Call for Papers 


Important Dates

Conference Venue

Invited Speakers

Program Committee

Organizing Committee




Previous FCT



Travel Information


Call for Papers

15th International Symposium
on Fundamentals of Computation Theory
"FCT 2005"
in Luebeck, Germany, 17-20 August 2005


The Symposium on Fundamentals of Computation Theory was established in 1977 as a biennial event for researchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. The previous FCT conferences were held in Poznan (Poland, 1977), Wendisch-Rietz (Germany, 1979), Szeged (Hungary, 1981), Borgholm (Sweden, 1983), Cottbus (Germany, 1985), Kazan (Russia, 1987), Szeged (Hungary, 1989), Gosen-Berlin (Germany, 1991), Szeged (Hungary, 1993), Dresden (Germany, 1995), Kraków (Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001), and Malmö (Sweden, 2003).


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):

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


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 here.

Important dates:

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


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

TOCS (MST) Special Issue:

A subset of papers will be selected for publication in
a special issue of the journal Theory of Computing Systems
(formerly Mathematical Systems Theory)

Download this
Call for Papers as PS or PDF