FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A
Algehed, Maximilian
Arden, Owen
Asplund, Mikael
B
Baelde, David
Basin, David
Beutner, Raven
Birkedal, Lars
Blanco, Roberto
Boeira, Felipe
Bonakdarpour, Borzoo
Braje, Timothy
Bun, Mark
Bursuc, Sergiu
C
Ceragioli, Lorenzo
Cheval, Vincent
Chlipala, Adam
Ciampi, Michele
Cortier, Veronique
Crubillé, Raphaëlle
Cunningham, Robert
D
Dallon, Antoine
Degano, Pierpaolo
Delaune, Stephanie
Derek, Ante
Devriese, Dominique
Ding, Ming
Drăgan, Constantin Cătălin
Dupressoir, François
E
El-Korashy, Akram
Elmassad, Mohamed
Estaji, Ehsan
F
Fernandes, Natasha
Finkbeiner, Bernd
G
Gaboardi, Marco
Galletta, Letterio
Garg, Deepak
Garg, Siddharth
Georges, Aïna Linn
Gil-Pons, Reynaldo
Gjøsteen, Kristian
Glinskih, Ludmila
Gondron, Sébastien
Guéneau, Armaël
H
Haines, Thomas
Hicks, Michael
Hollenberg, Tommy
Horne, Ross
Hritcu, Catalin
Hsu, Tzu-Han
J
Johnsen, Einar Broch
Juma, Nahid
K
Kaiser, Benjamin
Kalke, Martine
Kang, Eunsuk
Karami, Farzane
Kohbrok, Konrad
Koutsos, Adrien
Kremer, Steve
L
Lampropoulos, Leonidas
Laud, Peeter
Lee, Alice
Li, Liyi
Li, Ninghui
Li, Peixuan
Liu, Si
Liu, Yiyun
Lu, Yun
M
Mauw, Sjouke
May, Alexander
McIver, Annabelle
Mestel, David
Mondal, Priyanka
Moreau, Solène
Mödersheim, Sebastian
Müller, Johannes
O
Oakley, Lisa
Oechsner, Sabine
Oprea, Alina
P
Palamidessi, Catuscia
Pankova, Alisa
Paradžik, Petar
Park, Daniel
Perrig, Adrian
Piessens, Frank
Postol, Deena
R
Raykova, Mariana
Reisert, Pascal
Rosulek, Mike
Roy, Lawrence
Ryan, Peter Y. A.
Rønne, Peter B.
S
Shahen, Jonathan
Solberg, Morten Rotvold
Sprenger, Christoph
T
Thibault, Jérémy
Timany, Amin
Tiu, Alwen
Trieu, Alix
Tripakis, Stavros
Tripakis, Stavros
Tripunitara, Mahesh
Trujillo-Rasua, Rolando
V
Van Horn, David
Van Strydonck, Thomas
Viganò, Luca
W
Wagner, Andrew
Weghorn, Thilo
Y
Yurkov, Semyon
Z
Zhang, Danfeng
Zikas, Vassilis
Zweydinger, Floyd