CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PXTP-7 PROGRAM
Sunday, July 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 3: PxTP Workshop: Certifying Transformations
Location: ZoomRoom 2
09:00
A Framework for Proof-Carrying Logical Transformations (abstract)
09:30
General Automation in Coq through Modular Transformations (abstract)
10:00-10:30Break
10:30-11:30 Session 4D: PxTP Workshop: Invited Talk
Location: ZoomRoom 2
10:30
Reasoning in Many Logics with Vampire: Everything's CNF in the End
11:30-12:30 Session 5: PxTP Workshop: Use Cases
Location: ZoomRoom 2
11:30
Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant (extended abstract) (abstract)
12:00-12:30Break
12:30-13:10 Session 6D: PxTP Workshop: Generating and Using Proofs
Location: ZoomRoom 2
12:30
Certifying CNF Encodings of Pseudo-Boolean Constraints (extended abstract) (abstract)
12:50
Alethe: Towards a Generic SMT Proof Format (Extended Abstract) (abstract)
14:00-14:30Break