FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A
Accattoli, Beniamino
Ackerman, Nathanael
Adamek, Jiri
Ahrens, Benedikt
Aiswarya, C.
Antonelli, Melissa
Asada, Kazuyuki
Asilis, Julian
Avanzini, Martin
B
Baelde, David
Balaji, Nikhil
Barbarossa, Davide
Barloy, Corentin
Barthe, Gilles
Baunsgaard Kristensen, Magnus
Beohar, Harsh
Bergsträßer, Pascal
Beutner, Raven
Blondin, Michael
Blot, Valentin
Bonacina, Ilario
Bonet, Maria Luisa
Bonnet, Édouard
C
Cadilhac, Michaël
Carral, David
Chistikov, Dmitry
Curzi, Gianluca
Czerwiński, Wojciech
D
Dagnino, Francesco
Dal Lago, Ugo
Dartois, Luc
Das, Anupam
Dawar, Anuj
de Felice, Giovanni
Delannoy, Remi
Di, Jieqi
Di Lavore, Elena
Doumane, Amina
Doyen, Laurent
Dreier, Jan
F
Ferreira Santos, Felipe
Figueira, Diego
Finkbeiner, Bernd
Finster, Eric
Ford, Chase
Freer, Cameron
G
Gajarský, Jakub
Ganardi, Moses
Gastin, Paul
Geoffroy, Guillaume
Ghosh, Arka
Govind, R.
Grabmayer, Clemens
Gratzer, Daniel
Grädel, Erich
Gutsfeld, Jens Oliver
H
Haase, Christoph
Heidemann, Lukas
Helal, Hayyan
Herbreteau, Frédéric
Hofman, Piotr
Hofmann, Jana
I
Idziak, Paweł
J
Jacobs, Bart
K
Kavvos, G. A.
Kawałek, Piotr
Kelmendi, Edon
Kiefer, Sandra
Kreutzer, Stephan
Krzaczkowski, Jacek
Krötzsch, Markus
Kuperberg, Denis
Kupke, Clemens
König, Barbara
L
Lasota, Sławomir
Lefaucheux, Engel
Li, Guanyan
Lichter, Moritz
Lin, Anthony Widjaja
Lipton, Richard
Liu, Junyi
Lopez, Aliaume
Luca, Florian
M
Majumdar, Rupak
Mal, Soumodev
Mansutti, Alessio
Marti, Johannes
Matache, Cristina
Mazowiecki, Filip
Meel, Kuldeep S.
Meier, Arne
Melliès, Paul-André
Milius, Stefan
Mio, Matteo
Montacute, Yoàv
Moser, Georg
Moss, Sean
Mottet, Antoine
Murawski, Andrzej
Muscholl, Anca
Mählmann, Nikolas
Møgelberg, Rasmus Ejlers
N
Naaf, Matthias
Nieuwveld, Joris
North, Paige
Nosan, Klara
O
Offtermatt, Philip
Ohlmann, Pierre
Ohrem, Christoph
Ong, Luke
Orlikowski, Łukasz
Ouaknine, Joel
P
Paperman, Charles
Pasquali, Fabio
Perdrix, Simon
Perrone, Paolo
Pilipczuk, Michał
Pinsker, Michael
Pistone, Paolo
Place, Thomas
Purser, David
Péchoux, Romain
R
Reutter, David
Reutter, David
Rice, Alex
Román, Mario
S
S, Krishna
Saivasan, Prakash
Sarkis, Ralph
Saurin, Alexis
Schröder, Lutz
Schweitzer, Pascal
Shah, Nihil
Shirmohammadi, Mahsa
Simon, Pierre
Sojakova, Kristina
Srivathsan, B
Staton, Sam
T
Toruńczyk, Szymon
Tristan, Jean-Baptiste
Tsukada, Takeshi
V
van der Weide, Niels
Vanoni, Gabriele
Venema, Yde
Vezzosi, Andrea
Vicary, Jamie
Vignudelli, Valeria
Virtema, Jonni
W
Walukiewicz, Igor
Whiteland, Markus
Wilke, Richard
Worrell, James
Y
Ying, Mingsheng
Z
Zamdzhiev, Vladimir
Zetzsche, Georg
Zeume, Thomas
Zhou, Li