|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Arieli, Ofer | | B | Baker, Clayton | | Balintová, Iveta | | Benz, Chloe | | Bernreiter, Michael | | Boborová, Janka | | Booth, Richard | | Borg, Annemarie | | Bozzato, Loris | | C | Casini, Giovanni | | Costantini, Stefania | | Cozman, Fabio | | D | de Camargo E Souza Câmara, Igor | | Di Stefano, Federica | | Dvořák, Wolfgang | | E | Eiter, Thomas | | Eiter, Thomas | | F | Falakh, Faiq Miftakhul | | Findelair, Arthur | | Formisano, Andrea | | G | Giordano, Laura | | Gloaguen, Kevin | | Gómez Álvarez, Lucia | | H | Haifani, Fajar | | Hayashi, Hisashi | | Hesse, Matthis | | Heyninck, Jesse | | Homola, Martin | | Hunter, Aaron | | K | Kern-Isberner, Gabriele | | Kiesel, Rafael | | Koopmann, Patrick | | M | Marquis, Pierre | | Matos, Vinícius Bitencourt | | Meyer, Thomas | | O | Ortiz, Magdalena | | P | Parent, Xavier | | Pitoni, Valentina | | Pukancová, Júlia | | R | Rapberger, Anna | | Rocha, Victor Hugo | | Rudolph, Sebastian | | Rudolph, Sebastian | | S | Satoh, Ken | | Scherl, Richard | | Singleton, Joseph | | Sridharan, Mohan | | Straccia, Umberto | | Strass, Hannes | | Strasser, Christian | | T | Tadey, Sam | | Tourret, Sophie | | Turhan, Anni-Yasmin | | U | Ulbricht, Markus | | V | Varzinczak, Ivan | | Villata, Serena | | W | Wallner, Johannes P. | | Wassermann, Renata | | Weidenbach, Christoph | | Woltran, Stefan | | Š | Šimkus, Mantas | |
|
|