FCT 2017 – Second Call for Papers   (Printable Version)

FCT 2017

21st International Symposium on Fundamentals of Computation Theory

September 11-13, 2017 Bordeaux, France

http://fct2017.labri.fr/

Authors are invited to submit original research papers in all areas related to the Foundations of Computer Science (algorithms, formal methods, emerging fields of study).

Important Dates

  • Abstract registration: May 1, 2017 (AoE)
  • Full paper submission: May 8, 2017 (AoE)
  • Notification to authors: June 16, 2017
  • Camera-ready submission: June 28, 2017
  • Symposium: September 11-13, 2017

About FCT

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wrocław, Budapest, Lübeck.

FCT 2017 will take place in Bordeaux, which is located in the South West of France. The region is famous for its wines and its gastronomy. The city centre of Bordeaux is classified at the Unesco World Heritage.

Scope

The program committee is soliciting original and significant research contributions to the Fundamentals of Computation Theory, including (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 and parameterized complexity
  • computational geometry
  • distributed and parallel computing
  • online algorithms
  • streaming algorithms

Formal methods

  • algebraic and categorical methods
  • automata and formal languages
  • computability and nonstandard computing models
  • database theory
  • foundations of concurrency and distributed systems
  • logic and model checking
  • models of reactive, hybrid and stochastic systems
  • principles of programming languages
  • program analysis and transformation
  • security
  • specification, refinement and verification
  • type systems

Emerging fields

  • ad hoc, dynamic and evolving systems
  • algorithmic game theory
  • computational biology
  • foundations of cloud computing and ubiquitous systems
  • quantum information and quantum computing

Proceedings

Conference proceedings will be published in the ARCoSS subline of the Springer "Lecture Notes in Computer Science" series.

Special Issue

Selected papers will be invited to a special issue of the "Journal of Computer and System Sciences", devoted to FCT 2017. (https://www.journals.elsevier.com/journal-of-computer-and-system-sciences/)

Awards

Awards will be given to the best paper and the best student paper. To be eligible for the best student paper award, at least one of the paper authors must be a full-time student at the time of submission, and the student(s) must have made a significant contribution to the paper.

Submission

Authors are invited to submit high-quality manuscripts reporting original unpublished research in the topics related to the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. It is required that each accepted paper be presented at the conference by one of its authors.

Submissions must not exceed 12 pages (excluding references), formatted according to LNCS style plus an optional, clearly marked appendix of reasonable length (to be read at the program committee's discretion). The first page must include an indication of whether the paper is eligible for the best student paper award.

Papers are to be submitted electronically through EasyChair at the following link: https://easychair.org/conferences/?conf=fct2017

Program Committee

Steering Committee

Organizing Committee

Contact

For further information, please send an e-mail to fct2017_at_labri.fr .