FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: ABCDEHMNPRSUW
A
Altenkirch, Thorsten
Angiuli, Carlo
B
Birkedal, Lars
Buchholtz, Ulrik
C
Cavallo, Evan
Clouston, Ranald
D
Devriese, Dominique
E
Escardó, Martín
H
Harper, Robert
Helfer, Joseph
Herbelin, Hugo
Hou Favonia, Kuen-Bang
M
Mannaa, Bassel
Morehouse, Edward
Møgelberg, Rasmus
N
Newstead, Clive
Nuyts, Andreas
P
Petrakis, Iosif
Pitts, Andrew
R
Rodin, Andrei
S
Sato, Genki
Spitters, Bas
Sterling, Jonathan
U
Uemura, Taichi
W
Weinberger, Jonathan
Wellen, Felix