FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BDHJKLMNOPSW
B
Bhaskar, Siddharth
Bojanczyk, Mikolaj
D
Dal Lago, Ugo
Das, Anupam
H
Hermenegildo, Manuel V.
J
Jost, Steffen
K
Klemen, Maximiliano
L
Lindell, Steven
Liqat, Umer
Lopez-Garcia, Pedro
M
Müller, Moritz
N
Nigam, Vivek
O
Oitavem, Isabel
P
Pich, Ján
Pin, Edwin
S
Sannella, Don
W
Weinstein, Scott