VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Abel, Andreas
Aoto, Takahito
Aubert, Clément
B
Bae, Kyungmin
Bagnol, Marc
Berardi, Stefano
Birkedal, Lars
Bizjak, Aleš
Bruggink, Sander
Burel, Guillaume
C
Ciobaca, Stefan
Creus, Carles
Czajka, Łukasz
D
de Carvalho, Daniel
de Vrijer, Roel
Dershowitz, Nachum
Dezani-Ciancaglini, Mariangiola
E
Escardo, Martin
F
Fu, Peng
Fuhs, Carsten
G
Gambino, Nicola
Ghilezan, Silvia
Godoy, Guillem
H
Hirokawa, Nao
Hofmann, Martin
J
Jouannaud, Jean-Pierre
K
Koenig, Barbara
Kop, Cynthia
Kusakari, Keiichirou
L
Liu, Jiaxiang
Lombardi, Carlos
M
Maieli, Roberto
Melliès, Paul-André
Mereuta, Radu
Meseguer, Jose
Miculan, Marino
Middeldorp, Aart
Moore, Brandon
Moser, Georg
N
Nagai, Tomoharu
Nakazawa, Koji
P
Pientka, Brigitte
R
Rios, Alejandro
Rosu, Grigore
Roux, Cody
S
Sabel, David
Sakabe, Toshiki
Schmidt-Schauß, Manfred
Schmitz, Sylvain
Serbanuta, Traian Florin
Setzer, Anton
Simonsen, Jakob Grue
Simpson, Alex
Statman, Richard
Stefanescu, Andrei
Steila, Silvia
Sternagel, Christian
Sternagel, Thomas
Stump, Aaron
T
Thibodeau, David
Thiemann, René
Toyama, Yoshihito
U
Uchida, Kazumasa
V
van Doorn, Floris
Y
Yamada, Akihisa
Yoshida, Nobuko
Z
Zantema, Hans