posted by user: sadegh_rk || 2555 views || tracked by 2 users: [display]

TTCS 2020 : Topics in Theoretical Computer Science

FacebookTwitterLinkedInGoogle

Link: http://cs.ipm.ac.ir/ttcs/2020/index.htm
 
When Jul 1, 2020 - Jul 3, 2020
Where IPM - Iran
Submission Deadline Feb 16, 2020
Notification Due Apr 12, 2020
Final Version Due May 12, 2020
Categories    computer sience   machine learning   formal methods   security
 

Call For Papers

The Third IFIP International Conference on
Topics in Theoretical Computer Science (TTCS 2020)

July 1-3, 2020
Institute for Research in Fundamental Sciences (IPM)
Tehran, Iran

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.

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.

Related Resources

ICDM 2020   20th IEEE International Conference on Data Mining
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
IEEE-CC 2020   First IEEE International Conference on Conversational Computing
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
KJAR 2020   Call for Paper: Kurdistan Journal of Applied Research - Volume 5 - issue 1 - June 2020
ACM--ICMLC--Ei and Scopus 2020   ACM--2020 12th International Conference on Machine Learning and Computing (ICMLC 2020)--SCOPUS, Ei Compendex
ICSTR Osaka 2020   ICSTR Osaka – International Conference on Science & Technology Research, 14-15 October 2020