Call for Papers

                           FCT 2009
17th International Symposium on Fundamentals of Computer Theory

               September 2-4, 2009, Wroclaw, Poland

                  http://fct2009.im.pwr.wroc.pl/
-------------------------------------------------------------------

The Symposium on  Fundamentals of  Computation Theory was  established in 1977
for researchers interested in all aspects of theoretical computer science,  as
well as new emerging  fields such as bio-inspired computing.  It is a biennial
series of conferences previously 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),  Malmo (Sweden,
2003), Lubeck (Germany, 2005), and Budapest (Hungary, 2007).

In 2009,  FCT will be hosted by Wroclaw University of Technology in south-west
part of Poland.


PROCEEDINGS

The conference  proceedings will be published  (as usual) in the Lecture Notes
in Computer Science series of Springer-Verlag.


SUBMISSIONS

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

* Algorithms: algorithm design and optimization; combinatorics and analysis of
  algorithms;  computational complexity;  approximation, randomized, and
  heuristic methods;  parallel  and distributed computing;  circuits and
  boolean functions; online algorithms;  machine learning and artificial
  intelligence; computational geometry; computational algebra; ...

* Formal methods: automata and formal languages; computability and nonstandard
      computing models; algebraic and categorical methods;  logics and model
      checking;  principles of programming languages;  program analysis  and
      transformation;  specification,  refinement  and  verification;   type
      systems;  concurrency theory;  database theory,  semi-structured  data
      and finite  model theory;  models of reactive,  hybrid and  stochastic
      systems; ...

* Emerging  fields:  security  and  cryptography;  ad hoc and  mobile systems;
      quantum computation; computational biology;high performance computing;
      algorithmic game theory; ...

Authors are invited to submit  a draft of  a full paper  with at most 12 pages
in the LNCS  style.  The paper should provide  sufficient detail  to allow the
Program  Committee  to  evaluate  its  validity,  quality,  and relevance.  If
necessary,  detailed  proofs  can  be  attached  as an appendix.  Simultaneous
submission to other conferences  with published proceedings or journals is not
allowed.

For further information on the conference, please visit the URL at

                       http://fct2009.im.pwr.wroc.pl/

IMPORTANT DATES

Submission Deadline: 9 April, 2009, 23:59 GMT
(there will be no extensions)
Author Notification: 15 May, 2009
Camera Ready Manuscript Due: 22 May, 2009


PROGRAM COMMITTEE CHAIRS

Miroslaw Kutylowski (Wroclaw, Poland) - chair
Witold Charatonik (Wroclaw, Poland) - co-chair

PROGRAM COMMITTEE

Roberto Amadio (Paris, France)
Manuel Bodirsky (Paris, France)
Jacek Cichon (Wroclaw, Poland)
Anuj Dawar (Cambridge, United Kingdom)
Giorgio Delzanno (Genova, Italy)
Cunsheng Ding (Hong Kong, China)
Thomas Erlebach (Leicester, United Kingdom)
Joachim von zur Gathen (Bonn, Germany)
Andrew D. Gordon (Cambridge, United Kingdom)
Thomas Jansen (Dortmund, Germany)
Stasys Jukna (Frankfurt, Germany)
Maciej Koutny (Newcastle, United Kingdom)
Antonin Kucera (Prague, Czech Republic)
Stefano Leonardi (Rome, Italy)
Maciej Liskiewicz (Lubeck, Germany)
Tomasz Luczak (Poznan, Poland)
Alexander Okhotin (Turku, Finland)
Andreas Podelski (Freiburg, Germany)
Sergio Rajsbaum (Mexico, Mexico)
Jose Rolim (Geneva, Switzerland)
Piotr Sankowski (Warszawa, Poland)
Vladimiro Sassone (Southampton, United Kingdom)
Helmut Seidl (Munchen, Germany)
Maria Jose Serna Iglesias (Barcelona, Spain)
Paul Spirakis (Patras, Greece)
Jean-Marc Talbot (Provence, France)
Jerzy Tiuryn (Warszawa, Poland)
Stephan Waack (Gottingen, Germany)
Igor Walukiewicz (Bordeaux, France)
Thomas Zeugmann (Hokkaido, Japan)

STEERING COMMITTEE

Bogdan Chlebus (Warszawa/Denver, Poland/USA)
Zoltan Esik (Szeged, Hungary)
Marek Karpinski - chair (Bonn, Germany)
Andrzej Lingas (Lund, Sweden)
Miklos Santha (Paris, France)
Eli Upfal (Providence, USA)
Ingo Wegener (Dortmund, Germany)