logo
interactive theorem proving

컨퍼런스 결과 (2)

Conference on Interactive Theorem Proving (ITP)

Rank: AOffline
Reykjavik, Iceland
Sep 29, 2025 - Oct 2, 2025
Interactive Theorem ProvingProgram VerificationSecurity+1 더 보기

Annual Conference on Computer Science Logic (CSL)

Rank: BHybrid
Paris, France
Feb 23, 2026
interactive theorem provingequational logicterm rewriting+7 더 보기