|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Alglave, Jade | | B | Barany, Gergö | | Benton, Nick | | C | Castellan, Simon | | Combette, Guillaume | | F | Fiore, Marcelo | | Forster, Yannick | | G | Ghica, Dan R. | | L | Larchey-Wendling, Dominique | | Levy, Paul Blain | | M | Madiot, Jean-Marie | | Melliès, Paul-André | | Munch-Maccagnoni, Guillaume | | Muroya, Koko | | T | Talvik, Tõnn | | U | Uustalu, Tarmo | | W | Waugh Ambridge, Todd | |
|
|