Thursday, July 15th
Thursday's program is also available with abstracts and side by side with other events.
09:30‑10:00 Session 1
Location: DSB G.06
| 09:30 | John Slaney Visualising Reasoning: What ATP can learn from CP |
10:30‑12:30 Session 2
Location: DSB G.06
| 10:30 | Makarius Wenzel Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |
| 11:00 | Holger Gast Engineering the Prover Interface |
| 11:30 | Carst Tankink, Herman Geuvers and James McKinna Narrating Formal Proof (Work in Progress) |
| 12:00 | Freek Wiedijk Pollack-inconsistency |
14:00‑15:00 Session 3
Location: DSB G.06
| 14:00 | Tuan Minh Pham and Yves Bertot A combination of a dynamic geometry software with a proof assistant for interactive formal proofs |
| 14:30 | Vladimir Komendantsky, Alexander Konovalov and Steve Linton Interfacing Coq + SSReflect with GAP |
15:30‑16:30 Session 4
Location: DSB G.06
| 15:30 | Andrei Lapets and Assaf Kfoury A User-friendly Interface for a Lightweight Verification System |
| 16:00 | Laura Meikle and Jacques Fleuriot Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette |
16:30‑18:00 Session 5
Location: DSB G.06
| 16:30 | UITP Steering/Programme Committee Business Meeting and After Hours Demos |