FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: ABCDHKLMNPRS
A
Afshari, Bahareh
B
Baelde, David
Bahr, Patrick
Brotherston, James
Bruse, Florian
C
Cerna, David
Cohen, Liron
D
Das, Anupam
H
Hyvernat, Pierre
K
Komendantskaya, Ekaterina
L
Lange, Martin
Lettmann, Michael
Li, Yue
Lozes, Etienne
M
Mannaa, Bassel
Møgelberg, Rasmus Ejlers
N
Nollet, Rémi
P
Pradic, Pierre
R
Riba, Colin
Rowe, Reuben
S
Saurin, Alexis
Stratulat, Sorin