TTCS is a 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 (EATCS). The proceedings will be published in the Springer LNCS series.

Important Dates

Full Paper Submission: January 12, 2020
Author notification: March 12, 2020
Camera-ready paper: April 1, 2020
Conference: July 1-3, 2020

Venue

The conference will be held in the Institute for Research in Fundamental Sciences (IPM), Tehran, Iran.

Submission Guidelines

Research papers are solicited 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. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. 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 authors' institutions.

List of Topics

TTCS is organized in 2 tracks. Topics of interest include but are not limited to:

Track A: Algorithms and Complexity

- algorithms and data structures,
- algorithmic coding theory,
- algorithmic graph theory and combinatorics,
- approximation algorithms,
- computational complexity,
- computational geometry,
- computational learning theory,
- economics and algorithmic game theory,
- fixed-parameter algorithms,
- machine learning,
- optimization,
- parallel and distributed algorithms,
- quantum computing,
- randomness in computing,
- theoretical cryptography.

Track B: Logic, Semantics, and Programming Theory

- algebra and coalgebra in computer science,
- concurrency theory,
- coordination languages,
- formal verification and model-based testing,
- logic in computer science,
- methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
- stochastic and probabilistic specification and reasoning,
- theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking,
- theory of programming languages,
- type theory.

Programme Committee

Track A: Algorithms and Complexity
Chair: Mohammad Ali Abam, Sharif University of Technology, Iran

Sepehr Assadi, Rutgers University, USA
Mohammad Hossein Bateni, GoogleRresearch, USA
Salman Beigy, IPM, Iran
Hossein Esfandiari, Harvard University, USA
Omid Etesami, IPM, Iran
Marc van Kreveld, Utrecht University, Netherlands
Mohammad Mahdian, Google Research, USA
Mohammad Mahmoody, University of Virginia, USA
Vahab Mirrokni, Google Research, USA
Gunter Rote, FU Berlin, Germany
Mohammadreza Salavatipour, University of Alberta, Canada
Masoud Seddighin, IPM, Iran
Saeed Seddighin, Harvard University, USA
Michiel Smid, Carleton Univesity, Canada
Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran  

Track B: Logic, Semantics, and Programming Theory
Chair: Luis S. Barbosa, University of Minho, Portugal

Farhad Arbab, CWI, The Netherlands
Kyungmin Bae, Pohang University of Science and Technology, South Korea
Christel Baier, Technische Universitat Dresden, Germany
Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil
Simon Bliduze, INRIA Lille, France
Filippo Bonchi, University of Pisa, Italy
Marcello Bonsangue, University of Leiden, The Netherlands
Flavio Corradini University of Camerino, Italy
Fredrik Dahlqvist, UCL, UK
Sergey Goncharov, FAU Erlangen-Nurnberg, Germany
Hossein Hojjat, Rochester Institute of Technology, USA
Mohammad Izadi, Sharif University of Technology, Iran
Sung-Shik Jongmans, Open University, The Netherlands
Alexander Knapp, University of Augsburg, Germany
Jan Kretinsky, Munich University of Technology, Germany
Alexandre Madeira, University of Aveiro, Portugal
Stefan Mitsch, Carnegie Mellon University, USA
Mohammad Reza Mousavi, University of Leicester, UK
Renato Neves, INESC TEC, Portugal
Peter Olveczky, University of Oslo, Norway
Prakash Panangaden, McGill University, Canada
Elaine Pimentel, UFRN, Brazil
Subodh Sharma, IIT Delhi, India
Pawel Sobocinski, Taltech, Estonia
Ana Sokolova, University of Salzburg, Austria
Carolyn Talcott, Stanford University, USA
Benoit Valiron, LRI, France
Naijun Zhan, Chinese Academy of Science, China

Invited Speakers

(tba)

Publication

TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP).