|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Abrahamsson, Oskar | | B | Baanen, Anne | | Bapanapally, Jagadish | | Becker, Heiko | | Biernacka, Małgorzata | | Blanchette, Jasmin | | C | Charatonik, Witold | | Chen, Carol | | Chlipala, Adam | | D | Darulova, Eva | | de Frutos-Fernández, María Inés | | Desharnais, Martin | | Dillies, Yaël | | Drab, Tomasz | | Dudenhefner, Andrej | | Dupuis, Frédéric | | E | Edmonds, Chelsea | | Erbsen, Andres | | F | Felty, Amy | | Forster, Yannick | | Fox, Anthony | | From, Asta Halkjær | | G | Gaboardi, Marco | | Gamboa, Ruben | | Gengelbach, Arve | | Goertzel, Zarathustra | | Gross, Jason | | Gómez-Londoño, Alejandro | | H | Hao, Jifeng | | Hong, Ye | | Hostert, Johannes | | J | Jacobsen, Frederik Krogsdal | | Jakubův, Jan | | Jeannin, Jean-Baptiste | | K | Kaliszyk, Cezary | | Kanabar, Hrutvik | | Karayel, Emin | | Kavvos, Alex | | Kirst, Dominik | | Kudryashov, Yury | | Kumar, Ramana | | Kunze, Fabian | | L | Lammich, Peter | | Lampropoulos, Leonidas | | Lauermann, Nils | | Lewis, Robert | | Lv, Yi | | M | Macbeth, Heather | | Magaud, Nicolas | | Mehta, Bhavik | | Moss, Eliot | | Myreen, Magnus | | N | Norrish, Michael | | O | Olšák, Miroslav | | P | Paulson, Lawrence C. | | Pestun, Vasily | | Philipoom, Jade | | Piepenbrock, Jelle | | Poddar-Agrawal, Miraya | | Prinz, Jacob | | Pąk, Karol | | Q | Qu, Weihao | | S | Sakaguchi, Kazuhiko | | Sewell, Thomas | | Shaker, James | | Shinnar, Avraham | | Stoughton, Alley | | T | Tekriwal, Mohit | | Thomas, Philip | | Trager, Barry | | U | Urban, Josef | | V | Vajjha, Koundinya | | Volkova, Anastasia | | Vukmirović, Petar | | W | Wang, Shuling | | Wenzel, Makarius | | X | Xia, Bican | | Y | Yeager, Jared | | Z | Zhan, Bohua | | Zhao, Gehang | | Zimmermann, Théo | | Å | Åman Pohjola, Johannes | |
|
|