logo
Logic

会议结果 (4)

International Conference on Principles and Practice of Declarative Programming (PPDP)

Rank: COffline
University of Calabria, Rende, Italy
Sep 10, 2025 - Sep 11, 2025
Declarative Programmingfunctionallogic+2 更多

International Symposium on Theoretical Aspects of Computer Science (STACS)

Rank: AOffline
Grenoble, France
Oct 3, 2026
Algorithm DesignData StructuresComplexity+7 更多

International Joint Conference on Automated Reasoning (IJCAR)

Rank: AOffline
Lisbon, Portugal
Jul 26, 2026 - Jul 29, 2026
Automated ReasoningLogicComputer Science+7 更多

International Conference on Computing and Combinatorics (COCOON)

Rank: National:ChinaOffline
Singapore, Singapore
Jul 23, 2026
Algorithms and Data Structures; Algorithmic Game Theory and Mechanism Design; Approximation Algorithms and Online Algorithms; AutomataLanguagesLogic+2 更多