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

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

FacebookTwitterLinkedInGoogle


Conference Series : Fundamentals of Computation Theory
 
Link: https://sites.google.com/site/fct2015gdansk/
 
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):

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

NCTA 2024   16th International Conference on Neural Computation Theory and Applications
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ISAAC 2024   35th International Symposium on Algorithms and Computation
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ECTA 2024   16th International Conference on Evolutionary Computation Theory and Applications
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ECTA 2024   16th International Conference on Evolutionary Computation Theory and Applications
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
FCTA 2024   16th International Conference on Fuzzy Computation Theory and Applications
GECCO 2024   Genetic and Evolutionary Computation Conference