• home
  • general information
  • call for papers
  • invited speakers
  • committees
  • sponsors
  • program
  • workshops
  • lectures
  • [joint programs]
  • Proceedings LNCS 5699
  • History of FCTs

FCT 2009
17th International Symposium on
Fundamentals of Computation Theory

September 2-4, 2009, Wrocław, Poland

The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, formal methods and computer science logic, 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).

The next FCT Conference will be held in Oslo (Norway, 2011).

The proceedings heve been published in the Lecture Notes in Computer Science series of Springer Verlag, volume 5699.

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