Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D E F K M N P Q R S V W Y

B
Blackburn, Patrick	Teaching Intuitionistic Propositional Logic Using Isabelle
Boyland, John	Evolution of SASyLF 2008-2021
D
Donato, Pablo	A Drag-and-Drop Proof Tactic
Dowek, Gilles	How can we make Formal Proof Teachable?
E
Eisenhofer, Clemens	Automated Instantiation of Control Flow Tracing Exercises
F
From, Asta Halkjær	Teaching Intuitionistic Propositional Logic Using Isabelle
K
Koutny, Reinhard	Make Isabelle Accessible!
Kovács, Zoltán	Symbolic Comparison of Geometric Quantities in GeoGebra Automated Discovery of Geometrical Theorems in GeoGebra
Kumar, Ankit	Automated Grading of Automata with ACL2s
M
Manolios, Panagiotis	Automated Grading of Automata with ACL2s
Maric, Filip	Towards Next Step Guidance in Triangle Construction Problems
Marinković, Vesna	Towards Next Step Guidance in Triangle Construction Problems
Miesenberger, Klaus	Make Isabelle Accessible!
N
Neuper, Walther	Make Isabelle Accessible!
P
Pease, Adam	Learning Theorem Proving by Example - Implementing JavaRes
Perdue, Crispin	Prooftoys: a Proof Assistant for Beginners
Q
Quaresma, Pedro	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
R
Reis, Carlos	Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Riener, Martin	Automated Instantiation of Control Flow Tracing Exercises
S
Schulz, Stephan	Learning Theorem Proving by Example - Implementing JavaRes
Strub, Pierre-Yves	A Drag-and-Drop Proof Tactic
Stöger, Bernhard	Make Isabelle Accessible!
V
Vajda, Robert	Symbolic Comparison of Geometric Quantities in GeoGebra
Villadsen, Jørgen	Teaching Intuitionistic Propositional Logic Using Isabelle
W
Walter, Andrew	Automated Grading of Automata with ACL2s
Werner, Benjamin	A Drag-and-Drop Proof Tactic
Y
Yu, Jonathan H.	Automated Discovery of Geometrical Theorems in GeoGebra