FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Adams, Robin
Asadi, Sepideh
Athanasiou, Konstantinos
B
Beckert, Bernhard
Bingmann, Timo
Bohrer, Brandon
C
Cheng, Chih-Hong
Cherif, Mohamed Sami
Chockler, Hana
Chrząszcz, Jacek
Coglio, Alessandro
Cok, David
Cook, Byron
Crary, Karl
Czarnik, Patryk
D
Dietsch, Daniel
Dimitrova, Rayna
E
Emmi, Michael
Even-Mendoza, Karine
F
Férée, Hugo
G
Gurfinkel, Arie
H
Heizmann, Matthias
Ho, Son
Hoenicke, Jochen
Huang, Chung-Hao
Hyvärinen, Antti
J
Jomaa, Narjes
K
Kahsai, Temesghen
Ketab Ghale, Milad
Kiefer, Moritz
Kumar, Ramana
L
Lin, Fangzhen
M
MacCarthaigh, Colm
Matthews, Stuart
Myreen, Magnus O.
N
Navas, Jorge A
Nishida, Naoki
Nowak, David
Nutz, Alexander
Nührenberg, Georg
O
Oberhauser, Jonas
Owens, Scott
P
Pattinson, Dirk
Podelski, Andreas
Pohjola, Johannes Åman
R
Rajkhowa, Pritom
Ruess, Harald
S
Sanders, Peter
Schubert, Aleksy
Schupp, Sibylle
Schwartz-Narbonne, Daniel
Sharygina, Natasha
T
Tasiran, Serdar
Tinelli, Cesare
Torrini, Paolo
U
Ulbrich, Mattias
W
Weigl, Alexander
Winkler, Sarah
Z
Zakrzewski, Jakub