9th Workshop on Practical Aspects of Automated Reasoning
Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers
This is a draft program, and might still change slightly.
| Tuesday, July 2 | |
|---|---|
| Session 1 | |
| 09:00-10:00 | Martina Seidl (invited talk), title: Solution-Counting for Quantified Boolean Formulas |
| 10:00-10:30 | TPTP World Infrastructure for Non-classical Logics Alexander Steen and Geoff Sutcliffe |
| Coffee break | |
| Session 2 | |
| 11:00 - 11:30 | Producing shorter congruence closure proofs in a state-of-the-art SMT solver Bruno Andreotti, Haniel Barbosa and Oliver Flatt |
| 11:30 - 12:00 | SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus Julie Cailler and Simon Guilloud |
| 12:00 - 12:30 | Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics Guy Axelrod and Willem Conradie |
| Lunch break | |
| Session 3 | |
| 14:00 - 15:00 | André Platzer (invited talk), title: Uniform Substitution. or: How I Learned to Stop Worrying and Love the Substitution |
| 15:00 - 15:30 | A Natural-Language Proof Assistant for Higher-Order Logic Adam Dingle |
| 15:30 - 16:00 | Cautious Specialization of Strategy Schedules Filip Bártek, Karel Chvalovský and Martin Suda |
| Coffee break (end of workshop) |