PAAR PROGRAM
Thursday, July 19th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 131D: Welcome and Invited Talk
Chair:
Location: Maths LT3
09:00 | The CakeML Verified Compiler and Toolchain (abstract) |
10:00 | Dynamic Strategy Priority: Empower the strong and abandon the weak (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 133D: Automated Reasoning I
Chair:
Location: Maths LT3
11:00 | A Verified Simple Prover for First-Order Logic (abstract) |
11:30 | Proof Search Optimizations for Non-clausal Connection Calculi (abstract) |
12:00 | TFX: The TPTP Extended Typed First-order Form (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 135D: Automated Reasoning II
Chair:
Location: Maths LT3
14:00 | Efficient translation of sequent calculus proofs into natural deduction proofs (abstract) |
14:30 | Set of Support for Higher-Order Reasoning (abstract) |
15:00 | Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (abstract) |
15:30-16:00Coffee Break