Work in Progress
Derivations and Interpretations
Reasoning in Reality
CASC vs. IPVC
- CASC will run at CADE
- IPVC will run at IJCAR
- The IJCAR Proof Verification Competition
- With Julie Callier and Simon Guilloud
- Technical matters to be resolved
- Main problem - need a name with a decent acronym