|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
B | Brotherston, James | | D | Demri, Stéphane | | E | Echenim, Mnacho | | G | Galmiche, Didier | | I | Iosif, Radu | | J | Jovanović, Dejan | | K | Kanovich, Max | | Katelaan, Jens | | Kimura, Daisuke | | Krishna, Siddharth | | L | Lozes, Etienne | | Lugiez, Denis | | M | Mery, Daniel | | N | Nakazawa, Koji | | P | Peltier, Nicolas | | Pym, David | | S | Shasha, Dennis | | Sighireanu, Mihaela | | T | Tatsuta, Makoto | | V | Vafeiadis, Viktor | | W | Weissenbacher, Georg | | Wies, Thomas | |
|
|