VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ABEFGJKPRSTW
A
Alur, Rajeev
B
Bloem, Roderick
Bohy, Aaron
Brenguier, Romain
Bruyère, Véronique
E
Ehlers, Rüdiger
F
Finkbeiner, Bernd
G
Gascon, Adria
J
Jacobs, Swen
Jha, Susmit
K
Khalimov, Ayrat
Koenighofer, Robert
Kuncak, Viktor
P
Perez, Guillermo
R
Raman, Vasumathi
Raskin, Jean-Francois
Ryzhyk, Leonid
S
Sankur, Ocan
Seshia, Sanjit A.
T
Tiwari, Ashish
W
Wiklicky, Herbert