FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A
Alt, Leonardo
Amendola, Arturo
B
Banković, Milan
Barbosa, Haniel
Barrett, Clark
Barrett, Clark
Becchi, Anna
Bjørner, Nikolaj
Bonacina, Maria-Paola
Brain, Martin
Brown, Chad
C
Cavada, Roberto
Cimatti, Alessandro
D
Dutertre, Bruno
Déharbe, David
E
Eisenhofer, Clemens
Esen, Zafer
F
Ferrando, Andrea
G
Ganesh, Vijay
Graham-Lengrand, Stéphane
Griggio, Alberto
H
Hader, Thomas
Hoenicke, Jochen
Hyvärinen, Antti
I
Irfan, Ahmed
J
Janota, Mikolas
K
Kaliszyk, Cezary
Khalil, Elias
Kovacs, Laura
Kremer, Gereon
L
Lachnitt, Hanna
M
Mann, Makai
Mohamed, Abdalrhman
Mohamed, Mudathir Mahgoub Yahia
N
Niemetz, Aina
Noetzli, Andres
O
Ozdemir, Alex
P
Pan, Guanting
Pilati, Lorenzo
Preiner, Mathias
R
Reynolds, Andrew
Ruemmer, Philipp
S
Scaglione, Giuseppe
Schindler, Tanja
Scott, Joseph
Sebastiani, Roberto
Shankar, Natarajan
Sheng, Ying
T
Tacchella, Alberto
Tinelli, Cesare
Tonetta, Stefano
V
Vella, Lucas
Z
Zamboni, Marco
Zohar, Yoni
Š
Šćepanović, David