|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
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 | |
|
|