VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A
Abdulla, Parosh Aziz
Accattoli, Beniamino
Alur, Rajeev
Asarin, Eugene
Atig, Mohamed Faouzi
B
Baier, Christel
Barceló, Pablo
Basin, David
Benedikt, Michael
Bernardo, Marco
Bilokon, Paul
Blumensath, Achim
Bockelet, Michel
Bojanczyk, Mikolaj
Bollig, Benedikt
Bonchi, Filippo
Bova, Simone
Brazdil, Tomas
Brenguier, Romain
Breuvart, Flavien
Brotherston, James
Bruyère, Véronique
Bundy, Alan
C
Carreiro, Facundo
Castellan, Simon
Charatonik, Witold
Chaudhuri, Kaustuv
Chen, Hubie
Chen, Taolue
Chen, Wei
Clairambault, Pierre
Colcombet, Thomas
Cousot, Patrick
Cousot, Radhia
Cretin, Julien
D
Dal Lago, Ugo
Das, Anupam
Dawar, Anuj
Degorre, Aldric
Demri, Stephane
Deters, Morgan
Detlefsen, Michael
Dima, Cătălin
Dittmann, Christoph
Dubslaff, Clemens
E
Edalat, Abbas
Ehrhard, Thomas
Endrullis, Joerg
F
Facchini, Alessandro
Faggian, Claudia
Feng, Xinyu
Figueira, Diego
Finster, Eric
Fiore, Marcelo
Fisher, Jasmin
Fredrikson, Matt
Freilich, Adam
Fuhs, Carsten
G
Ganian, Robert
Gastin, Paul
Gorogiannis, Nikos
Gottlob, Georg
Grathwohl, Niels Bjørn Bugge
Guenot, Nicolas
Gutierrez, Julian
H
Haase, Christoph
Hague, Matthew
Harwath, Frederik
Hasuo, Ichiro
Heijltjes, Willem
Heimberg, Lucas
Hendriks, Dimitri
Hofman, Piotr
Hofmann, Martin
Hoshino, Naohiko
Houston, Robin
I
Ilik, Danko
J
Jaeger, Gerhard
Jeffrey, Alan
Jha, Somesh
K
Katoen, Joost-Pieter
Khoussainov, Bakh
Kiefer, Stefan
Kieronski, Emanuel
Kikot, Stanislav
Klein, Joachim
Klin, Bartek
Klueppelholz, Sascha
Kontchakov, Roman
Koskinen, Eric
Kozen, Dexter
Kreutzer, Stephan
Kucera, Antonin
Kuperberg, Denis
L
Lasota, Sławomir
Lazić, Ranko
Le Roux, Stephane
Leroux, Jerome
Levy, Paul Blain
Liang, Hongjin
Libkin, Leonid
Licata, Daniel R.
Losemann, Katja
M
Mahboubi, Assia
Malizia, Enrico
Mamino, Marcello
Mamouras, Konstantinos
Martens, Wim
Mayr, Richard
Mazowiecki, Filip
Meunier, Noémie
Monmege, Benjamin
Mu, Chunyan
Mueller, Moritz
Munch-Maccagnoni, Guillaume
Muroya, Koko
Muñoz, Pablo
Møgelberg, Rasmus Ejlers
N
Narayan Kumar, K.
Navarro Perez, Juan
Novotný, Petr
O
Ochremiak, Joanna
Ong, Luke
P
Padovani, Luca
Parys, Paweł
Pauly, Arno
Perrinel, Matthieu
Petric Maretic, Grgur
Petrisan, Daniela
Place, Thomas
Podolskii, Vladimir
Pous, Damien
Pratt-Hartmann, Ian
Praveen, M.
Pédrot, Pierre-Marie
R
Raghothaman, Mukund
Raskin, Jean-Francois
Rot, Jurriaan
Rémy, Didier
S
Sangiorgi, Davide
Sassolas, Mathieu
Schmitz, Sylvain
Schweikardt, Nicole
Shao, Zhong
Slaman, Theodore
Song, Lei
Staton, Sam
Strassburger, Lutz
Sutre, Grégoire
Szeider, Stefan
T
Ten Cate, Balder
Terauchi, Tachio
Torabi Dashti, Mohammad
Toruńczyk, Szymon
Totzke, Patrick
Tsukada, Takeshi
V
Vanden Boom, Michael
Velner, Yaron
Venema, Yde
Vignudelli, Valeria
W
Williams, Ryan
Winskel, Glynn
Wooldridge, Michael
Wunderlich, Sascha
Y
Yoshimizu, Akira
Z
Zakharyaschev, Michael
Zanasi, Fabio
Zeitoun, Marc
Zhang, Lijun