FCT 2011

18th International Symposium on Fundamentals of Computation Theory

Oslo, NORWAY

August 22-25, 2011

University of Oslo

LNCS proceedings is available online here.

Short Description

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), Budapest (Hungary, 2007), and Wroclaw (Poland, 2009).

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:
    • algebraic and categorical methods
    • automata and formal languages
    • computability and nonstandard computing models
    • database theory
    • foundations of concurrency and distributed systems
    • logics and model checking
    • models of reactive, hybrid and stochastic systems
    • principles of programming languages
    • program analysis and transformation
    • specification, refinement and verification
    • security
    • type systems
  • Emerging fields:
    • ad hoc, dynamic, and evolving systems
    • algorithmic game theory
    • computational biology
    • foundations of cloud computing and ubiquitous systems
    • quantum computation

IMPORTANT DATES

Submission Deadline:Tuesday, 5. April 2011
Extended to:Thursday, 14. April 2011
 (midnight Hawaii time)
Author Notification:Monday, 6. June 2011
Camera ready manuscript:Friday 17. June 2011

Please follow the links on the left for further information about the conference.

Our sponsors:

The Precise Modelling and Analysis group Department of Informatics University of Oslo Springer's Lecture Notes in Computer Science series The Research Council of Norway Det Norske Veritas (DNV) CISCO Systems, Inc.