The Second International Conference on Topics in Theoretical Computer Science(TTCS 2017)

September 12-14, 2017, Tehran, Iran

Call for Papers :

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.

Topic of Interest :

Track A: Algorithms and Complexity

• Algorithms and data structures,
• Algorithmic coding theory,
• Algorithmic graph theory and combinatorics,
• Approximation algorithms,
• Computational complexity,
• Computational geometry,
• 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.

Important Dates

• Abstract Submission : May 1, 2017
• Full Paper Submission : May 8, 2017
• Author notification : June 26, 2017
• Camera ready paper due : July 31, 2017
• Conference : September 12-14, 2017

User Name : jerish
Posted 17-01-2017 on 11:57:48 AEDT

Related CFPs

NCS 2026   18th International Conference on Network and Communications Security
CSEIT 2026   13th International Conference on Computer Science, Engineering and Information Technology (CSEIT 2026)
ORAJ   Operations Research and Applications: An International Journal
EMSA 2026   15th International Conference on Embedded Systems and Applications (EMSA 2026)