FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SMT INFORMAL PROCEEDINGS: AUTHOR INDEX
A
Alt, Leonardo
B
Backeman, Peter
Barbosa, Haniel
Barrett, Clark
Biró, Csaba
Bobot, François
Bury, Guillaume
C
Conchon, Sylvain
Coquereau, Albin
Cruanes, Simon
D
Delahaye, David
E
El Ouraoui, Daniel
Erdélyi, Balázs
F
Fontaine, Pascal
G
Graham-Lengrand, Stephane
Gurfinkel, Arie
I
Iguernlala, Mohamed
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
Shoham, Sharon
T
Tinelli, Cesare
V
Vizel, Yakir
W
Wintersteiger, Christoph M.
Z
Zeljić, Aleksandar