FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: ABGHJKLMQRS
A
Abate, Alessandro
B
Baier, Christel
Brihaye, Thomas
Bruyère, Véronique
G
Geeraerts, Gilles
Goeminne, Aline
Guha, Shibashis
Guldstrand Larsen, Kim
H
Hartmanns, Arnd
Hasanbeig, Mohammadhosein
Hautem, Quentin
J
Junges, Sebastian
K
Katoen, Joost-Pieter
Kroening, Daniel
L
Le Coent, Adrien
M
Monmege, Benjamin
Muniz, Marco
Q
Quatmann, Tim
R
Randour, Mickael
Raskin, Jean-François
Rivière, Cédric
S
Scheftelowitsch, Dimitri
Srba, Jiri