Foundations of Software Technology and Theoretical Computer Science
摘要截稿:
全文截稿: 2017-07-24
开会时间: 2017-12-15
会议难度:
CCF分类: C类
会议地点: Kanpur, India
Overview
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