logo
Logic

カンファレンス検索結果 (4)

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 その他

International Symposium on Theoretical Aspects of Computer Science (STACS)

Rank: AOffline
Grenoble, France
Mar 10, 2026
Algorithm DesignData StructuresComplexity+7 その他

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 Conference on Computing and Combinatorics (COCOON)

Rank: National:ChinaOffline
Singapore, Singapore
Jul 23, 2026 - Jul 25, 2026
LanguagesLogicAlgorithms and Data Structures; Algorithmic Game Theory and Mechanism Design; Approximation Algorithms and Online Algorithms; Automata+2 その他