
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, JeanChristophe   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  

