全文截稿:2017-07-24
名称:Foundations of Software Technology and Theoretical Computer Science
领域:计算机理论
CCF分类:C
难度:★★★
地点:Kanpur, India
网址:http://www.fsttcs.org/
IARCS, the Indian Association for Research in Computing Science, announces the 37th Foundations of Software Technology and Theoretical Computer Science conference at the Indian Institute of Technology, Kanpur. 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.
-Algorithms and Data Structures
-Algorithmic Graph Theory and Combinatorics
-Approximation Algorithms
-Automata and Formal Languages
-Combinatorial Optimization
-Communication Complexity
-Computational Biology
-Computational Complexity
-Computational Geometry
-Computational Learning Theory
-Cryptography and Security
-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, and Model Checking
-Theoretical Aspects of Mobile and High-Performance Computing