22nd Symposium on Fundamentals of Computation Theory: Call for papers – University of Copenhagen

Home > Call for papers

22nd Symposium on Fundamentals of Computation Theory: Call for papers

Time: August 11–14, 2019
Place: University of Copenhagen, Denmark
Web presence: [Symposium website]  [Call for papers (in pdf format)]

Authors are invited to submit original research papers in all areas related to the foundations of computer science (algorithms, complexity, and formal methods).

About the symposium

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 in algorithms, complexity, formal and logical methods. FCT is a biennial conference that circulates on a regular basis in Eastern Europe, Western Europe, and the Nordic countries.

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
  • data structures
  • combinatorics and analysis of algorithms
  • randomized algorithms
  • approximation algorithms
  • parameterized and exact algorithms
  • computational algebra and number theory
  • computational geometry
  • parallel algorithms
  • distributed algorithms and protocols
  • online algorithms
  • streaming algorithms
  • algorithmic game theory
  • computational biology

Complexity

  • models of computation
  • computational complexity
  • decidability
  • Boolean/algebraic circuits and functions
  • randomized computation
  • derandomization
  • interactive proofs
  • cryptography
  • quantum computation
  • complexity theory
  • lower bounds
  • counting complexity

Formal methods

  • algebraic and categorical methods
  • automata and formal languages
  • 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
  • ad hoc, dynamic, and evolving systems
  • foundations of cloud computing and ubiquitous systems

Proceedings

Symposium proceedings will be published in the ARCoSS subline of the Springer Lecture Notes in Computer Science [LNCS] series.


 


 

Special Issue

Selected papers will be invited to a special issue of the Journal of Computer and System Sciences [JCSS], devoted to FCT 2019.

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 covered by the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. If relevant, authors have to disclose information on strongly-related papers that are in the publication or reviewing pipeline elsewhere. It is required that each accepted paper will be presented at the symposium by one of its authors.

Submissions must not exceed 12 pages (excluding references), formatted according to the LNCS style plus an optional, clearly marked appendix of reasonable length (to be read at the discretion of the program committee). 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: [Log in to EasyChair for FCT 2019]

Program committee

Amir Ben-Amram Tel-Aviv Academic College
Marthe Bonamy National Center for Scientific Research (CNRS), Bordeaux
Irene Finocchi Sapienza University of Rome
Leszek Gąsieniec University of Liverpool
William Harris Galois Inc.
Mika Hirvensalo University of Turku
Štěpán Holub Charles University in Prague
Jesper Jansson Hong Kong Polytechnic University
Jyrki Katajainen University of Copenhagen (chair)
Ralf Klasing CNRS and University of Bordeaux
Rastislav Královič Comenius University in Bratislava
Stefan Kratsch Humboldt University of Berlin
Erik Jan van Leeuwen Utrecht University
Christos Levcopoulos Lund University
Florin Manea Kiel University
Toby Murray University of Melbourne
Aris Pagourtzis National Technical University of Athens
Nitin Saxena Indian Institute of Technology Kanpur
Jeffrey Shallit University of Waterloo
Jesper Larsson Träff TU Wien (Vienna University of Technology)
Peter Widmayer ETH Zürich

Steering committee

Bogdan Chlebus University of Colorado
Marek Karpinski University of Bonn (chair)
Andrzej Lingas Lund University
Miklos Santha CNRS and University Paris Diderot
Eli Upfal Brown University

Organizing committee

Eevi Katajainen Henningsen Jyrki Katajainen and Company
Jyrki Katajainen University of Copenhagen (chair)

Contact

For further information, please send an e-mail to Jyrki Katajainen.