VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Alberti, Francesco
B
Barrett, Clark
Bonichon, Richard
C
Cadar, Cristian
Carlsson, Mats
Cervesato, Iliano
Christ, Juergen
D
Dolzmann, Andreas
Déharbe, David
F
Fremont, Daniel J.
G
Ghilardi, Silvio
Grinchtein, Olga
H
Hoenicke, Jochen
K
King, Tim
Korovin, Konstantin
Kosta, Marek
L
Lam, Edmund Soon Lee
M
Melquiond, Guillaume
O
Ogawa, Mizuhito
P
Palikareva, Hristina
Pearson, Justin
R
Rümmer, Philipp
S
Seshia, Sanjit A.
Sharygina, Natasha
Sturm, Thomas
T
Tavares, Cláudia
Tinelli, Cesare
V
Van Khanh, To
X
Xuan Tung, Vu