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

CYBI 2024: 11thInternational Conference on Cybernetics & Informatics
Melbourne, Australia
Apr 20, 2024
ITCC 2024: ACM--2024 6th International Conference on Information Technology and Computer Communications (ITCC 2024)
Singapore
Oct 25, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
Web3D 2024 2024: 3D Technologies for the World Wide Web
Guimarães, Portugal
Sep 25, 2024
HUMAD 2024: [Scopus] [ACM] International Workshop on Human-Centered Modeling and Adaptation for Digital Transformation
Cagliari, Italy; also online
Jul 1, 2024
SHOW ALL

OTHER MACHINE LEARNING EVENTS

NLPAI 2024: 2024 5th International Conference on Natural Language Processing and Artificial Intelligence (NLPAI 2024)
Chongqing, China
Jul 12, 2024
ICAITE 2024: 2024 the International Conference on Artificial Intelligence and Teacher Education (ICAITE 2024)
Beijing, China
Oct 12, 2024
DL for Neuro-heuristic Brain Analysis 2024: Workshop on Deep Learning for Neuro-heuristic Brain Analysis @ ICANN'24
Lugano, Switzerland
Sep 17, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SHOW ALL

OTHER FORMAL METHODS EVENTS

ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
N/A
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Milano
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024
SHOW ALL

OTHER SECURITY EVENTS

CANS 2024: The International Conference on Cryptology and Network Security (CANS)
Cambridge, UK
Sep 24, 2024
ICTCE 2024: 2024 The 6th International Conference on Telecommunications and Communication Engineering (ICTCE 2024)--JA
Chengdu, China
Nov 22, 2024
CECSP 2024: 2024 the International Conference on Electronics, Communications, and Signal Processing (CECSP 2024)
Kunming, China
Oct 25, 2024
ICICM 2024: ACM--2024 The 14th International Conference on Information Communication and Management (ICICM 2024)
France, Paris
Nov 6, 2024
ADIP--EI 2024: 2024 6th Asia Digital Image Processing Conference (ADIP 2024)
Tokyo, Japan
Dec 14, 2024
SHOW ALL