The First IFIP International Conference on
Topics in Theoretical Computer Science (TTCS 2015)
August 26-28, 2015
Institute for Research in Fundamental Sciences (IPM)
Photos of the conference are available. Click here.
TTCS is a new bi-annual conference series, intending to serve as a forum for
novel and high-quality research in all areas of Theoretical Computer Science.
The conference is held in cooperation with the European Association for Theoretical Computer Science.
There will be a number of satellite events at TTCS,
These will feature presentation of early research results, and position papers.
There will also be a forum for Ph.D. students to receive comments about their ongoing
Topics of interest include but are not limited to:
algebra and co-algebra in computer science,
algorithms and data structures,
- algorithmic coding theory,
algorithmic graph theory and combinatorics,
- approximation algorithms,
- computational complexity,
- computational geometry,
- computational learning theory,
- concurrency theory,
- coordination languages,
- economics and algorithmic game theory,
- fixed parameter algorithms,
- formal verification and model-based testing,
- logic in computer science,
- machine learning
- methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
- parallel and distributed algorithms,
- quantum computing,
- randomness in computing,
- stochastic and probabilistic specification and reasoning
- theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking,
- theoretical cryptography,
- theory of programming languages, and
- type theory and its application in program verification.
For the main conference, we solicit research papers
in all areas of theoretical computer science.
All papers will undergo a rigorous review process and will be judged based
on their originality,
soundness, significance of the results, and relevance to the theme of the conference.
Papers should be written in English. Research papers should not exceed 15
pages in the LNCS style format.
Multiple and/or concurrent submission to other scientific venues is not
allowed and will result in rejection as well as notification to the other
venue. Any case of plagiarism (including self-plagiarism from earlier publications) will
result in rejection as well as notification to the the authors' institutions.
All accepted papers will be published in the post-proceedings of the conference in the Lecture
Notes in Computer Science series by Springer.
Papers should be submitted through our EasyChair submission website:
https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions.
| May 15, 2015 May 22, 2015
June 26, 2015
Camera ready paper due
July 10, 2015
August 26-28, 2015