FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BDEGIJKLMNPSTVW
B
Brotherston, James
D
Demri, Stéphane
E
Echenim, Mnacho
G
Galmiche, Didier
I
Iosif, Radu
J
Jovanović, Dejan
K
Kanovich, Max
Katelaan, Jens
Kimura, Daisuke
Krishna, Siddharth
L
Lozes, Etienne
Lugiez, Denis
M
Mery, Daniel
N
Nakazawa, Koji
P
Peltier, Nicolas
Pym, David
S
Shasha, Dennis
Sighireanu, Mihaela
T
Tatsuta, Makoto
V
Vafeiadis, Viktor
W
Weissenbacher, Georg
Wies, Thomas