List of Notable Events

Proof Summit 2025 in Tokyo, Japan

Workshop on Automated (Co)inductive Theorem Proving 2024 in Nancy, France