会议信息
ICALP 2025 : International Colloquium on Automata, Languages and Programming
https://conferences.au.dk/icalp2025
会议地点:
通知日期:
截稿日期:
会议日期:
领域:
届数:
Denmark,Denmark
2025-04-14
2025-02-08
2025-07-08
计算机科学理论
52
CE:B    CCF:B    CORE:A   QUALIS:无
征稿信息
Topics Papers presenting original research on all aspects of theoretical computer science are sought. Typical, but not exclusive, topics of interest are: Track A: Algorithms, Complexity and Games Algorithmic and computational complexity aspects of biological and social networks Algorithmic Aspects of Security and Privacy Algorithmic Game Theory and Mechanism Design Approximation algorithms Combinatorial Optimization Combinatorics in Computer Science Computational Complexity Computational Geometry Computational Learning Theory Cryptography Data Structures Design and Analysis of Algorithms Distributed and Mobile Computing Dynamic Algorithms Foundations of Machine Learning Graph Mining and Network Analysis Online Algorithms Parallel and External Memory Computing Parameterized Complexity Quantum Computing Randomness in Computation Sublinear Time and Streaming Algorithms Theoretical Foundations of Algorithmic Fairness Track B: Automata, Logic, Semantics, and Theory of Programming Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory, Constraint Satisfaction Problems, and Finite Model Theory Formal and Logical Aspects of Learning Formal and Logical Aspects of Security and Privacy Logic in Computer Science and Theorem Proving Models of Computation: Complexity and Computability Models of Concurrent, Distributed, and Mobile Systems Models of Reactive, Hybrid, and Stochastic Systems Principles and Semantics of Programming Languages Program Analysis, Verification, and Synthesis Type Systems and Typed Calculi
关键词:
关于会议之眼
致力于为广大用户提供面向计算机领域的最新会议动态和学术热点。 会议之眼倡导社会奉献与公益性,力求建立公平、公正、科学的国际/国内会议评价体系,为大家提供更全面的、更富有学术价值的参考。
联系我们
邮箱
公众号
小程序
微信