VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
Shortcuts: ABCDGHKLMRSW
A
Alama, Jesse
B
Benzm├╝ller, Christoph
C
Codescu, Mihai
D
De Nivelle, Hans
Doligez, Damein
G
Gr├╝ninger, Michael
H
Hou, Ping
K
Kriener, Jael
Kutz, Oliver
L
Lamport, Leslie
Lange, Christoph
Libal, Tomer
Lyaletski, Alexander
M
Merz, Stephan
Mossakowski, Till
R
Raths, Thomas
S
Steen, Alexander
W
Wisniewski, Max
Workshop Organizers,