ITP
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Metrics
- CORE rank
- B CORE / ICORE
- Editions tracked
- 6
- Running since
- 2011
About ITP
- Full name
- Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
- Subfields
- Theory
- Field of research
- Theory of computation (FoR 4613)
- Latest edition
- Pernik, Bulgaria, 2024
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- BCORE
AAAAECCInternational Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
- BCORE
AIMLAdvances in Modal Logic
- BCORE
DMTCSInternational Conference on Discrete Mathematics and Theoretical Computer Science
- BCORE
ALEXAlgorithms and Experiments
- BCORE
CASCComputer Algebra in Scientific Computing
- BCORE
ALPInternational Conference on Algebraic and Logic Programming
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences