logo
logical foundations

컨퍼런스 결과 (2)

International Conference on Automated Deduction (CADE)

Rank: AOffline
Stuttgart, Germany
Jul 28, 2025 - Aug 2, 2025
Automated Deductionlogical foundationstheory and principles+2 더 보기

International Conference on Mathematical Foundations of Programming Semantics (MFPS)

Rank: BOffline
Ljubljana, Slovenia
Jun 1, 2026
logical foundationssemantics of high-level programming languagesmathematical foundations