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