中国计算机学会（CCF）推荐学术会议-C（计算机科学理论）：FSTTCS 2025

FSTTCS 2025

FSTTCS 2025 is the 45th 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.

所属领域：计算机科学理论

CCF推荐：C

录用率：48.4%（2019年）

时间地点：2025年12月17日-果阿（印度）

截稿时间：2025年7月4日

大会议题

Track A

·Algebraic Complexity

·Algorithms and Data Structures

·Algorithmic Graph Theory and Combinatorics

·Approximation Algorithms

·Combinatorial Optimization

·Communication Complexity

·Computational Geometry

·Computational Learning Theory

·Cryptography and Security

·Data Streaming and Sublinear algorithms

·Economics and Computation

·Foundations of Machine Learning

·Parallel, Distributed and Online Algorithms

·Parameterized Complexity

·Proof Complexity

·Quantum Computing

·Randomness in Computing

·Theoretical Aspects of Computational Biology

·Theoretical Aspects of Mobile and High-Performance Computing

Track B

·Automata, Games and Formal Languages

·Formal Methods

·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

·SAT and SMT solving

·Security protocols

·Specification, Verification and Synthesis

·Theorem Proving and Decision Procedures