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
Approximation algorithmsOnline algorithmsDistributed/parallel algorithms+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 더 보기