posted by organizer: kuszi || 6653 views || tracked by 8 users: [display]

FCT 2015 : 20th International Symposium on Fundamentals of Computation Theory


Conference Series : Fundamentals of Computation Theory
When Aug 17, 2015 - Aug 19, 2015
Where Gdańsk, Poland
Submission Deadline Apr 25, 2015
Notification Due Jun 4, 2015
Final Version Due Jun 12, 2015
Categories    computer science   algorithms   distributed computing   logic

Call For Papers

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).
Submissions should be made via the conference website, no later
than April 25, 2015 (anytime in the world). No simultaneous submission
to other conferences with published proceedings is allowed.

* About FCT *

FCT is a biennial series of conferences in the field of theoretical
computer science. It was established in 1977 for researchers interested
in all aspects of theoretical computer science, and in particular
algorithms, complexity, formal and logical methods.

The 20th edition of FCT will be held in Gdańsk, a 1000-year old city
on the Baltic coast in northern Poland, with a medieval Old Town
picturesquely set on the banks of the Motlawa River.

The invited speakers will be: Marek Karpiński, Peter Widmayer, and Antonin Kucera.

* Important dates *

Submission deadline: April 25, 2015
Notification to authors: June 4, 2015
Symposium: August 17-19, 2015

* Scope *

The program committee is soliciting original and significant research
contributions to the Fundamentals of Computation Theory, including
(but not limited to):

- algorithm design and optimization
- approximation, randomized, and heuristic methods
- circuits and boolean functions
- combinatorics and analysis of algorithms
- computational algebra
- computational complexity
- computational geometry
- online algorithms
- streaming algorithms
- distributed and parallel 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 reactive, 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 information and quantum computing

* Submission *

Papers must be submitted electronically in PDF format via EasyChair,
using the link provided on the conference website. Submissions should
consist of the following elements:
- a cover page containing: the title of the paper, the names and
affiliations of all the authors and an abstract of at least one
paragraph detailing the main contributions of the paper,
- a self-contained exposition of the contribution of the paper of at
most 11 pages length (excluding the cover page and references) in A4
format, typeset in at least 11pt font, with standard line spacing and
reasonable page margins.

* Publication *

Conference proceedeings will be published in the Springer "Lecture Notes
in Computer Science" series. Selected papers will be invited to a special
issue of the journal "Discrete Mathematics & Theoretical
Computer Science", devoted to FCT'15. It is required that each accepted
paper be presented at the conference by one of its authors.

* Program Committee *

Per Austrin, KTH Royal Institute of Technology, Stockholm
Christel Baier, Technische Universität Dresden
Marcin Bieńkowski, University of Wrocław
Tomáš Brázdil, Masaryk University, Brno
Luis Caires, Universidade Nova de Lisboa
Thomas Colcombet, CNRS and Université Paris Diderot
Marek Cygan, University of Warsaw
Stéphane Demri, CNRS and ENS Cachan
Dariusz Dereniowski, Gdańsk University of Technology
Konstantinos Georgiou, University of Waterloo
Radu Grosu, Vienna University of Technology
Rolf Klein, University of Bonn
Barbara König, University of Duisburg-Essen
Adrian Kosowski, Inria and Université Paris Diderot (co-chair)
Dan Kráľ, University of Warwick
Leonid Libkin, University of Edinburgh
Andrzej Murawski, University of Warwick
Jelani Nelson, Harvard University
Gennaro Parlato, University of Southampton
Andrzej Pelc, Université du Québec en Outaouais
Guido Proietti, University of L'Aquila
Andrzej Proskurowski, University of Oregon
Stanisław Radziszowski, Rochester Institute of Technology
Davide Sangiorgi, Inria and University of Bologna
Thomas Sauerwald, University of Cambridge
Pawel Sobocinski, University of Southampton
Andrzej Szepietowski, University of Gdańsk
Wojciech Szpankowski, Purdue University
Igor Walukiewicz, CNRS and Université de Bordeaux (co-chair)
Paweł Żyliński, University of Gdańsk

Related Resources

FSEN 2023   Fundamentals of Software Engineering
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
IEEE, EI, Scopus-CTISC 2023   2023 5th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2023) -EI Compendex
CEC 2023   Congress on Evolutionary Computation
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
SGRECT 2023   2023 2nd Asia Conference on Smart Grid, Renewable Energy and Computing Technology (SGRECT 2023)
COLT 2023   Computational Learning Theory
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex