FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: CDFGKLMNOPRTW
C
Ciabattoni, Agata
D
Dalmonte, Tiziano
Das, Anupam
F
Ferrari, Mauro
Fiorentini, Camillo
G
Galmiche, Didier
Girlando, Marianna
Grellois, Charles
K
Kawano, Tomoaki
L
Lellmann, Bjoern
Lyon, Tim
M
Marti, Michel
Mery, Daniel
N
Negri, Sara
O
Olivetti, Nicola
Orlandelli, Eugenio
P
Pattinson, Dirk
R
Ramanayake, Revantha
T
Tiu, Alwen
W
Więckowski, Bartosz