Logic List Mailing Archive

FCT 2009: Fundamentals of Computer Theory

2-4 September 2009
Wroclaw, Poland


                          Call for Papers

                             FCT 2009
  17th International Symposium on Fundamentals of Computer Theory

                 September 2-4, 2009, Wroclaw, Poland


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.


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


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

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



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


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


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)


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)