FSTTCS 2023

FSTTCS 2023 is the 43rd 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.

FSTTCS 2023 will be held in IIIT Hyderabad during December 18–20, 2023. 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 Biology
Computational Geometry
Computational Learning Theory
Cryptography and Security
Data Streaming and Sublinear algorithms
Economics and Computation
Parallel, Distributed and Online Algorithms
Parameterized Complexity
Proof Complexity
Quantum Computing
Randomness in Computing
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
Model Theory
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Security protocols
Specification, Verification and Synthesis
Theorem Proving and Decision Procedures

Submissions must be in electronic form via EasyChair using the LIPIcs LaTeX style file available here. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed.

Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference.

Pre-conference workshops: December 15–17, 2023
FSTTCS 2023: December 18–20, 2023
Satellite workshop: December 18–20, 2023
Post-conference workshop: December 21 & 22, 2023