Logic List Mailing Archive

FCT 2005: Fundamentals of Computation Theory (Luebeck, August 2005)

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

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 Web site:
http://www.tcs.uni-luebeck.de/fct2005

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

T R A D I T I O N

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), Krakow (Poland, 1997), Iasi
(Romania, 1999), Riga (Latvia, 2001), and Malmo (Sweden, 2003).

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

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

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

O R G A N I Z I N G C O M M I T T E E

Jan Arpe Frank Balbach Andreas Jakoby Maciej Liskiewicz Claudia Mamat Bodo
Manthey Ruediger Reischuk Hagen Voelzer

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