16th International Symposium on Fundamentals of
Computation Theory
August 27-30, 2007, Budapest, Hungary

Invitation

The Computer and Automation Research Institute, Hungarian Academy of Sciences and the Department of Computer Science, University of Szeged kindly invites you to take part at the 16th International Symposium on Fundamentals of Computation Theory, in Budapest August 17-30, 2007.

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 and logical methods. 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), Kraków (Poland, 1997), Iasi (Romania, 1999), Riga (Latvia, 2001), Malmö (Sweden, 2003), and Lübeck (Germany, 2005).

The proceedings will be published in the Lecture Notes in Computer Science series of Springer Verlag, and we anticipate that a special issue of Theoretical Computer Science will be devoted to selected papers published at the conference.

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

  • automata and formal languages
  • design and analysis of algorithms
  • computational and structural complexity
  • semantics
  • logic, algebra and categories in computer science
  • circuits and networks
  • learning theory
  • specification and verification
  • parallel and distributed systems
  • concurrency theory
  • cryptography and cryptographic protocols
  • approximation and randomized algorithms
  • computational geometry
  • quantum computation and information
  • bio-inspired computation

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

Only electronic submissions are accepted, please follow the instructions on the Paper Preparation and Submission page.