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 بیشتر