FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LINEARITY/TLLA PRE-PROCEEDINGS: AUTHOR INDEX
A
Alves, Sandra
C
Cervesato, Iliano
D
Dabrowski, Yoann
de Paiva, Valeria
E
Eades Iii, Harley
G
Galal, Zeinab
Guerrieri, Giulio
H
Hasegawa, Masahito
J
Jiang, Jiaming
K
Kerjean, Marie
Khan, Sharjeel
Kokke, Wen
L
Lescanne, Pierre
Luo, Zhaohui
M
Maieli, Roberto
Manzonetto, Giulio
Montesi, Fabrizio
N
Nguyễn, Lê Thành Dũng
O
Olarte, Carlos
Olimpieri, Federico
P
Paolini, Luca
Pellissier, Luc
Peressotti, Marco
Pimentel, Elaine
Pistone, Paolo
R
Reis, Giselle
Roversi, Luca
S
Seiller, Thomas
V
Vaux Auclair, Lionel
Z
Zorzi, Margherita
Zunic, Dragisa