Call for Papers

Authors are invited to submit their work (not exceeding 12 pages, 11pt font, in the LNCS format) in PDF. Submissions must be made via the EasyChair website (now closed), no later than April 23, 2013 (anytime in the world). No simultaneous submission to other conferences with published proceedings is allowed.

Conference proceedings will be published by Springer in the Lecture Notes in Computer Science series.

Selected papers will be invited to contribute to a special issue of Theoretical Computer Science devoted to FCT 2013.

PDF version of Call for Papers (Feel free to post and/or share with others.)

Important Dates

Submission deadline: April 23, 2013
Notification to authors: May 31, 2013
Final version: June 10, 2013
Symposium: Aug 19-21, 2013

Topics of interest in FCT include (but not limited to):

  • Algorithms:
    • algorithm design and optimization
    • approximation, randomized, and heuristic methods
    • circuits and boolean functions
    • combinatorics and analysis of algorithms
    • computational algebra
    • computational complexity
    • computational geometry
    • machine learning and artificial intelligence
    • online algorithms
    • parallel and distributed computing
  • 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 reacttive, 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 computing