ARCADE 2021 PROGRAM
Friday, July 16th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:00-10:00 Session 35A: Theorem Proving: Theory and Practice
Chair:
Location: ZoomRoom 1
| 08:00 | Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic (abstract) |
| 08:30 | Search Spaces for Theorem Proving Strategies (abstract) |
| 09:00 | On Evaluating Theorem Provers (abstract) |
| 09:30 | Relevance and Abstraction (abstract) |
10:00-10:30Break
10:30-11:30 Session 37A: TPTP World
Chair:
Location: ZoomRoom 1
| 10:30 | The Expansion, Modernisation, and Future of the TPTP World (abstract) |
| 11:00 | Management of the TPTP Problem Set (abstract) |
12:00-12:30Break
14:00-14:30Break