View source for FCT 2015

{{Event
|Acronym=FCT 2015
|Title=20th Fundamentals of Computation Theory
|Ordinal=20
|Series=FCT
|Type=Symposium
|Start date=2015/08/17
|End date=2015/08/19
|Submission deadline=2015/04/26
|Homepage=https://sites.google.com/site/fct2015gdansk/
|City=Gdansk
|Country=Poland
|Has coordinator=Gdańsk University of Technology, Gdansk University
|has general chair=Pawel Zylinski
|has program chair=Adrian Kosowski, Igor Walukiewicz
|has Keynote speaker=Peter Widmayer, Marek Karpinski, Antonin Kucera, Claus-Peter Schnorr
}}
The 20th Fundamentals of Computation Theory (FCT) 2015

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


==Submissions==
Submissions must be made electronically via the EasyChair website in PDF format and 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. 

It is expected that the full version of each submitted paper should be ready at the time of submission. Any proofs or additional material which do not fit into the submission page limit must be provided in a clearly marked Appendix, to be read at the discretion of the Program Committee. Alternatively, authors can provide a full version of their paper in the Appendix, or upload the full version of the paper to a public repository (such as arXiv or hal) and provide the appropriate reference within the EasyChair submission.


==Important Dates==
Submission deadline:  April 25, 2015 April 26, 2015, AoE (resubmission possible until April 29, AoE)<br>
Notification to authors: June 4, 2015<br>
Final version: June 12, 2015<br>
Symposium: August 17-19, 2015
Acceptance rate	45.0 +
Accepted papers	27 +
Acronym	FCT 2015 +
End date	August 19, 2015 +
Event in series	FCT +
Event type	Symposium +
Has Keynote speaker	Peter Widmayer +, Marek Karpinski +, Antonin Kucera + and Claus-Peter Schnorr +
Has coordinates	54° 21' 41", 18° 37' 42"Latitude: 54.361433333333 Longitude: 18.628219444444 +
Has coordinator	Gdańsk University of Technology + and Gdansk University +
Has general chair	Pawel Zylinski +
Has location city	Gdansk +
Has location country	Category:Poland +
Has program chair	Adrian Kosowski + and Igor Walukiewicz +
Homepage	https://sites.google.com/site/fct2015gdansk/ +
IsA	Event +
Notification	June 4, 2015 +
Ordinal	20 +
Start date	August 17, 2015 +
Submission deadline	April 26, 2015 +
Submitted papers	60 +
Title	20th Fundamentals of Computation Theory +