|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FMBC PROGRAM PAPERS: AUTHOR INDEX
A | Annenkov, Danil | | B | Ballesteros, Ignacio | | Benac, Clara | | Brown, Chad | | Brugger, Lea Salome | | Bueso, Luis Eduardo | | C | Ceresa, Martin | | Chakravarty, Manuel | | Chapman, James | | D | Dragoi, Cezara | | E | Enea, Constantin | | F | Ferariu, Tudor | | Fredlund, Lars-Åke | | G | Gauthier, Thibault | | H | Herranz, Ángel | | J | Jakobsson, Arvid | | Jones, Michael Peyton | | K | Kaliszyk, Cezary | | Knispel, Andre | | Knispel, Andre | | Kovács, Laura | | Krijnen, Jacco | | M | Mariño, Julio | | Melkonian, Orestis | | Milo, Mikkel | | N | Nagendra, Srinidhi | | Nielsen, Eske Hoy | | P | Petković Komel, Anja | | R | Rain, Sophie | | Rawson, Michael | | S | Sanchez, Cesar | | Saue, Aurélien | | Sojakova, Kristina | | Spitters, Bas | | Srivas, Mandayam | | U | Urban, Josef | | V | Vinogradova, Polina | |
|
|