|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Ahrendt, Wolfgang | | B | Banerjee, Anindya | | Beckert, Bernhard | | Boulmé, Sylvain | | Bruns, Daniel | | Bubel, Richard | | Butterfield, Andrew | | C | Chandra, Satish | | Chen, Geng | | Clochard, Martin | | Cohen, Ernie | | D | D'Souza, Deepak | | Divakaran, Sumesh | | Dubasi, Mohana Asha Latha | | F | Filliatre, Jean-Christophe | | Fouilhe, Alexis | | Freitas, Leo | | G | Gladisch, Christoph | | Grebing, Sarah | | Grumberg, Orna | | H | Hentschel, Martin | | Hinchey, Michael | | Hähnle, Reiner | | I | Ireland, Andrew | | J | Jami, Madiha | | Jones, Cliff B. | | K | Klebanov, Vladimir | | Kovalev, Mikhail | | Krebbers, Robbert | | M | Manferdelli, John | | Marché, Claude | | Mostowski, Wojciech | | Murali, Vijayaraghavan | | N | Nagele, Julian | | Naumann, David | | Neumann, René | | P | Paskevich, Andrei | | S | Sanan, David | | Scheben, Christoph | | Schmitt, Peter | | Seshia, Sanjit | | Sinha, Nishant | | Sinha, Rohit | | Spalazzi, Luca | | Spegni, Francesco | | Sridhar, Nigamanth | | Srinivasan, Sudarshan | | T | Tan, Wei Yang | | Thiemann, René | | Torlak, Emina | | U | Ulbrich, Mattias | | V | Velykis, Andrius | | W | Whalen, Michael | | Whiteside, Iain | | Wijayasekara, Vidura | | Winkler, Sarah | |
|
|