FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Alt, Leonardo
B
Backeman, Peter
Barbosa, Haniel
Barrett, Clark
Benzmüller, Christoph
Biró, Csaba
Bobot, François
Bonacina, Maria Paola
Brain, Martin
Bury, Guillaume
C
Conchon, Sylvain
Coquereau, Albin
Cruanes, Simon
D
Delahaye, David
Dvijotham, Krishnamurthy
E
El Ouraoui, Daniel
Erdélyi, Balázs
F
Fontaine, Pascal
G
Graham-Lengrand, Stephane
Gurfinkel, Arie
I
Iguernlala, Mohamed
J
Jovanović, Dejan
K
Kovásznai, Gergely
M
Marre, Bruno
N
Niemetz, Aina
Noetzli, Andres
P
Preiner, Mathias
R
Reger, Giles
Reitwiessner, Christian
Reynolds, Andrew
Riener, Martin
Ruemmer, Philipp
S
Schanda, Florian
Schindler, Tanja
Shankar, Natarajan
Shoham, Sharon
Smt-Comp Organizers,
Sun, Youcheng
T
Tinelli, Cesare
V
Vizel, Yakir
W
Wies, Thomas
Wintersteiger, Christoph M.
Z
Zeljić, Aleksandar