PROGRAM
Monday, July 1st
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 1: Invited Talk - Larry Paulson
| 09:30 | Sledgehammer: a Saga |
11:00-12:30 Session 2: Contributed Talks
| 11:00 | Synthesis of the Floored Division Function in Saturation (abstract) |
| 11:30 | Efficient execution of runtime-specialized code (abstract) |
| 12:00 | Efficient Heuristics in First-Order Theorem Proving (abstract) |
14:00-14:30 Session 3: Contributed Talk, jointly with the TPTP Tea Party
| 14:00 | Vampire's Question Answering Revis(it)ed Again |