VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Anand, Abhishek
Aravantinos, Vincent
Arthan, Rob
Avigad, Jeremy
B
Bartzia, Evmorfia-Iro
Blanchette, Jasmin Christian
Blazy, Sandrine
Bourke, Timothy
Braibant, Thomas
C
Chapman, Rod
Chlipala, Adam
Chyzak, Frédéric
Cock, David
Cohen, Cyril
D
Davis, Jared
Davis, Jared
Dockins, Robert
Doczkal, Christian
Dufourd, Jean-François
E
Emoto, Kento
G
Gross, Jason
H
Hao, Kecheng
Hirokawa, Nao
Höfner, Peter
Hölzl, Johannes
K
Kaufmann, Matt
Krebbers, Robbert
Kumar, Ramana
L
Lammich, Peter
Laporte, Vincent
Leroy, Xavier
Lewis, Robert Y.
Lochbihler, Andreas
Loulergue, Frédéric
Lüth, Christoph
M
Mahboubi, Assia
Mahmoud, Mohamed Yousri
Malecha, Gregory
Matichuk, Daniel
Middeldorp, Aart
Moore, J Strother
Murray, Toby
Myreen, Magnus O.
Mörtberg, Anders
N
Naves, Guyslain
Nipkow, Tobias
O
Owens, Scott
P
Panny, Lorenz
Pichardie, David
Popescu, Andrei
Puri, Disha
R
Rahli, Vincent
Ray, Sandip
Ring, Martin
Roux, Cody
S
Schanda, Florian
Sewell, Peter
Sibut-Pinote, Thomas
Siddique, Umair
Slobodova, Anna
Smolka, Gert
Sozeau, Matthieu
Spivak, David
Spiwack, Arnaud
Sternagel, Christian
Strub, Pierre-Yves
Swords, Sol
T
Tabareau, Nicolas
Tahar, Sofiene
Tassi, Enrico
Tesson, Julien
Traytel, Dmitriy
V
van Glabbeek, Rob
W
Wenzel, Makarius
Wiedijk, Freek
X
Xie, Fei