ITP (Interactive Theorem Proving) Conference

The ITP (Interactive Theorem Proving) Conference is an international gathering focused on advances in formal methods and automated reasoning through interactive software tools. Experts and researchers share developments in verifying complex mathematical proofs, software correctness, and logical systems, often using specialized computer programs. The conference fosters collaboration, showcases innovative techniques, and discusses challenges in ensuring the reliability of critical systems by formally proving their properties. It serves as a platform for advancing the science of constructing and checking proofs with computer assistance, ultimately contributing to safer and more dependable software and mathematical understanding.