|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Abate, Alessandro | | B | Baier, Christel | | Brihaye, Thomas | | Bruyère, Véronique | | G | Geeraerts, Gilles | | Goeminne, Aline | | Guha, Shibashis | | Guldstrand Larsen, Kim | | H | Hartmanns, Arnd | | Hasanbeig, Mohammadhosein | | Hautem, Quentin | | J | Junges, Sebastian | | K | Katoen, Joost-Pieter | | Kroening, Daniel | | L | Le Coent, Adrien | | M | Monmege, Benjamin | | Muniz, Marco | | Q | Quatmann, Tim | | R | Randour, Mickael | | Raskin, Jean-François | | Rivière, Cédric | | S | Scheftelowitsch, Dimitri | | Srba, Jiri | |
|
|