FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A
Amir, Guy
Arnaboldi, Luca
Atkey, Robert
B
Barrett, Clark
Bensalem, Saddek
Bessa, Iury
Brix, Christopher
C
Casadio, Marco
Cheng, Chih-Hong
Cordeiro, Lucas C.
D
Daggitt, Matthew
Daggitt, Matthew
Desmartin, Remi
F
Fredrikson, Matt
Fromherz, Aymeric
G
Gopinath, Divya
H
Hasuo, Ichiro
Huang, Xiaowei
I
Isac, Omri
J
Jana, Suman
K
Katsaros, Panagiotis
Katz, Guy
Kienitz, Daniel
Kokke, Wen
Komendantskaya, Ekaterina
L
Lan, Jianglin
Leino, Klas
Levy, Natan
Lomuscio, Alessio
M
Mangal, Ravi
Manino, Edoardo
Molin, Adam
Müller, Mark
N
Narodytska, Nina
Nickovic, Dejan
O
Ostrovsky, Matan
P
Parno, Bryan
Passmore, Grant
Peled, Doron
Pereira Matos Júnior, João Batista
Păsăreanu, Corina
R
Refaeli, Idan
Rieser, Verena
S
Schapira, Michael
Sharif, Mahmood
Singh, Gagandeep
Song, Xidan
Stewart, Robert
Sun, Youcheng
U
Usman, Muhammad
W
Wu, Haoze
Z
Zelazny, Tom
Zhang, Min
Zheng, Yang
Ś
Ślusarz, Natalia