
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B  Bhayat, Ahmed   D  Dixon, Clare   E  Ebner, Gabriel   F  From, Andreas Halkjær   H  Hustadt, Ullrich   K  Kotelnikov, Evgenii   M  Myreen, Magnus O.   N  Nalon, Cláudia   O  Otten, Jens   R  Rawson, Michael   Reger, Giles   S  Schlaipfer, Matthias   Schlichtkrull, Anders   Sutcliffe, Geoff   V  Villadsen, Jørgen  

