|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Alberti, Marco | | Amendola, Giovanni | | Arias, Joaquin | | Artikis, Alexander | | Azimov, Rustam | | Azzolini, Damiano | | B | Bellodi, Elena | | Bogaerts, Bart | | Borca-Tasciuc, Giorgian | | Bruynooghe, Maurice | | C | Calimeri, Francesco | | Carro, Manuel | | Carro, Manuel | | Charalambidis, Angelos | | Chen, Zhuo | | Chiariello, Francesco | | Chrpa, Lukáš | | Cuteri, Bernardo | | D | De Angelis, Emanuele | | De Raedt, Luc | | Denecker, Marc | | Derkinderen, Vincent | | Du, Hanxiang | | Dung, Ho Tuan | | E | Eckel, Rory | | Eiter, Thomas | | El-Kholany, Mohammed | | Everardo, Flavio | | F | Faber, Wolfgang | | Ferilli, Stefano | | Fichte, Johannes K. | | Fioravanti, Fabio | | Fodor, Paul | | Fraccaroli, Michele | | Francescutto, Giulia | | G | Gaggl, Sarah Alice | | Gebser, Martin | | Geibinger, Tobias | | Geleßus, David | | Giordano, Laura | | Goel, Nikhil | | Gomez, Rocio | | Gonçalves, Ricardo | | Gottlob, Georg | | Gupta, Gopal | | H | Hansen, Zach | | Hanus, Michael | | Hecher, Markus | | Heyninck, Jesse | | Higuera, Nelson | | Higuera Ruiz, Nelson | | J | Janhunen, Tomi | | K | Kabir, Mohimenul | | Kiesel, Rafael | | Kifer, Michael | | Killen, Spencer | | Kimmig, Angelika | | Knorr, Matthias | | Konieczny, Sebastien | | L | Lamma, Evelina | | Lanzinger, Matthias | | Law, Mark | | Leite, João | | Leone, Nicola | | Leuschel, Michael | | Li, Fang | | Lifschitz, Vladimir | | Lugo, Justin | | M | Maggi, Fabrizio Maria | | Manhaeve, Robin | | Mantenoglou, Periklis | | Marra, Giuseppe | | Marynissen, Simon | | Meel, Kuldeep S. | | Morak, Michael | | Musliu, Nysret | | N | Nguyen, Van | | Niehren, Joachim | | Nomikos, Christos | | O | Oetsch, Johannes | | P | Patrizi, Fabio | | Perri, Simona | | Pettorossi, Alberto | | Pino Perez, Ramon | | Pitsikalis, Manolis | | Pritz, Michael | | Proietti, Maurizio | | R | Rbaia, Mohamed | | Reale, Kristian | | Ricca, Francesco | | Riguzzi, Fabrizio | | Riley, Heather | | Rondogiannis, Panos | | Rusovac, Dominik | | S | Salazar, Elmer | | Salazar, Elmer | | Salvati, Sylvain | | Schekotihin, Konstantin | | Schwind, Nicolas | | Sferrazza, Stefano | | Shukla, Ankit | | Son, Tran Cao | | Sridharan, Mohan | | Stepanova, Daria | | T | Tarau, Paul | | Tarzariol, Alice | | Tassel, Pierre | | Theseider Dupré, Daniele | | Totis, Pietro | | Truszczynski, Mirek | | Törmá, Seppo | | V | Vanbesien, Linde | | Vasileiou, Stylianos Loukas | | Verreet, Victor | | W | Wan, Hai | | Wang, Huaduo | | Wang, Kewen | | Wang, Yuheng | | Wang, Zhe | | Winters, Thomas | | X | Xiao, Peng | | Xing, Wanli | | Y | Yeoh, William | | You, Jia-Huai | | Z | Zese, Riccardo | | Zhang, Yuanlin | | Zhuang, Zhiqiang | | Zuidberg Dos Martires, Pedro | |
|
|