Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B G K L R S T W

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