Program of UITP

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