FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A
Annenkov, Danil
B
Ballesteros, Ignacio
Bartoletti, Massimo
Benac, Clara
Brown, Chad
Brugger, Lea Salome
Bueso, Luis Eduardo
C
Ceresa, Martin
Chakravarty, Manuel
Chapman, James
D
Dragoi, Cezara
E
Enea, Constantin
F
Ferariu, Tudor
Fredlund, Lars-Åke
G
Gauthier, Thibault
H
Herranz, Ángel
J
Jakobsson, Arvid
Jones, Michael Peyton
K
Kaliszyk, Cezary
Knispel, Andre
Knispel, Andre
Kovács, Laura
Krijnen, Jacco
M
Mariño, Julio
Melkonian, Orestis
Milo, Mikkel
N
Nagendra, Srinidhi
Nielsen, Eske Hoy
P
Petković Komel, Anja
R
Rain, Sophie
Rawson, Michael
S
Sanchez, Cesar
Saue, Aurélien
Sojakova, Kristina
Spitters, Bas
Srivas, Mandayam
U
Urban, Josef
V
Vinogradova, Polina