|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Akshay, S. | | Albert, Elvira | | Alrabbaa, Christian | | B | Baader, Franz | | Barbosa, Haniel | | Barrett, Clark | | Berg, Jeremias | | Bernreiter, Michael | | Bidoit, Nicole | | Bilkova, Marta | | Blaisdell, Eben | | Borgwardt, Stefan | | Bouziane, Hinde | | Bozga, Marius | | Bromberger, Martin | | Brown, Chad | | Bryant, Randal | | Bueri, Lucas | | C | Cailler, Julie | | Cauli, Claudia | | Chakraborty, Supratik | | Chlebowski, Szymon | | D | Dachselt, Raimund | | Das, Anupam | | Delahaye, David | | Dill, David | | Dixon, Clare | | Dowek, Gilles | | Draheim, Dirk | | Duarte, André | | Durán, Francisco | | E | Eker, Steven | | Escobar, Santiago | | F | Felli, Paolo | | Ferrari, Mauro | | Fiorentini, Camillo | | Frittella, Sabine | | Frohn, Florian | | Fujita, Tomohiro | | G | Gallicchio, James | | Giesl, Jürgen | | Girlando, Marianna | | Gordillo, Pablo | | Grieskamp, Wolfgang | | H | Haifani, Fajar | | Hernández-Cerezo, Alejandro | | Heskes, Tom | | Heule, Marijn | | Holden, Sean | | Holub, Štěpán | | Hustadt, Ullrich | | I | Ihalainen, Hannes | | Indrzejczak, Andrzej | | Iosif, Radu | | J | Janota, Mikolas | | Jukiewicz, Marcin | | Järv, Priit | | Järvisalo, Matti | | K | Kaliszyk, Cezary | | Kanovich, Max | | Koopmann, Patrick | | Korovin, Konstantin | | Kozhemiachenko, Daniil | | Kremer, Gereon | | Kutsia, Temur | | Kuznetsov, Stepan | | L | Lachnitt, Hanna | | Lahav, Ori | | Larry, Paulson | | Leidinger, Hendrik | | Leszczyńska-Jasion, Dorota | | Leutgeb, Lorenz | | Lolic, Anela | | Lommen, Nils | | M | Ma, Yue | | Maly, Jan | | Mangla, Chaitanya | | Marcos, Joao | | Marti-Oliet, Narciso | | Matsuzaki, Takuya | | Meseguer, Jose | | Meyer, Fabian | | Mitsch, Stefan | | Montali, Marco | | Méndez, Julián | | N | Nalon, Cláudia | | Niemetz, Aina | | Noetzli, Andres | | O | Ortiz, Magdalena | | Ozdemir, Alex | | P | Pal, Debtanu | | Papacchini, Fabio | | Park, Junkil | | Pau, Cleo | | Piepenbrock, Jelle | | Pimentel, Elaine | | Piterman, Nir | | Platzer, André | | Popescu, Andrei | | Preiner, Mathias | | Q | Qadeer, Shaz | | R | Raška, Martin | | Reeves, Joseph | | Reynolds, Andrew | | Robillard, Simon | | Rodrigues Greati, Vitor | | Rodríguez-Núñez, Clara | | Rosain, Johann | | Rubio, Albert | | Rubio, Ruben | | S | Scedrov, Andre | | Shankar, Natarajan | | Sheng, Ying | | Sochański, Michał | | Starosta, Štěpán | | Suda, Martin | | T | Talcott, Carolyn | | Tammet, Tanel | | Tan, Yong Kiam | | Tinelli, Cesare | | Tomczyk, Agata | | Tourret, Sophie | | U | Urban, Josef | | V | Viswanathan, Arjun | | Viteri, Scott | | W | Weidenbach, Christoph | | Winkler, Sarah | | Woltran, Stefan | | Y | Yamada, Akihisa | | Yang, Hui | | Z | Zohar, Yoni | |
|
|