|
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 | |
|
|