|
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 | |
|
|