logo
Proof theory

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

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 その他

Advances in Modal Logic (AiML)

Rank: BOffline
Amsterdam, The Netherlands
Jun 29, 2026 - Jul 3, 2026
Proof theoryautomated deductiondescription logics+8 その他

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 その他