|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Abou-Msabah, Slimane | | Amendola, Giovanni | | B | Baba Ali, Ahmed Riadh | | Baioletti, Marco | | Bertozzi, Davide | | D | Di Pompeo, Silvia | | Dodaro, Carmine | | E | Ehrig, Rainald | | F | Faber, Wolfgang | | Finzi, Alberto | | G | Gavanelli, Marco | | Guarneri, Riccardo | | K | Kjellerstrand, Håkan | | L | Lanciotti, Filiberto | | Leeners, Brigitte | | M | Mancini, Toni | | Mari, Federico | | Massini, Annalisa | | Melatti, Igor | | Milani, Alfredo | | N | Nonato, Maddalena | | O | Oddi, Angelo | | P | Peano, Andrea | | R | Rasconi, Riccardo | | Ricca, Francesco | | Röblitz, Susanna | | S | Sagr, Basma | | Salvo, Ivano | | Santucci, Valentino | | Scialanca, Agostino | | Sinisi, Stefano | | T | Tarau, Paul | | Tronci, Enrico | | V | Vallati, Mauro | | W | Wallace, Richard | | Z | Zhou, Neng-Fa | |
|
|