VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Amla, Nina
B
Baader, Franz
Baaz, Matthias
Bacchus, Fahiem
Biere, Armin
C
Calimeri, Francesco
Clarke, Edmund
Cok, David
Cook, Byron
Cortier, Véronique
D
Deharbe, David
Depauli-Schimanovich, Werner
E
Eiter, Thomas
European Masters Program In Computational Logic,
F
Floc Olympic Games,
G
Gebser, Martin
Giesl, Jürgen
Glimm, Birte
Gottlob, Georg
K
Kupfermann, Orna
Kurt Gödel Research Prize Fellowships Program,
M
Maratea, Marco
Matentzoglu, Nicolas
Mesnard, Frederic
O
Ouaknine, Joel
P
Papadimitriou, Christos
Parsia, Bijan
R
Reckling, Falk
Ricca, Francesco
Roffel, Sweitze
Rubio, Albert
S
Sakallah, Karem
Scott, Dana
Seidler, Sabine
Sigmund, Karl
Stadler, Friedrich
Steigmiller, Andreas
Sutcliffe, Geoff
T
Thiemann, René
Truszczynski, Mirek
V
Veith, Helmut
von der Krone, Stefan
Voronkov, Andrei
W
Waldmann, Johannes
Weber, Tjark
Wilkie, Alex
Z
Zhang, Mingyi