Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C D F G H K L M P S T Z

A
Affeldt, Reynald	Formalization of Error-correcting Codes using SSReflect
B
Bengtson, Jesper	Automating Abstract Logics Coqoon: towards a modern IDE for Coq
C
Chlipala, Adam	Automating Abstract Logics
D
Dénès, Maxime	QuickChick: Property-Based Testing for Coq
F
Faithfull, Alexander	Coqoon: towards a modern IDE for Coq
G
Garrigue, Jacques	Formalization of Error-correcting Codes using SSReflect
Gross, Jason	Presentation of Three Neat Tricks in Coq 8.5
H
Heras, Jónathan	Proof-Pattern Search in Coq/SSReflect
Hritcu, Catalin	QuickChick: Property-Based Testing for Coq
K
Komendantskaya, Ekaterina	Proof-Pattern Search in Coq/SSReflect
L
Lampropoulos, Leonidas	QuickChick: Property-Based Testing for Coq
Licata, Daniel	What is Homotopy Type Theory?
M
Malecha, Gregory	Automating Abstract Logics
P
Paraskevopoulou, Zoe	QuickChick: Property-Based Testing for Coq
Pierce, Benjamin C.	QuickChick: Property-Based Testing for Coq
S
Schäfer, Steven	Autosubst: Automation for de Bruijn Substitutions
Smolka, Gert	Autosubst: Automation for de Bruijn Substitutions
Sozeau, Matthieu	Towards a better-behaved unification algorithm for Coq Proof-relevant rewriting strategies in Coq
Sozeau, Matthieu	Update on Coq 8.5
T
Tankink, Carst	Asynchronous interaction for Coq
Tebbi, Tobias	Autosubst: Automation for de Bruijn Substitutions
Z
Ziliani, Beta	Towards a better-behaved unification algorithm for Coq