FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BCDGIKMPT
B
Berkholz, Christoph
Bonet, Maria
Buss, Samuel
C
Capelli, Florent
D
Dantchev, Stefan
Das, Anupam
de Wolff, Timo
Dressler, Mareike
G
Galesi, Nicola
I
Ignatiev, Alexey
K
Kabanets, Valentine
Knop, Alexander
Kolokolova, Antonina
Koucky, Michal
Kurpisz, Adam
M
Marques-Silva, Joao
Martin, Barnaby
Morgado, Antonio
P
Part, Fedor
T
Tzameret, Iddo