logo
Automated Deduction

컨퍼런스 결과 (5)

International Conference on Automated Deduction (CADE)

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

Conference on Intelligent Computer Mathematics (CICM)

Rank: COffline
Ljubljana, Slovenia
Sep 21, 2026 - Sep 25, 2026
automated deductioncomputer algebramathematical publishing+5 더 보기

Annual Conference on Computer Science Logic (CSL)

Rank: BHybrid
Paris, France
Feb 23, 2026
automated deductionconcurrencydistributed computation+7 더 보기

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 더 보기