Foundations of Software Technology and Theoretical Computer Science
摘要截稿:
全文截稿: 2019-07-17
开会时间: 2019-12-11
会议难度:
CCF分类: C类
会议地点: Bombay, India
Overview
IARCS, the Indian Association for Research in Computing Science, announces the 39th Foundations of Software Technology and Theoretical Computer Science conference at IIT Bombay. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Representative areas include, but are not limited to, the following.
Track A
Algorithms and Data Structures
Algorithmic Graph Theory and Combinatorics
Approximation Algorithms
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
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
Model Checking and Reactive Synthesis
Models of Concurrent, Distributed and Mobile Systems
Models of Timed, Reactive, Hybrid and Stochastic Systems
Model Theory
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Security protocols
Theorem Proving and Decision Procedures