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