|
|
|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
All CFPs on WikiCFP | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Present CFP : 2026 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the premier international computer science conference in India, and takes place each year in December since 1981. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
FSTTCS 2026 is the 46th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. Within Track B, there is a focus on soliciting submissions in the areas of Programming Languages and Practical Verification, in addition to theoretical results. Venue FSTTCS 2026 will be held in IIT Delhi, New Delhi, India during December 16–18, 2026. The conference is being organized as an in-person event. List of topics Track A Algebraic Complexity Algorithms and Data Structures Algorithmic Graph Theory and Combinatorics Approximation Algorithms Combinatorial Optimization Communication Complexity Computational Geometry Computational Learning Theory Cryptography and Security Data Streaming and Sublinear algorithms Economics and Computation Foundations of Machine Learning Parallel, Distributed and Online Algorithms Parameterized Complexity Proof Complexity Quantum Computing Randomness in Computing Theoretical Aspects of Computational Biology Theoretical Aspects of Mobile and High-Performance Computing Track B Automata, Games and Formal Languages Logic in Computer Science Modal and Temporal Logics Models of Concurrent, Distributed and Mobile Systems Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems Finite Model Theory and Database Theory Formal Methods Principles and Semantics of Programming Languages Program Analysis and Transformation Specification, Verification and Synthesis Analysis and Verification of AI Theorem Proving and Decision Procedures SAT and SMT solving Formal Analysis of Security and Privacy | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
