FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PC ABSTRACTS: AUTHOR INDEX
Shortcuts: BCDGHIJKMPST
B
Beyersdorff, Olaf
Blinkhorn, Joshua
Bonet, Maria
Buss, Sam
C
Capelli, Florent
Clymo, Judith
D
Dantchev, Stefan
Das, Anupam
de Wolff, Timo
Dressler, Mareike
G
Galesi, Nicola
H
Hinde, Luke
I
Ignatiev, Alexey
J
Jeřábek, Emil
K
Kauers, Manuel
Knop, Alexander
Kolokolova, Antonina
Kurpisz, Adam
M
Marques-Silva, Joao
Martin, Barnaby
Morgado, Antonio
P
Part, Fedor
S
Seidl, Martina
T
Tzameret, Iddo