|
LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
TALK AUTHOR INDEX
A | Abdulla, Parosh Aziz | | Aiswarya, C. | | Atig, Mohamed Faouzi | | B | Baelde, David | | Barthe, Gilles | | Barto, Libor | | Basold, Henning | | Behr, Nicolas | | Benedikt, Michael | | Berkholz, Christoph | | Beyersdorff, Olaf | | Blot, Valentin | | Bodirsky, Manuel | | Bojańczyk, Mikołaj | | Bonchi, Filippo | | Bourhis, Pierre | | Bulatov, Andrei | | C | Carayol, Arnaud | | Cardelli, Luca | | Chakraborty, Souymodip | | Chatterjee, Krishnendu | | Chistikov, Dmitry | | Chonev, Ventsislav | | Clemente, Lorenzo | | Colcombet, Thomas | | Cooper, Martin C. | | D | D'Antoni, Loris | | D'Osualdo, Emanuele | | Dal Lago, Ugo | | Danos, Vincent | | Dartois, Luc | | Das, Anupam | | Daviaud, Laure | | Dongol, Brijesh | | Doumane, Amina | | Doyen, Laurent | | Duncan, Ross | | Dunne, Kevin | | Dvořák, Wolfgang | | E | Elberfeld, Michael | | Englert, Matthias | | F | Farzan, Azadeh | | Favro, Giordano | | Figueira, Diego | | Filiot, Emmanuel | | Finster, Eric | | Fokkink, Wan | | Fong, Brendan | | Frickenschmidt, Marlin | | G | Gaboardi, Marco | | Gadducci, Fabio | | Gajarský, Jakub | | Galicki, Alex | | Garnier, Ilias | | Gauwin, Olivier | | Geuvers, Herman | | Ghilardi, Silvio | | Grégoire, Benjamin | | Grohe, Martin | | Göller, Stefan | | H | Harwath, Frederik | | Hasuo, Ichiro | | Heijltjes, Willem | | Heimberg, Lucas | | Henzinger, Monika | | Henzinger, Thomas | | Heunen, Chris | | Hierons, Rob | | Hino, Wataru | | Hirschi, Lucca | | Hlineny, Petr | | Hofman, Piotr | | Hou Favonia, Kuen-Bang | | Hsu, Justin | | Hughes, Dominic | | J | Jaber, Guilhem | | Jacobs, Bart | | Jeffrey, Alan | | K | Kaminski, Benjamin Lucien | | Kammar, Ohad | | Katoen, Joost-Pieter | | Kawamura, Akitoshi | | Khoussainov, Bakh | | Kiefer, Sandra | | Kiefer, Stefan | | Kincaid, Zachary | | Kissinger, Aleks | | Kobayashi, Hiroki | | Kopczynski, Eryk | | Kozen, Dexter | | Kozik, Marcin | | Kołodziejczyk, Leszek Aleksander | | Kraus, Nicolai | | Krebs, Andreas | | Kuske, Dietrich | | L | Laird, James | | Lazic, Ranko | | Lempiäinen, Tuomo | | Lewertowski, Gabriel | | Lhote, Nathan | | Liang, Chuck | | Licata, Daniel R. | | Lodaya, Kamal | | Loitzenbauer, Veronika | | Lokshtanov, Daniel | | Loos, Sarah | | Lumsdaine, Peter | | Löding, Christof | | M | Manzonetto, Giulio | | Mardare, Radu | | Matheja, Christoph | | Mazza, Damiano | | Melliès, Paul-André | | Meyer, Roland | | Michalewski, Henryk | | Mottet, Antoine | | Møgelberg, Rasmus Ejlers | | N | Narayan Kumar, K. | | Nordström, Jakob | | O | Obdrzalek, Jan | | Olmedo, Federico | | Ong, Luke | | Otop, Jan | | Ouaknine, Joel | | P | Panangaden, Prakash | | Pandya, Paritosh | | Parys, Paweł | | Pattinson, Dirk | | Paviotti, Marco | | Petrakis, Iosif | | Pich, Jan | | Pilipczuk, Michał | | Pinsker, Michael | | Platzer, André | | Plotkin, Gordon | | Podelski, Andreas | | Pouly, Amaury | | Pous, Damien | | Powell, Thomas | | Preoteasa, Viorel | | Puppis, Gabriele | | Pédrot, Pierre-Marie | | R | Ramanujan, M. S. | | Rapisarda, Paolo | | Reynier, Pierre-Alain | | Riely, James | | S | Saivasan, Prakash | | Salibra, Antonino | | Salvati, Sylvain | | Saurin, Alexis | | Schmitz, Sylvain | | Schröder, Lutz | | Schweikardt, Nicole | | Schweitzer, Pascal | | Seiller, Thomas | | Serre, Olivier | | Sistla, A. Prasad | | Sobocinski, Pawel | | Sousa-Pinto, Joao | | Sozeau, Matthieu | | Staton, Sam | | Steinberg, Florian | | Straubing, Howard | | Strub, Pierre-Yves | | Sturm, Thomas | | T | Tabareau, Nicolas | | Talbot, Jean-Marc | | Ten Cate, Balder | | Totzke, Patrick | | Tribastone, Mirco | | Tripakis, Stavros | | Tschaikowski, Max | | Tsukada, Takeshi | | Tzevelekos, Nikos | | U | Uramoto, Takeo | | V | Van Glabbeek, Rob | | van Gool, Samuel J. | | Vanden Boom, Michael | | Vandin, Andrea | | Veanes, Margus | | Vester, Steen | | Voigt, Marco | | W | Walukiewicz, Igor | | Weidenbach, Christoph | | Wood, Frank | | Worrell, James | | Y | Yang, Hongseok | | Z | Zanasi, Fabio | | Zeilberger, Noam | | Zetzsche, Georg | | Zeume, Thomas | | Ziegler, Martin | | Ž | Živný, Stanislav | |
|
|