FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
Shortcuts: ABDFHJKNPRSTV
A
Alur, Rajeev
B
Bansal, Suguman
Barbone, Mark
Bastani, Osbert
D
Drachsler Cohen, Dana
F
Finkbeiner, Bernd
H
Hahn, Christopher
Hozzová, Petra
J
Jothimurugan, Kishor
K
Kalita, Pankaj Kumar
Katoen, Joost-Pieter
Kovács, Laura
N
Naik, Mayur
Nedunuri, Srinivas
P
Pandey, Awanish
Perez, Guillermo
Pertseva, Elizaveta
Polgreen, Elizabeth
Polikarpova, Nadia
R
Rabe, Markus N.
Reynolds, Andrew
Rodriguez, Andoni
Roy, Subhajit
Rudek, Joey
S
Schmitt, Frederik
Smith, Douglas
Sánchez, César
T
Thakkar, Aalok
V
Verma, Aakanksha
Voronkov, Andrei