VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ABCDFGHKMNORSTV
A
Arlt, Stephan
B
Blasum, Holger
C
Curzon, Paul
D
D'Urso, Enrico
F
Frenkel, Sergey
G
Gonschorek, Tim
H
Habli, Ibrahim
Havle, Oto
Heitmeyer, Constance
Hungar, Hardi
K
Kelly, Tim
M
Masci, Paolo
Meyer Zu Hörste, Michael
Murray, John
N
Namjoshi, Kedar
Nielebock, Sebastian
O
Oladimeji, Patrick
Ortmeier, Frank
R
Ruemmer, Philipp
Rukšėnas, Rimvydas
S
Schmaltz, Julien
Schäf, Martin
T
Thimbleby, Harold
Tverdyshev, Sergey
V
Verbeek, Freek