|
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
GLOBAL TALK AUTHOR INDEX
A | Apt, Krzysztof | | B | Baaz, Matthias | | Barthe, Gilles | | Bauer, Sabine | | Benzmüller, Christoph | | Biere, Armin | | Bistarelli, Stefano | | Bjorner, Nikolaj | | Blahoudek, František | | Bogaerts, Bart | | Boumarafi, Yazid | | Bourbouh, Hamza | | C | Ciabattoni, Agata | | Cruz-Filipe, Luís | | D | Duret-Lutz, Alexandre | | E | Echahed, Rachid | | Espitau, Thomas | | F | Fedyukovich, Grigory | | Fischer, Jeffrey | | Freitas, Fred | | Frohn, Florian | | G | Garion, Christophe | | Garoche, Pierre-Loic | | Gauthier, Thibault | | Giesl, Jürgen | | Gigante, Nicola | | Gleißner, Tobias | | Gregoire, Benjamin | | Gurfinkel, Arie | | H | Hainry, Emmanuel | | Hannula, Miika | | Hofmann, Martin | | Hollingum, Nicholas | | Hsu, Justin | | I | Irving, Geoffrey | | J | Jamnik, Mateja | | Jouannaud, Jean-Pierre | | Jovanović, Dejan | | K | Kahramanogullari, Ozan | | Kahsai, Temesghen | | Kaliszyk, Cezary | | Kersten, Rody | | Kiesl, Benjamin | | Klein, Gerwin | | Klokočka, Mikuláš | | Kontinen, Juha | | Korovin, Konstantin | | Kovacs, Laura | | Kretinsky, Mojmir | | L | Lellmann, Bjoern | | Lepoint, Tancrède | | Lindsberger, Josef | | Link, Sebastian | | Loos, Sarah | | Lopez Hernandez, Julio Cesar | | M | Maignan, Aude | | Majumdar, Rupak | | Maringele, Alexander | | Martinelli, Fabio | | Matteucci, Ilaria | | Melo Filho, Dimas | | Mitchell, David | | Montanari, Angelo | | Mordvinov, Dmitry | | Moser, Georg | | Muggleton, Stephen | | O | Olarte, Carlos | | Otten, Jens | | P | Philipp, Tobias | | Pimentel, Elaine | | Preining, Norbert | | Péchoux, Romain | | R | Ramanayake, Revantha | | Rebola-Pardo, Adrian | | Reger, Giles | | Reynolds, Mark | | Ruemmer, Philipp | | S | Saarikivi, Olli | | Sais, Lakhdar | | Salhi, Yakoub | | Santini, Francesco | | Sato, Yuri | | Schneider-Kamp, Peter | | Scholz, Bernhard | | Schurr, Hans-Jörg | | Schäf, Martin | | Seidl, Martina | | Shams, Zohreh | | Singh, Abhishek Kr | | Stapleton, Gem | | Steen, Alexander | | Strejcek, Jan | | Strub, Pierre-Yves | | Suda, Martin | | Syeda, Hira | | Szegedy, Christian | | T | Ternovska, Evgenia | | Thirioux, Xavier | | Toman, David | | Tompits, Hans | | U | Urban, Josef | | V | Veanes, Margus | | Visser, Willem | | Voronkov, Andrei | | W | Weddell, Grant | | Wisniewski, Max | | Wojtczak, Dominik | |
|
|