PXTP-7 PROGRAM
Sunday, July 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:00-09:00 Session 2D: PxTP Workshop: Invited Talk
Location: ZoomRoom 2
| 08:00 | Proof Generation in CDSAT |
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