IARCS, the Indian Association for Research in Computing Science, announces the 38th Foundations of Software Technology and Theoretical Computer Science conference at the Ahmedabad University, in Ahmedabad, Gujarat (December 10–14, 2018). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Pre-conference workshop: 10-December
Conference: 11, 12, 13 December
Post-conference workshop: 14-December
Representative areas include, but are not limited to, the following.
- Algorithms and Data Structures
- Algorithmic Graph Theory and Combinatorics
- Approximation Algorithms
- Automata, Games and Formal Languages
- Combinatorial Optimization
- Communication Complexity
- Computational Biology
- Computational Complexity
- Computational Geometry
- Computational Learning Theory
- Cryptography and Security
- Data Streaming and Sublinear algorithms
- Game Theory and Mechanism Design
- Logic in Computer Science
|
- Model Theory, Modal and Temporal Logics
- Models of Concurrent and Distributed Systems
- Models of Timed, Reactive, Hybrid and Stochastic Systems
- Parallel, Distributed and Online Algorithms
- Parameterized Complexity
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Proof Complexity
- Quantum Computing
- Randomness in Computing
- Specification, Verification, and Synthesis
- Theorem Proving, Decision Procedures, Model Checking and Reactive Synthesis
- Theoretical Aspects of Mobile and High-Performance Computing
|