[agents] FCT 2021 - Final Call for Papers (deadline approaching!)

[Dimitris Fotakis]

-----------------------
FCT 2021 - Call for Papers
-----------------------
23rd International Symposium on Fundamentals of Computation Theory
September 12-15, 2021, Athens, Greece
https://www.corelab.ntua.gr/fct2021
Submission deadline: May 9, 2021 (abstracts) / May 16, 2021 (full papers) 

-----------------------
About FCT
-----------------------
The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 as a forum for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial series of conferences, previously held in Poland, Germany, Hungary, Sweden, Russia, Romania, Latvia, Norway, United Kingdom, France, and Denmark. The last five Symposia were held in Oslo (2011), Liverpool (2013), Gdansk (2015), Bordeaux (2017), and Copenhagen (2019).

FCT 2021 will be hosted by the National Technical University of Athens partially or completely online, depending on the status of the COVID-19 pandemic.

-----------------------
Important Dates
-----------------------
    Abstract registration: May 9, 2021 (AoE)
    Full paper submission: May 16, 2021 (AoE)
    Notification to authors: June 28, 2021
    Camera-ready submission: July 6, 2021
    Symposium: September 12-15, 2021

-----------------------
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 foundations of machine learning
    computational biology

Complexity

    models of computation
    computational complexity
    decidability
    Boolean/algebraic circuits and functions
    randomized computation
    derandomization
    interactive proofs
    computational foundations of 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

-----------------------
Invited Speakers 
-----------------------
    Constantinos Daskalakis, Massachusetts Institute of Technology
    Daniel Marx, Max Planck Institute for Informatics
    Claire Mathieu, CNRS and University of Paris 
    Nobuko Yoshida, Imperial College London

-----------------------
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 2021. 

-----------------------
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.

-----------------------
Program Committee
-----------------------
    Evripidis Bampis (co-chair), Sorbonne University
    Petra Berenbrink, University of Hamburg
    Arnaud Casteigts, University of Bordeaux
    Marek Chrobak, UC Riverside
    Hans van Ditmarsch, CNRS and University of Lorraine
    Thomas Erlebach, University of Leicester
    Bruno Escoffier, Sorbonne University
    Henning Fernau, University of Trier
    Dimitris Fotakis, National Technical University of Athens
    Pierre Fraigniaud, CNRS and University of Paris
    Leszek Gasieniec, University of Liverpool and Augusta University
    Laurent Gourves, CNRS and University of Paris-Dauphine
    Giuseppe F. Italiano, LUISS Guido Carli University
    Ralf Klasing, CNRS and University of Bordeaux
    Alexander Kononov, Sobolev Institute of Mathematics and Novosibirsk State University 
    Antonin Kucera, Masaryk University
    Dietrich Kuske, TU Ilmenau
    Nikos Leonardos, National and Kapodistrian University of Athens
    Minming Li, City University of Hong Kong
    Zsuzsanna Liptak, University of Verona
    Giorgio Lucarelli, University of Lorraine
    Vangelis Markakis, Athens University of Economics and Business
    Nicole Megow, University of Bremen
    Andrzej Murawski, University of Oxford
    Aris Pagourtzis (co-chair), National Technical University of Athens
    Charis Papadopoulos, University of Ioannina
    Igor Potapov, University of Liverpool
    Tomasz Radzik, King's College London
    Maria Serna, Technical University of Catalonia
    Hadas Shachnai, Technion
    Vorapong Suppakitpaisarn, University of Tokyo
    Nikos Tzevelekos, Queen Mary University of London
    Guochuan Zhang, Zhejiang University 

-----------------------
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
-----------------------
    Dimitris Fotakis (co-chair), National Technical University of Athens
    Nikos Leonardos, National and Kapodistrian University of Athens
    Thanasis Lianeas, National Technical University of Athens
    Aris Pagourtzis (co-chair), National Technical University of Athens

-----------------------
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 LaTeX template and style files, 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 using the following link: https://easychair.org/conferences/?conf=fct2021

-----------------------
Contact
-----------------------
For further information, please send an e-mail to fct2021_at_corelab_ntua_gr