[CPM-SPIRE-L] FCT 2019
Florin Manea
flm at informatik.uni-kiel.de
Wed Jan 9 05:18:43 PST 2019
#22nd Symposium on Fundamentals of Computation Theory: Call for papers
__Time:__ August 11--14, 2019
__Place:__ University of Copenhagen, Denmark
__Web presence:__
Symposium website: https://di.ku.dk/fct2019/
Authors are invited to submit original research papers in all areas
related to the foundations of computer science (algorithms,
complexity, and formal methods).
##Important dates
* Abstract registration: March 31, 2019 (AoE)
* Full-paper submission: April 7, 2019 (AoE)
* Notification to authors: May 19, 2019
* Camera-ready submission: June 2, 2019
* Symposium: August 11--14, 2019
##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.
FCT 2019 will take place in Copenhagen, the capital of Denmark, at
one of the oldest universities in Europe: University of Copenhagen.
You can find more information on the host in the
following websites:
* Department of Computer Science: http://www.diku.dk/english/
* Faculty of Science: http://www.science.ku.dk/english/
* University of Copenhagen: http://www.ku.dk/english/.
##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 series.
##Special Issue
Selected papers will be invited to a special issue of the
Journal of Computer and System Sciences
(https://www.journals.elsevier.com/journal-of-computer-and-system-sciences/
),
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:
https://easychair.org/conferences/?conf=fct2019
##Program committee
----------------------------
------------------------------------------
[Amir Ben-Amram](http://www2.mta.ac.il/~amirben/)
Tel-Aviv Academic College
[Marthe Bonamy](http://www.labri.fr/perso/mbonamy/)
National Center for Scientific Research (CNRS),
Bordeaux
[Irene Finocchi](http://wwwusers.di.uniroma1.it/~finocchi/)
Sapienza University of Rome
[Leszek Gąsieniec](http://cgi.csc.liv.ac.uk/~leszek/)
University of Liverpool
[William Harris](https://galois.com/team/bill-harris/)
Galois Inc.
[Mika Hirvensalo](http://users.utu.fi/mikhirve/)
University of Turku
[Štěpán Holub](http://www.karlin.mff.cuni.cz/~holub/indexen.htm)
Charles University in Prague
[Jesper Jansson](https://www4.comp.polyu.edu.hk/~csjj/)
Hong Kong Polytechnic University
[Jyrki Katajainen](http://hjemmesider.diku.dk/~jyrki/)
University of Copenhagen (chair)
[Ralf Klasing](http://www.labri.fr/perso/klasing/)
CNRS and University of Bordeaux
[Rastislav
Královič](http://kedrigern.dcs.fmph.uniba.sk/kralovic/new/index.php)
Comenius University in Bratislava
[Stefan
Kratsch](https://www.informatik.hu-berlin.de/de/forschung/gebiete/ae/people/stkratsch)
Humboldt University of Berlin
[Erik Jan van Leeuwen](http://www.erikjanvl.nl/)
Utrecht University
[Christos
Levcopoulos](http://fileadmin.cs.lth.se/cs/Personal/Christos_Levcopoulos/)
Lund University
[Florin Manea](http://flmanea.blogspot.com/)
Kiel University
[Toby Murray](https://people.eng.unimelb.edu.au/tobym/)
University of Melbourne
[Aris Pagourtzis](http://users.softlab.ntua.gr/~pagour/)
National Technical University of Athens
[Wojciech Plandowski](https://www.mimuw.edu.pl/~wojtekpl/)
University of Warsaw
[Nitin Saxena](https://www.cse.iitk.ac.in/users/nitin/)
Indian Institute of Technology Kanpur
[Jeffrey Shallit](https://cs.uwaterloo.ca/~shallit/)
University of Waterloo
[Jesper Larsson Träff](http://www.par.tuwien.ac.at/~traff/)
TU Wien (Vienna University of Technology)
[Peter
Widmayer](http://www.pw.ethz.ch/people/person-detail.html?persid=78614)
ETH Zürich
----------------------------
------------------------------------------
##Steering committee
----------------------------
------------------------------------------
[Bogdan Chlebus](http://cse.ucdenver.edu/~bchlebus/)
University of Colorado
[Marek Karpinski](http://theory.cs.uni-bonn.de/~marek/index-en.html)
University of Bonn (chair)
[Andrzej Lingas](http://fileadmin.cs.lth.se/cs/Personal/Andrzej_Lingas/)
Lund University
[Miklos Santha](http://www.liafa.univ-paris-diderot.fr/~santha/)
CNRS and University Paris Diderot
[Eli Upfal](http://cs.brown.edu/~eli/)
Brown University
----------------------------
------------------------------------------
##Organizing committee
----------------------------
------------------------------------------
Eevi Katajainen Henningsen Jyrki Katajainen
and Company
[Jyrki Katajainen](http://hjemmesider.diku.dk/~jyrki/) University of
Copenhagen (chair)
----------------------------
------------------------------------------
##Contact
For further information, please send an e-mail to
[Jyrki Katajainen](mailto:jyrki at di.ku.dk).
More information about the CPM-SPIRE-L
mailing list