|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Arcucci, Rossella | | D | Dohrau, Jérôme | | Dovier, Agostino | | E | Ehlers, Thorsten | | I | Igne, Federico | | L | Lustig, Daniel | | M | Manerkar, Yatin | | Marotta, Umberto | | Martonosi, Margaret | | Murano, Aniello | | Müller, Peter | | Münger, Severin | | N | Nowotka, Dirk | | O | Osama, Muhammad | | P | Pellauer, Michael | | Pontelli, Enrico | | S | Safranek, David | | Sorrentino, Loredana | | Summers, Alexander | | U | Urban, Caterina | | V | van Dijk, Tom | | W | Wijs, Anton | |
|
|