UITP 2014 PROCEEDINGS

Editors: Bruno Woltzenlogel Paleo and Christoph Benzmüller

Authors	Title	Talk
Geoff Sutcliffe	The TPTP Process Instruction Language, with Applications	Jul 17 09:15
Enrico Tassi	Asynchronous Processing of Formal Documents in Coq	Jul 17 14:30
Andrew Butterfield	UTP2: Higher-Order Equational Reasoning by Pointing	Jul 17 17:30
Sarah Grebing, Bernhard Beckert and Florian Böhl	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers	Jul 17 11:15
Gudmund Grov, Aleks Kissinger and Yuhui Lin	Tinker, tailor, solver, proof	Jul 17 10:45
Tomer Libal, Martin Riener and Mikheil Rukhaia	Advanced Proof Viewing in PROOFTOOL	Jul 17 11:45
Florian Rabe	A Logic-Independent IDE	Jul 17 17:00
Christian Sternagel and René Thiemann	The Certification Problem Format	Jul 17 12:15
Carst Tankink	PIDE for Asynchronous Interaction with Coq	Jul 17 15:30
Makarius Wenzel	System description: Isabelle/jEdit in 2014	Jul 17 16:30