FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Abate, Alessandro
B
Bessa, Iury
Bodik, Rastislav
C
Cattaruzza, Dario
Colange, Maximilien
Cordeiro, Lucas
D
David, Cristina
Deshmukh, Jyotirmoy
Dimitrova, Rayna
F
Finkbeiner, Bernd
Fisman, Dana
G
Ghasemi, Mahsa
Goldman, Drew
H
Hahn, Christopher
Hamza, Jad
J
Jacobs, Swen
K
Kesseli, Pascal
Kroening, Daniel
Kulal, Sumith
Kunčak, Viktor
L
Liu, Zexiang
Lukert, Philip
M
Michaud, Thibaud
Muggleton, Stephen H.
O
Ozay, Necmiye
P
Perrin, Nicolas
Peuter, Dennis
Piskac, Ruzica
Polgreen, Elizabeth
S
Santolucito, Mark
Shah, Rohin
Sofronie-Stokkermans, Viorica
T
Tentrup, Leander
Topcu, Ufuk
V
Vechev, Martin
W
Weseley, Allyson