Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact ocs_support@springer.com for further guidance.


Welcome to the conference service of SOFSEM-FOCS2017

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:Foundations Of Computer Science
Description:Last year's Subtopics to be adapted in cooperation with the PC Chair: * algorithms and data structures, including approximation, sequential, distributed, parallel, online, randomized, or graph algorithms, * automata and formal languages, including grammars and rewriting, * complexity theory, including computational, descriptional, and parametrized, * computational game theory, * decidability and undecidability questions, * discrete mathematics related to computer science, * logic in computer science, * quantum computing, algorithms, and complexity
PC Chairs:Pavel Tyl
Tiziana Margaria
Christel Baier
Bernhard Steffen
Conference flow: Abstract Submission: August 10, 2016 23:59 CEST,
Paper Upload: August 10, 2016 23:59 CEST,
Bidding for Review: August 12, 2016 23:59 CEST,
Assignment of Reviewers: August 14, 2016 23:59 CEST,
Review: September 25, 2016 23:59 CEST,
Decision: October 7, 2016 23:59 CEST,
Final: October 30, 2016 23:59 CET

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair