|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Alberti, Francesco | | B | Barrett, Clark | | Bonichon, Richard | | C | Cadar, Cristian | | Carlsson, Mats | | Cervesato, Iliano | | Christ, Juergen | | D | Dolzmann, Andreas | | Déharbe, David | | F | Fremont, Daniel J. | | G | Ghilardi, Silvio | | Grinchtein, Olga | | H | Hoenicke, Jochen | | K | King, Tim | | Korovin, Konstantin | | Kosta, Marek | | L | Lam, Edmund Soon Lee | | M | Melquiond, Guillaume | | O | Ogawa, Mizuhito | | P | Palikareva, Hristina | | Pearson, Justin | | R | Rümmer, Philipp | | S | Seshia, Sanjit A. | | Sharygina, Natasha | | Sturm, Thomas | | T | Tavares, Cláudia | | Tinelli, Cesare | | V | Van Khanh, To | | X | Xuan Tung, Vu | |
|
|