IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
TTCS 2020 : Topics in Theoretical Computer Science
TTCS 2020 : Topics in Theoretical Computer Science

TTCS 2020 : Topics in Theoretical Computer Science

Tehran, Iran
Event Date: July 01, 2020 - July 03, 2020
Submission Deadline: February 16, 2020
Notification of Acceptance: April 12, 2020
Camera Ready Version Due: May 12, 2020




About

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.


Call for Papers

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 co-algebra 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, and
  • type theory and its application in program verification.

Submission

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.

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

Papers should be submitted through our EasyChair submission website: https://easychair.org/conferences/?conf=ttcs2020 . The web site is open for submissions.

IMPORTANT DATES

Full Paper Submission

February 16, 2020 (23:59 UTC Time)

Author Notification

April 12, 2020

Camera Ready Paper due

May 12, 2020

Conference

July 1-3, 2020



Summary

TTCS 2020 : Topics in Theoretical Computer Science will take place in Tehran, Iran. It’s a 3 days event starting on Jul 01, 2020 (Wednesday) and will be winded up on Jul 03, 2020 (Friday).

TTCS 2020 falls under the following areas: COMPUTER SCIENCE, MACHINE LEARNING, FORMAL METHODS, SECURITY, etc. Submissions for this Conference can be made by Feb 16, 2020. Authors can expect the result of submission by Apr 12, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before May 12, 2020 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TTCS 2020

  • Short Name: TTCS 2020
  • Full Name: Topics in Theoretical Computer Science
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of TTCS 2020
  • Event Type: Conference
  • Website Link: http://cs.ipm.ac.ir/ttcs/2020/index.htm
  • Location/Address: Tehran, Iran


Credits and Sources

[1] TTCS 2020 : Topics in Theoretical Computer Science


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL

OTHER MACHINE LEARNING EVENTS

ArIT 2025: 6th International Conference on Advances in Artificial Intelligence Techniques
Toronto, Canada
Jul 19, 2025
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE--Ei 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
ICHCSC 2025: 4th International Conference on Human-Centric Smart Computing (ICHCSC 2025)
Jaipur, India
Oct 10, 2025
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER SECURITY EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE--EI 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
SHOW ALL