|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
B | Baumeister, Joachim | | Boukhobza, Taha | | Broda, Krysia | | C | Capon, Chloé | | Costantini, Stefania | | E | Erdem, Esra | | F | Formisano, Andrea | | H | Hahn, Susana | | Herud, Konstantin | | I | Iatrou, Evan | | J | Janhunen, Tomi | | K | Kaminski, Roland | | L | Lecomte, Nicolas | | Lifschitz, Vladimir | | R | Romero, Javier | | Rueckschloss, Kilian | | Ruehling, Nicolas | | Russo, Alessandra | | S | Sabuncu, Orkunt | | Schaub, Torsten | | Shen, Jun | | Smail-Tabbone, Malika | | Strauch, Klaus | | T | Tuckey, David | | V | Vaginay, Athénaïs | | W | Ward, Francis Rhys | | Wijsen, Jef | | Z | Zhang, Shutao | | Zhang, Zhizheng | |
|
|