|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
D | Darwiche, Adnan | | Datta, Anupam | | G | Gulwani, Sumit | | H | Holmes, Chris | | K | Kohli, Pushmeet | | Kwiatkowska, Marta | | L | Lowndes, Alison | | N | Nori, Aditya | | P | Platzer, André | | R | Rossi, Francesca | | Russell, Stuart | | S | Singh, Vasu | | Szegedy, Christian | | V | Vardi, Moshe | | Vechev, Martin | |
|
|