|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Alur, Rajeev | | B | Bansal, Suguman | | Barbone, Mark | | Bastani, Osbert | | D | Drachsler Cohen, Dana | | F | Finkbeiner, Bernd | | H | Hahn, Christopher | | Hozzová, Petra | | J | Jothimurugan, Kishor | | K | Kalita, Pankaj Kumar | | Katoen, Joost-Pieter | | Kovács, Laura | | N | Naik, Mayur | | Nedunuri, Srinivas | | P | Pandey, Awanish | | Perez, Guillermo | | Pertseva, Elizaveta | | Polgreen, Elizabeth | | Polikarpova, Nadia | | R | Rabe, Markus N. | | Reynolds, Andrew | | Rodriguez, Andoni | | Roy, Subhajit | | Rudek, Joey | | S | Schmitt, Frederik | | Smith, Douglas | | Sánchez, César | | T | Thakkar, Aalok | | V | Verma, Aakanksha | | Voronkov, Andrei | |
|
|