VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Acquisti, Alessandro
Adão, Pedro
Akinyele, Joseph Ayo
Alvim, Mario
Appel, Andrew
Askarov, Aslan
B
Backes, Michael
Barthe, Gilles
Basin, David
Bauer, Lujo
Bogdanov, Dan
Bozzato, Claudio
Bugliesi, Michele
Buiras, Pablo
C
Calzavara, Stefano
Chase, Melissa
Chatzikokolakis, Kostas
Chen, Liqun
Chong, Stephen
Chudnov, Andrey
Crampton, Jason
Cremers, Cas
Culnane, Chris
D
De Groef, Willem
Dei Rossi, Gian-Luca
Devriese, Dominique
Dimoulas, Christos
Dougherty, Daniel
F
Fahl, Sascha
Focardi, Riccardo
Focardi, Riccardo
G
Gaboardi, Marco
Gallego Arias, Emilio Jesus
Green, Matthew
Gregoire, Benjamin
Grossklags, Jens
Guttman, Joshua
H
Haeberlen, Andreas
Harbach, Marian
Horvat, Marko
Hsu, Justin
J
Jagadeesan, Radha
Johnson, Benjamin
K
Katsoris, Georgios
Katz, Jonathan
Khan, Wilayat
Khanna, Sanjeev
Kohlweiss, Markulf
Kroll, Joshua
Kuan, George
Kunz, Cesar
L
Laszka, Aron
Laud, Peeter
Laur, Sven
Liskov, Moses
Liu, Jia
Lubinski, Cm
Luccio, Flaminia
Lysyanskaya, Anna
M
Malozemoff, Alex
Manoharan, Praveen
Mantel, Heiko
Mayer, Jonathan
McIver, Annabelle
Meiklejohn, Sarah
Mohammadi, Esfandiar
Moore, Scott
Morgan, Carroll
Mödersheim, Sebastian A.
N
Narayan, Arjun
Naumann, David
Nielson, Flemming
Nielson, Hanne Riis
P
Palamidessi, Catuscia
Perner, Matthias
Pierce, Benjamin
Piessens, Frank
Pinto, Alexandre
Pitcher, Corin
Pullonen, Pille
R
Rafnsson, Willard
Reitter, David
Rezk, Tamara
Riely, James
Roth, Aaron
Russo, Alejandro
Ryan, Mark
S
Sabelfeld, Andrei
Sauer, Jens
Schmidt, Benedikt
Schneider, Steve
Smith, Geoffrey
Smith, Matthew
Stefan, Deian
Stewart, Gordon
Strub, Pierre-Yves
T
Tempesta, Mauro
Thayer, Francisco Javier
V
Vanhoef, Mathy
Vigo, Roberto
W
Winebrinner, Charles