|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
B | Biewer, Sebastian | | Bursuc, Sergiu | | Busi, Matteo | | C | Ceragioli, Lorenzo | | D | Degano, Pierpaolo | | Devriese, Dominique | | Drachsler Cohen, Dana | | E | Eldefrawy, Karim | | G | Galletta, Letterio | | Garg, Deepak | | H | Hirsch, Andrew K. | | Holler, Sebastian | | Horne, Ross | | Houmansadr, Amir | | K | Kabaha, Anan | | L | Lanckriet, Emiel | | M | Mauw, Sjouke | | Menz, Jan | | Moniot, Monica | | O | O'Neill, Adam | | S | Sardar, Muhammad Usama | | Schneidewind, Clara | | V | ViganĂ², Luca | | Y | Yurkov, Semen | |
|
|