VSL 2014: VIENNA SUMMER OF LOGIC 2014
GLOBAL TALK AUTHOR INDEX
A
Abdallah, Samer
Abdulla, Parosh Aziz
Abeille, Anne
Abel, Andreas
Abou-Msabah, Slimane
Abrantes, Mário
Abreu, Salvador
Abrial, Jean-Raymond
Abseher, Michael
Acar, Erman
Accattoli, Beniamino
Achilleos, Antonis
Achref, El Mouelhi
Acquisti, Alessandro
Adje, Assale
Adão, Pedro
Affeldt, Reynald
Aguzzoli, Stefano
Ahmetaj, Shqiponja
Ahmeti, Albin
Ahrendt, Wolfgang
Ahrens, Benedikt
Aiken, Alex
Aisenberg, James
Ait-Mokhtar, Salah
Akinyele, Joseph Ayo
Akiyoshi, Ryota
Al-Sibahi, Ahmad Salim
Alaev, Pavel
Alama, Jesse
Albarghouthi, Aws
Alberti, Francesco
Albuquerque, Hugo
Aleksandrova, Svetlana
Alferes, Jose Julio
Alfonso, Enrique
Alglave, Jade
Ali, Asad
All Workshop Presenters,
Allender, Eric
Alonso, Jose-Ramon
Alsubait, Tahani
Altenkirch, Thorsten
Altukhov, Victor
Alur, Rajeev
Alves, Péricles
Alves, Sandra
Alviano, Mario
Alvim, Mario
Amadini, Roberto
Amblard, Maxime
Aminof, Benjamin
Amir, Eyal
Amla, Nina
Amsden, Edward
Anand, Abhishek
Andréka, Hajnal
Angelopoulos, Nicos
Angione, Claudio
Ansótegui, Carlos
Antic, Christian
Antidze, Nino
Antoniotti, Marco
Antoniou, Grigoris
Antonopoulos, Timos
Antonova, Olga
Antonutti Marfori, Marianna
Antoy, Sergio
Aoto, Takahito
Appel, Andrew
Apt, Krzysztof
Aravantinos, Vincent
Arbelaez, Alejandro
Areias, Miguel
Arenas, Marcelo
Arhami, Negin
Arieli, Ofer
Arlt, Stephan
Armas Romero, Ana
Armengol, Eva
Armstrong, J Douglas
Armstrong, Robert C.
Artale, Alessandro
Artemov, Sergei
Arthan, Rob
Asarin, Eugene
Aschenbrenner, Matthias
Aschieri, Federico
Askarov, Aslan
Asuncion, Vernon
Atif, Jamal
Atig, Mohamed Faouzi
Atserias, Albert
Aubert, Clément
Aucher, Guillaume
Audemard, Gilles
Avanzini, Martin
Avigad, Jeremy
Avron, Arnon
Avron, Arnon
Awad, Edmond
Ayala Rincón, Mauricio
Aziz, Rehan Abdul
Azmy, Noran
B
Baader, Franz
Baaz, Matthias
Baaz, Matthias
Baaz, Matthias
Babb, Joseph
Bacchus, Fahiem
Backes, Michael
Badaev, Serikzhan
Bae, Kyungmin
Baget, Jean-François
Bagheri Hariri, Babak
Bagnol, Marc
Baier, Christel
Baier, Jorge
Baioletti, Marco
Balabanov, Valeriy
Balai, Evgenii
Balaz, Martin
Balbiani, Philippe
Baldi, Paolo
Balduccini, Marcello
Baldwin, John T.
Balint, Adrian
Balyo, Tomáš
Ban Kirigin, Tajana
Bana, Gergei
Banbara, Mutsunori
Banerjee, Anindya
Bansal, Kshitij
Barceló, Pablo
Bardsley, Ethel
Barlatier, Patrick
Barnes, Chris P
Barrett, Clark
Bartak, Roman
Barthe, Gilles
Bartholomew, Michael
Bartocci, Ezio
Bartzia, Evmorfia-Iro
Basaldella, Michele
Basin, David
Basin, David
Baskent, Can
Basold, Henning
Bau, Alexander
Bauer, Andrej
Bauer, Lujo
Baumann, Ringo
Baumgartner, Alexander
Baumgartner, Peter
Bauters, Kim
Bax, Joshua
Bazhenov, Nikolay
Becker, Bernd
Beckert, Bernhard
Beckmann, Arnold
Bedregal, Benjamín
Bedrosian, Geghard
Beek, Wouter
Beeson, Michael
Beffara, Emmanuel
Behounek, Libor
Beierle, Christoph
Beillahi, Sidi Mohamed
Belanger, David
Belardinelli, Francesco
Belle, Vaishak
Bellodi, Elena
Belov, Anton
Benda, Thomas
Bender, Markus
Benedikt, Michael
Benevides, Mario
Benferhat, Salem
Bengtson, Jesper
Benke, Marcin
Benton, Nick
Benveniste, Albert
Benzmüller, Christoph
Berardi, Stefano
Berdine, Josh
Bereg, Sergey
Berg, Jeremias
Berger, Ulrich
Bernardo, Marco
Beros, Achilles
Beros, Konstantinos
Bertossi, Leopoldo
Berwanger, Dietmar
Besnard, Philippe
Bessai, Jan
Betts, Adam
Beyan, Oya
Beyer, Dirk
Beyersdorff, Olaf
Bezem, Marc
Bezerra Silva, George
Bezhanishvili, Nick
Bhatt, Mehul
Bi, Yi
Bianchi, Matteo
Bichhawat, Abhishek
Bienvenu, Meghyn
Biere, Armin
Bikmukhametov, Ravil
Bilokon, Paul
Bingham, Jesse
Birgmeier, Johannes
Birkedal, Lars
Bisping, Benjamin
Bizjak, Aleš
Bjorndahl, Adam
Bjorner, Nikolaj
Bjørdal, Frode
Blackburn, Patrick
Blanchette, Jasmin Christian
Blanchette, Patricia
Blasum, Holger
Blazy, Sandrine
Bliem, Bernhard
Bloch, Isabelle
Block, Alexander
Bloem, Roderick
Bloemen, Vincent
Blumensath, Achim
Bobed, Carlos
Bobillo, Fernando
Bochman, Alexander
Bockelet, Michel
Boeing, Philip
Boender, Jaap
Bogaerts, Bart
Bogdanov, Dan
Bohy, Aaron
Bojanczyk, Mikolaj
Bolibekyan, Hovhannes
Bollig, Benedikt
Bolotov, Alexander
Bonacina, Ilario
Bonacina, Maria Paola
Bonchi, Filippo
Bonchis, Cosmin
Bond, Mike
Bonet, Maria Luisa
Boney, Will
Bongini, Mattia
Bonichon, Richard
Bono, Viviana
Booth, Richard
Borgwardt, Stefan
Boricic, Branislav
Boricic, Marija
Bormer, Thorsten
Bortolussi, Luca
Bosnacki, Dragan
Botoeva, Elena
Botta, Nicola
Bottazzi, Emanuele
Bottrighi, Alessio
Bou, Felix
Bouajjani, Ahmed
Boudou, Joseph
Boulmé, Sylvain
Bourgaux, Camille
Bourguet, Jean-Rémi
Bourhis, Pierre
Bourke, Timothy
Bova, Simone
Boyland, John
Bozianu, Rodica
Bozzato, Claudio
Bozzato, Loris
Bozzelli, Laura
Bradley, Aaron R.
Brady, Edwin
Bragaglia, Stefano
Braibant, Thomas
Brass, Stefan
Braud-Santoni, Nicolas
Brayton, Robert
Brazdil, Tomas
Brazma, Alvis
Break,
Breathnach, Ciara
Brenguier, Romain
Brenguier, Romain
Bresson, Jean
Breuvart, Flavien
Brewka, Gerhard
Briggs, Pam
Britz, Arina
Brock-Nannestad, Taus
Brockschmidt, Marc
Brodmann, Paul-David
Brotherston, James
Brouette, Quentin
Brown, Gavin
Bruggink, Sander
Bruns, Daniel
Bruyère, Véronique
Bubel, Richard
Bucciarelli, Antonio
Buchberger, Bruno
Buchholtz, Ulrik
Buchman, David
Buchs, Didier
Buckley, Oliver
Bucur, Anca
Bugliesi, Michele
Buiras, Pablo
Bulatov, Andrei
Bundy, Alan
Bunte, Kerstin
Burel, Guillaume
Burnett, Heather
Buss, Sam
Butterfield, Andrew
Béziau, Jean-Yves
Böhl, Florian
C
Cabalar, Pedro
Cabrer, Leonardo Manuel
Cabrio, Elena
Cadar, Cristian
Cagnoli, Paolo
Caianiello, Pasquale
Caleiro, Carlos
Calimeri, Francesco
Calvanese, Diego
Calzavara, Stefano
Caminati, Marco B.
Campeotto, Federico
Cantone, Domenico
Capelli, Florent
Cappai, Alberto
Carbone, Alessandra
Cardelli, Luca
Carlos, Marcelo
Carlsson, Mats
Caroprese, Luciano
Carral, David
Carreiro, Facundo
Casadio, Claudia
Cashmore, Michael
Castellan, Simon
Castro, Sergio
Cavada, Roberto
Cerami, Marco
Cerans, Karlis
Cerna, David
Cerny, Pavol
Cerrito, Serenella
Cerutti, Federico
Cervesato, Iliano
Ceska, Milan
Ceylan, İsmail İlkan
Chabane, Yahia
Chai, Ming
Chaki, Sagar
Chamarthi, Harsh Raju
Chandra, Satish
Chang, Bor-Yuh Evan
Chang, Liang
Chapman, Rod
Chapoutot, Alexandre
Charalambidis, Angelos
Charatonik, Witold
Charwat, Günther
Chase, Melissa
Chatterjee, Krishnendu
Chatzikokolakis, Kostas
Chaudhuri, Kaustuv
Chaudhuri, Swarat
Chechik, Marsha
Chemeritskiy, Eugene
Chen, Geng
Chen, Hubie
Chen, Jiang
Chen, Jieying
Chen, Liqun
Chen, Pin Hsiuan
Chen, Taolue
Chen, Tzu-Chun
Chen, Wei
Chen, Xiaoyu
Chen, Yu-Fang
Cheng, Chih-Hong
Chesani, Federico
Chew, Leroy
Chiancone, Andrea
Chiang, Wen-Hong
Chiba, Yuki
Chin, Wei-Ngan
Chistikov, Dmitry
Chlipala, Adam
Chmelík, Martin
Chocron, Paula
Choi, Arthur
Chong, Nathan
Chong, Stephen
Chowdhury, Md Solimul
Chowdhury, Omar
Christ, Juergen
Christiansen, David Raymond
Chu, Geoffrey
Chubaryan, Anahit
Chudnov, Andrey
Chvalovský, Karel
Chyzak, Frédéric
Ciabattoni, Agata
Ciaffaglione, Alberto
Cimatti, Alessandro
Cintula, Petr
Ciobaca, Stefan
Citkin, Alex
Clairambault, Pierre
Clarke, Edmund
Cleaveland, Rance
Clochard, Martin
Cock, David
Codescu, Mihai
Codish, Michael
Codognet, Philippe
Cohen, Cyril
Cohen, Ernie
Cohen, Liron
Cohn, Tony
Cok, David
Colange, Maximilien
Colcombet, Thomas
Collingbourne, Peter
Collins, Sandra
Comini, Marco
Comon-Lundh, Hubert
Condoravdi, Cleo
Conradie, Willem
Console, Marco
Constable, Robert
Cook, Byron
Cooper, Robin
Copello, Ernesto
Coppo, Mario
Coquand, Thierry
Cortier, Véronique
Costantini, Stefania
Costantini, Stefania
Coste-Marquis, Sylvie
Cousin, Michael
Cousot, Patrick
Cousot, Radhia
Coventry, Lynne
Cowles, John
Cox, Arlen
Craig, Andrew
Cramer, Marcos
Crampton, Jason
Creese, Sadie
Creignou, Nadia
Cremers, Cas
Cretin, Julien
Creus, Carles
Crouch, Richard
Cruanes, Simon
Cruz, Flavio
Cruz-Filipe, Luís
Crăciun, Adrian
Cuenca Grau, Bernardo
Culnane, Chris
Curzon, Paul
Cussens, James
Cuteri, Bernardo
Cvrcek, Dan
Czajka, Łukasz
D
D'Agostino, Giovanna
D'Amato, Claudia
D'Antoni, Loris
D'Souza, Deepak
D'Urso, Enrico
Da Silveira, Marcos
Daca, Przemyslaw
Dal Lago, Ugo
Dal Palù, Alessandro
Dalchau, Neil
Damouche, Nasrine
Dang, Thao
Dannenberg, Frits
Danos, Vincent
Dapoigny, Richard
Darwiche, Adnan
Das, Anupam
Datta, Anupam
David, Amélie
Davis, Jared
Davis, Jared
Davis, Jennifer
Dawar, Anuj
De Angelis, Emanuele
De Bra, Paul
de Carvalho, Daniel
De Cat, Broes
De Clercq, Sofie
De Cock, Martine
De Groef, Willem
De Haan, Ronald
de Jong, Hidde
De Liguoro, Ugo
de Maria, Elisabetta
de Mel, Geeth
De Moura, Leonardo
De Nivelle, Hans
de Paiva, Valeria
De Raedt, Luc
de Vrijer, Roel
Debruyne, Christophe
Decker, Stefan
Degorre, Aldric
Deharbe, David
Dei Rossi, Gian-Luca
Del Vescovo, Chiara
Delgrande, James P.
Deligiannis, Pantazis
Dellunde, Pilar
Delzanno, Giorgio
Demirović, Emir
Demri, Stephane
Denecker, Marc
Depauli-Schimanovich, Werner
Dershowitz, Nachum
Dershowitz, Nachum
Desai, Ankush
Despeyroux, Joelle
Deters, Morgan
Detlefsen, Michael
Deutsch, Alin
Devriendt, Jo
Devriese, Dominique
Dezani-Ciancaglini, Mariangiola
Di Noia, Tommaso
Di Nola, Antonio
Di Pierro, Alessandra
Di Sciascio, Eugenio
Diaconescu, Denisa
Diakidoy, Irene-Anna
Diaz, Daniel
Dietz, Emmanuelle-Anna
Dillig, Isil
Dillig, Thomas
Dillinger, Peter
Dima, Catalin
Dimopoulos, Yannis
Dimoulas, Christos
Dinis, Bruno
Distel, Felix
Dittmann, Christoph
Divakaran, Sumesh
Dixon, Clare
Diéguez, Martín
Djeddai, Ala
Dobrinen, Natasha
Dobrinen, Natasha
Dobrowolski, Jan
Dockins, Robert
Doczkal, Christian
Dodaro, Carmine
Dodds, Mike
Doko, Marko
Doligez, Damein
Dolzmann, Andreas
Donaldson, Alastair
Donat-Bouillud, Pierre
Donze, Alexandre
Dorigatti, Michele
Dorzhieva, Marina
Dougherty, Daniel
Doumane, Amina
Doutre, Sylvie
Dovier, Agostino
Dowek, Gilles
Dragan, Ioan
Dragoi, Cezara
Draief, Moez
Dramnesc, Isabela
Dreossi, Tommaso
Dreossi, Tommaso
Dresler, Georg
Dubasi, Mohana Asha Latha
Dubslaff, Clemens
Duck, Gregory J.
Duckham, Matt
Dudenhefner, Andrej
Dufour-Lussier, Valmi
Dufourd, Jean-François
Dundua, Besik
Dunne, Paul E.
Durand, Arnaud
Dusberger, Frederico
Dutertre, Bruno
Dvořák, Wolfgang
Dyrkolbotn, Sjur Kristoffer
Dzik, Wojciech
Dénès, Maxime
Düdder, Boris
E
Eades Iii, Harley
Eastaugh, Benedict
Echenim, Mnacho
Ecke, Andreas
Eckert, Daniel
Edalat, Abbas
Een, Niklas
Egly, Uwe
Eguchi, Naohi
Ehlers, Ruediger
Ehrhard, Thomas
Eisentraeger, Kirsten
Eiter, Thomas
Eiter, Thomas
Eldib, Hassan
Eleftheriou, Pantelis
Eloussi, Lamyaa
Emmes, Fabian
Emmi, Michael
Emoto, Kento
Endrullis, Joerg
Englander, Cecilia
Engström, Fredrik
Erbatur, Serdar
Erdem, Esra
Escardo, Martin
Esik, Zoltan
Esparza, Javier
Espindola, Christian
Espírito Santo, José
Esteban, Guillermo
Esteva, Francesc
Etessami, Kousha
European Masters Program In Computational Logic,
Everaere, Patricia
Everyone,
Ewin, Christopher
F
Faber, Wolfgang
Facchini, Alessandro
Facchini, Stefano
Faggian, Claudia
Fahl, Sascha
Faithfull, Alexander
Faizrahmanov, Marat
Falcão, Pedro
Falkovich, Evgenia
Fallenstein, Benja
Fan, Chuchu
Fan, Tuan-Fang
Fanchon, Eric
Fandiño, Jorge
Farahani, Hadi
Farzan, Azadeh
Faustino Da Silva, Anderson
Feier, Cristina
Fekete, Yoav
Felgenhauer, Bertram
Fellermann, Harold
Fellner, Andreas
Felsing, Dennis
Felty, Amy
Feng, Xinyu
Feng, Zhiyong
Feret, Jerome
Fernandez, Maribel
Fernandez Gil, Oliver
Fernández, Pau
Fernández-Duque, David
Ferrara, Anna Lisa
Ferrari, Mauro
Field, Hartry
Figueira, Diego
Filiot, Emmanuel
Filliatre, Jean-Christophe
Filmus, Yuval
Fink, Michael
Finkbeiner, Bernd
Finkel, Olivier
Finkelstein, Anthony
Finster, Eric
Fionda, Valeria
Fioravanti, Fabio
Fiore, Marcelo
Fiorentini, Camillo
Fioretto, Ferdinando
Fischer, Bernd
Fischer, Vera
Fischl, Wolfgang
Fischmeister, Sebastian
Fisher, Jasmin
Fitting, Melvin
Fitting, Melvin
Flaminio, Tommaso
Floc Olympic Games,
Florido, Mário
Focardi, Riccardo
Focardi, Riccardo
Fokina, Ekaterina
Font, Josep Maria
Fontaine, Pascal
Foreman, Matt
Formisano, Andrea
Forssell, Henrik
Fouilhe, Alexis
Fouquere, Christophe
Fox, Anthony
Fox, Maria
Francez, Nissim
Franconi, Enrico
Frank, Michael
Franklin, Johanna
Fraser, Gordon
Fredrikson, Matt
Freilich, Adam
Freitas, Fred
Freitas, Leo
Fremont, Daniel J.
French, George
Frenkel, Sergey
Freuder, Eugene
Friedman, Sy-David
Frittella, Sabine
Frittella, Sabine
Froeschle, Sibylle
Frohn, Florian
Frolov, Andrey
Frtús, Jozef
Fruehwirth, Thom
Frumin, Daniil
Fränzle, Martin
Fröhlich, Andreas
Fu, Hao Cheng
Fu, Peng
Fuhs, Carsten
Furbach, Ulrich
Furia, Carlo A.
Futatsugi, Kokichi
Függer, Matthias
G
Gabbay, Dov
Gabbrielli, Maurizio
Gableske, Oliver
Gaboardi, Marco
Galatos, Nick
Galeotti, Juan Pablo
Galesi, Nicola
Gall, Daniel
Gallagher, John P.
Gallego Arias, Emilio Jesus
Gambino, Nicola
Gamboa, Ruben
Gan, Edward
Ganesh, Vijay
Ganian, Robert
Gao, Sicun
García-Cerdaña, Àngel
Garg, Deepak
Garg, Pranav
Garlik, Michal
Garreau, Fabien
Garrigue, Jacques
Gascón, Adrià
Gaspers, Serge
Gastin, Paul
Gatens, William
Gauthier, Thibault
Gavanelli, Marco
Gawron-Deutsch, Tobias
Gebser, Martin
Gelfond, Michael
Genot, Emmanuel
Geraedts, Wouter
Gerlich, Ralf
Geron, Bram
Gervet, Carmen
Geser, Alfons
Geser, Alfons
Geuvers, Herman
Gheorghe, Marian
Gherghina, Cristian
Ghilardi, Silvio
Ghilezan, Silvia
Ghosh, Sujata
Giacomin, Massimiliano
Gibbons, Jeremy
Giese, Martin
Giesl, Jürgen
Gilbert, David
Gill, Andrew
Gilmore, Stephen
Gimenez, Stéphane
Giordano, Laura
Girju, Roxana
Girlea, Codruta
Giráldez-Cru, Jesus
Gispert, Joan
Giunchiglia, Enrico
Gladisch, Christoph
Gligoric, Milos
Glimm, Birte
Gliozzi, Valentina
Gmeiner, Karl
Goasdoué, François
Godfroy, Hubert
Godo, Lluis
Godoy, Guillem
Gold, Nicolas
Goldsmith, Michael
Goldstein, Seth
Golinska-Pilarek, Joanna
Gomes, Ana Sofia
Goncharov, Sergey
Goncharov, Sergey
Gondelman, Léon
Gonnord, Laure
Gonschorek, Tim
Gonthier, Georges
Goranko, Valentin
Gordon, Mike
Gore, Rajeev
Gorin, Daniel
Gorogiannis, Nikos
Gottlob, Georg
Goudsmit, Jeroen
Grabmayer, Clemens
Grabowski, Adam
Gradinariu Potop-Butucaru, Maria
Gramegna, Filippo
Grant, Dolores
Grant, Rebecca
Grathwohl, Niels Bjørn Bugge
Grebing, Sarah
Greco, Giuseppe
Green, Matthew
Greenberg, Noam
Gregoire, Benjamin
Grellois, Charles
Greve, David
Griggio, Alberto
Grigolia, Revaz
Grigoriev, Oleg
Grimes, Diarmuid
Grinchtein, Olga
Gritzalis, Dimitris
Gross, Jason
Grossi, Davide
Grossklags, Jens
Grosu, Radu
Grov, Gudmund
Grumberg, Orna
Grun, Casey
Grun, Casey
Grüninger, Michael
Gu, Tianlong
Guagliardo, Paolo
Guan, Shuiwang
Guenot, Nicolas
Guerrieri, Giulio
Guet, Calin
Guglielmi, Alessio
Guiraud, Yves
Gunter, Elsa
Guo, Long
Gupta, Ashutosh
Gupta, Gopal
Gurfinkel, Arie
Gurrin, Brian
Gutierrez, Claudio
Gutierrez, Julian
Gutiérrez Basulto, Víctor
Guttman, Joshua
Gyenis, Zalán
(LC)
H
Haas, Andreas
Haase, Christoph
Habič, Miha
Habli, Ibrahim
Hachtman, Sherwood
Hadarean, Liana
Haeberlen, Andreas
Haeusler, Edward Hermann
Haeusler, Hermann
Haftmann, Florian
Hagemann, Willem
Hagiya, Masami
Hague, Matthew
Halasz, Adam
Hales, Thomas C.
Halevy, Alon
Hall, Benjamin
Halland, Ken
Halpern, Joseph
Hamadi, Youssef
Hamid, Fahmida
Hamilton, Geoff
Hammer, Christian
Hanikova, Zuzana
Hansen, Helle Hvid
Hansen, Henri
Hansen, Peter
Hao, Kecheng
Harbach, Marian
Hardin, David
Harel, David
Hargreaves, Felix
Harrenstein, Paul
Harrison, Amelia
Harrison, John
Harrison-Trainor, Matthew
Harwath, Frederik
Hasuo, Ichiro
Hauesler, Hermann
Hauesler, Hermann
Havle, Oto
He, Fanny
Hecher, Markus
Heifetz, Aviad
Heijltjes, Willem
Heimberg, Lucas
Heitmeyer, Constance
Heizmann, Matthias
Hellström, Lars
Hempel, Nadja
Hendriks, Dimitri
Hensel, Jera
Hentschel, Martin
Henzinger, Thomas
Heras, Jónathan
Herbelin, Hugo
Hermann, Alice
Hermant, Olivier
Hermenegildo, Manuel V.
Hermo, Montserrat
Hernich, André
Hertl, Josef
Herzberg, Frederik
Herzig, Andreas
Hetzl, Stefan
Heule, Marijn
Hewelt, Marcin
Heyman, Tamir
Hibbs, Peter
Hicks, Michael
Higuchi, Kojiro
Hinchey, Michael
Hirokawa, Nao
Hitzler, Pascal
Hoare, Tony
Hoenicke, Jochen
Hoessen, Benoît
Hofbauer, Dieter
Hoffbeck, Eric
Hofferek, Georg
Hofman, Piotr
Hofmann, Martin
Holik, Lukas
Holzer, Andreas
Homola, Martin
Hong, Hoon
Hoos, Holger
Horbach, Matthias
Horcik, Rostislav
Horrocks, Ian
Horsten, Leon
Horvat, Marko
Hoshino, Naohiko
Hostettler, Steve
Hou, Ping
Hou, Tie
Hou, Xiaomei
Houston, Robin
Hritcu, Catalin
Hsu, Justin
Huang, Chung-Hao
Huang, Hao
Huang, Wei
Huang, Xiaowei
Huang, Zhenqi
Huang, Zhisheng
Hughes, Dominic
Hulette, Geoffrey C.
Hungar, Hardi
Hunt, Warren
Hunter, Aaron
Hunter, Anthony
Hunter, Paul
Husam, Husam
Hyttinen, Tapani
Hähnle, Reiner
Höfner, Peter
Höhnerbach, Markus
Hölldobler, Steffen
Hölzl, Johannes
Hölzl, Rupert
I
Ianovski, Egor
Ibanez-Garcia, Yazmin
Iemhoff, Rosalie
Ieva, Saverio
Ignatiev, Alexey
Ikegami, Daisuke
Ilic, Mirjana
Ilik, Danko
Immerman, Neil
Inaba, Mary
Incurvati, Luca
Inverso, Omar
Ionescu, Cezar
Ipate, Florentin
Ireland, Andrew
Irigoin, François
Ishtiaq, Samin
Issakhov, Assylbek
Istrate, Gabriel
Itsykson, Dmitry
Itzhaky, Shachar
Ivanov, Alexandre
Ivanova, Marieta Georgieva
J
Jabbour, Said
Jackson, Ethan K.
Jackson, Paul
Jacobs, Swen
Jacot, Justine
Jacquemard, Florent
Jaeger, Gerhard
Jagadeesan, Radha
Jagannathan, Suresh
Jagiella, Grzegorz
Jameel, Tahir
Jami, Madiha
Janhunen, Tomi
Janota, Mikoláš
Jansana, Ramon
Jansen, Joachim
Janssens, Gerda
Jansson, Patrik
Jaśkiewicz, Grzegorz
Jeannin, Jean-Baptiste
Jeffrey, Alan
Jegou, Philippe
Jenei, Sándor
Jeske, Debora
Jeřábek, Emil
Jha, Somesh
Jha, Susmit
Ji, Jianmin
Ji, Ran
Jia, Limin
Jiang, Dongchen
Jiang, Jie-Hong Roland
Jiang, Ying
Jimenez-Ruiz, Ernesto
Jipsen, Peter
Johannsen, Jacob
Johannsen, Jan
Johnson, Benjamin
Johnson, Robert F.
Jones, Alison
Jones, Cliff B.
Joosten, Joost
Joosten, Sebastiaan
Jordan, Charles
Jouannaud, Jean-Pierre
Jovanović, Dejan
Judge, Mark
Jung, Jean Christoph
Jungnickel, Tim
Juniwal, Garvit
Järvisalo, Matti
K
Kaci, Souhila
Kafle, Bishoksan
Kahl, Patrick
Kahl, Wolfram
Kahle, Reinhard
Kahrs, Stefan
Kaiser, Lukasz
Kakas, Antonis
Kalimullin, Iskander
Kaliszyk, Cezary
Kalvala, Sara
Kamal, Amroun
Kaminski, Mark
Kaminski, Roland
Kammueller, Florian
Kanav, Sudeep
Kanazawa, Makoto
Kang, Juyeon
Kanovei, Vladimir
Kanovich, Max
Kapinski, Jim
Kapur, Deepak
Karimi, Ahmad
Karthik, Aadithya V.
Kaski, Samuel
Kataoka, Takumi
Kataoka, Toshiki
Kato, Tomofumi
Katoen, Joost-Pieter
Katsaros, Panagiotis
Katsoris, Georgios
Katz, Jonathan
Kaufmann, Benjamin
Kaufmann, Matt
Kaynar, Dilsun
Kazakov, Yevgeny
Kazemi, Seyed Mehran
Keet, C. Maria
Keller, Chantal
Kelly, Tim
Kerber, Manfred
Kerhet, Volha
Kerjean, Marie
Kern-Isberner, Gabriele
Kersting, Kristian
Kesala, Meeri
Kesner, Delia
Ketema, Jeroen
Khadir, Tarek
Khalimov, Ayrat
Khan, Wilayat
Khan, Zubeida
Khandelwal, Piyush
Khanna, Sanjeev
Kharlamov, Evgeny
Khlaaf, Heidy
Khoussainov, Bakhadyr
Kiefer, Stefan
Kieronski, Emanuel
Kikot, Stanislav
Kikuchi, Kentaro
Kiljan, Sven
Kimmig, Angelika
King, Tim
Kirchner, Claude
Kirchner, Florent
Kirsch, Christoph
Kirsten, Michael
Kisa, Doga
Kislak-Malinowska, Aleksandra
Kissinger, Aleks
Klarman, Szymon
Klarman, Szymon
Klaska, David
Klebanov, Vladimir
Klein, Gerwin
Klein, Joachim
Klin, Bartek
Klinov, Pavel
Klop, Jan Willem
Klueppelholz, Sascha
Kluka, Jan
Knight, Julia
Knoop, Jens
Ko, Hsiang-Shang
Koenig, Barbara
Koenighofer, Robert
Koerwien, Martin
Kogabaev, Nurlan
Kohlhase, Michael
Kohlweiss, Markulf
Kojima, Ryosuke
Kolaitis, Phokion
Kolanski, Rafal
Kolodziejczyk, Leszek
Komendantskaya, Ekaterina
Komuravelli, Anvesh
Kondoh, Shuya
Konev, Boris
Konieczny, Sébastien
Konikowska, Beata
Kontchakov, Roman
Konur, Savas
Koopmann, Patrick
Kop, Cynthia
Korhonen, Janne H.
Korovin, Konstantin
Korovin, Konstantin
Koskinen, Eric
Kosta, Marek
Kostrzycka, Zofia
Kostylev, Egor V.
Kotek, Tomer
Kotelnikov, Evgeny
Kovacs, Laura
Kovalev, Mikhail
Kovtunova, Alisa
Kovásznai, Gergely
Kowalski, Tomasz
Kozen, Dexter
Kragl, Bernhard
Krasnogor, Natalio
Kraus, Lydia
Krebbers, Robbert
Kretinsky, Jan
Kreutzer, Stephan
Kriener, Jael
Krivine, Jean
Kroening, Daniel
Kroll, Joshua
Kronegger, Martin
Kropotin, Alexander
Kroupa, Tomáš
Krötzsch, Markus
Kuan, George
Kucera, Antonin
Kugler, Hillel
Kullmann, Oliver
Kulpeshov, Beibut
Kumar, Ramana
Kumar Jha, Sumit
Kuncak, Viktor
Kunz, Cesar
Kunčar, Ondřej
Kuperberg, Denis
Kupfermann, Orna
Kupke, Clemens
Kupriyanov, Andrey
Kurt Gödel Research Prize Fellowships Program,
Kurz, Alexander
Kusakari, Keiichirou
Kutsia, Temur
Kutsia, Temur
Kutz, Oliver
Kuyper, Rutger
Kuznets, Roman
Kuznetsov, Stepan
Kwiatkowska, Marta
Kwiatkowska, Marta
Kyriakopoulos, Charalampos
Königsmann, Jochen
L
La Torre, Salvatore
Labai, Nadia
Labich, Nicholas
Lackner, Martin
Ladroue, Christophe
Lager, Torbjörn
Lahav, Ori
Lakemeyer, Gerhard
Lam, Edmund Soon Lee
Lamma, Evelina
Lammich, Peter
Lampis, Michael
Lamport, Leslie
Lampropoulos, Leonidas
Lang, Martin
Lange, Christoph
Lange, Martin
Langenstein, Bruno
Lanti, Davide
Lapenta, Serafina
Laporte, Vincent
Lara-Martin, Andres Cordon-Franco And F. Felix
Larraz, Daniel
Lash,
Laskowski, Michael C.
Lasota, Sławomir
Laszka, Aron
Laud, Peeter
Laur, Sven
Lauria, Massimo
Lawrence, David
Lawrynowicz, Agnieszka
Lazić, Ranko
Le, Quang Loc
Le, Tiep
Le, Xuan Hung
Le Ber, Florence
Le Berre, Daniel
Le Roux, Stephane
Le Sueur, Chris
Lederman, Harvey
Ledesma-Garza, Ruslán
Lee, Joohyung
Lee, Jui-Lin
Lee, Suho
Legg, Alexander
Legg, Philip
Leike, Jan
Leite, Joao
Leitsch, Alexander
Lellmann, Björn
Lembo, Domenico
Lenzerini, Maurizio
Lenzi, Giacomo
Leo, Jared
Leong, Lance
Lepore, Lorenzo
Leroux, Jerome
Leroy, Xavier
Lesani, Mohsen
Leslie-Hurd, Joe
Letichevsky, Alexander
Letychevskyi, Oleksandr
Leuschel, Michael
Leustean, Ioana
Leustean, Laurentiu
Levesque, Hector J.
Levy, Jordi
Levy, Paul Blain
Lewis, Robert Y.
Leyva Galano, José A.
Lhoussaine, Cedric
Li, Kangjie
Li, Nuo
Li, Sanjiang
Li, Wei
Li, Yuefeng
Liang, Hongjin
Liang, Tianyi
Liau, Churn-Jung
Libal, Tomer
Libby, Steven
Libkin, Leonid
Licata, Daniel
Lieber, Jean
Liebig, Thorsten
Liefke, Kristina
Liew, Dan
Lifschitz, Vladimir
Liiva, Kristjan
Lima, Leonardo
Lin, Fangzhen
Lin, Mengxiang
Lin, Shang-Wei
Lin, Yuhui
Linard, Alban
Lincoln, Patrick
Lindauer, Marius
Lindblad, Fredrik
Linsbichler, Thomas
Lio', Pietro
Lisitsa, Alexei
Liskov, Moses
Litak, Tadeusz
Liu, Jia
Liu, Jiaxiang
Liu, Weiming
Liu, Yang
Lochbihler, Andreas
Loding, Christof
Loewe, Benedikt
Logas, Heather
Lomazova, Irina
Lombardi, Carlos
Lomuscio, Alessio
Lonca, Emmanuel
Long, Zhiguo
Lonlac, Jerry
Lonsing, Florian
Lopez-Garcia, Pedro
Losemann, Katja
Loseto, Giuseppe
Loulergue, Frédéric
Lovotti, Irene
Lozes, Etienne
Lubarsky, Robert
Lubinski, Cm
Lucanu, Dorel
Luccio, Flaminia
Lucio, Paqui
Ludwig, Michel
Lukasiewicz, Thomas
Luo, Jie
Luque, Amneris
Lutz, Carsten
Lyaletski, Alexander
Lyde, Steven
Lynce, Ines
Lysyanskaya, Anna
López Bóbeda, Edmundo
Lücke, Philipp
Lüth, Christoph
M
Ma, Yue
Mackie, Ian
Madarász, Judit X.
Madelaine, Guillaume
Madhavan, Ravichandhran
Madhusudan, P.
Maffezioli, Paolo
Maghsoodi, Aisan
Magill, Stephen
Mahajan, Yogesh
Mahboubi, Assia
Mahdi, Ahmed
Mahmoud, Mohamed Yousri
Maieli, Roberto
Mailly, Jean-Guy
Maisonneuve, Vivien
Majer, Ondrej
Majumdar, Rupak
Makowsky, Johann
Malbos, Philippe
Malecha, Gregory
Maler, Oded
Malheiros, Yuri
Malicki, Maciej
Malizia, Enrico
Malone, Brandon
Malozemoff, Alex
Mamino, Marcello
Mamouras, Konstantinos
Mancarella, Paolo
Mancini, Luca
Manferdelli, John
Mann, Zoltan
Manna, Marco
Mannaa, Bassel
Manoharan, Praveen
Manolios, Panagiotis
Manquinho, Vasco
Mansky, William
Mantadelis, Theofrastos
Mantel, Heiko
Manthey, Norbert
Maoz, Shahar
Mar, Gary
Maratea, Marco
Marcelino, Sérgio
Marché, Claude
Marciuska, Sarunas
Marcone, Alberto
Marcos, João
Marcos, Mar
Mardziel, Piotr
Marechal, Alexis
Marengo, Elisa
Margaria, Ines
Maric, Filip
Marin, Mircea
Marin, Paolo
Marin, Sonia
Marinov, Darko
Marion, Jean-Yves
Mariotti, Alessandro
Marple, Kyle
Marques-Silva, Joao
Marquis, Pierre
Marra, Vincenzo
Marrano, Rossella
Marrella, Andrea
Marshall, Andrew M.
Martel, Matthieu
Martens, Moritz
Martens, Wim
Marti, Johannes
Martimiano, Taciane
Martin-Recuerda, Francisco
Martina, Jean Everson
Martinez, Maria Vanina
Martinez-Fernandez, Jose
Martins, Ruben
Marto, Marcus
Martínez-Salvador, Begoña
Marx, Dániel
Maršík, Jiří
Masci, Paolo
Massolo, Alba
Matentzoglu, Nicolas
Matentzoglu, Nicolas
Matichuk, Daniel
Matthes, Ralph
Maurer, Ueli
Maurice, Bruynooghe
Mauro, Jacopo
May, Eva
Mayer, Jonathan
Mayo, Jackson R.
Mayr, Richard
Mazowiecki, Filip
Mazza, Damiano
McCleeary, Ryan
McClurg, Jedidiah
McIlraith, Sheila
McInerney, Michael
McIver, Annabelle
McKenney, Paul
McMillan, Kenneth
McNeill, Daniel
Meadows, Catherine
Mecella, Massimo
Meert, Wannes
Mehnert, Hannes
Mehta, Deepak
Mehto, Shweta
Meiklejohn, Sarah
Meilicke, Christian
Meir, Nadav
Mejía, Diego A.
Melikhov, Sergey
Melliès, Paul-André
Melquiond, Guillaume
Mena, Eduardo
Menezes de Morais, Eduardo
Mengel, Stefan
Mennicke, Roy
Mens, Kim
Mereacre, Alexandru
Mereuta, Radu
Merkle, Daniel
Mermelstein, Omer
Merz, Stephan
Meseguer, Jose
Meseguer, Jose
Mesnard, Frederic
Metcalfe, George
Meumann, Thomas
Meunier, Noémie
Meyer, Philipp
Meyer, Roland
Meyer, Thomas
Meyer Zu Hörste, Michael
Miao, Daniela
Michael, Loizos
Michaliszyn, Jakub
Michalowski, Martin
Michalowski, Wojtek
Micheli, Andrea
Miculan, Marino
Middeldorp, Aart
Mierla, Laurentiu
Might, Matthew
Mikirtumov, Ivan
Miksa, Mladen
Milani, Alfedo
Milani, Alfredo
Milano, Michela
Milazzo, Paolo
Mileo, Alessandra
Miller, Benjamin
Miller, Christian
Miller, Dale
Miller, Rob
Miller, Russell
Miller, Sheila
Millet, Laure
Millstein, Todd
Mimram, Samuel
Minarro-Giménez, José Antonio
Miné, Antoine
Mio, Matteo
Miquel, Alexandre
Mirek, Ryszard
Mishchenko, Alan
Misra, Neeldhara
Mitchell, David
Mitra, Sayan
Mnatsakanyan, Armen
Mogavero, Fabio
Mohammadi, Esfandiar
Molick, Sanderson
Molinaro, Cristian
Molnar, Attila
Mombourquette, Brent
Monmege, Benjamin
Monniaux, David
Montagna, Franco
Montalban, Antonio
Montali, Marco
Montani, Stefania
Moodley, Kody
Moore, Brandon
Moore, J
Moore, Scott
Morak, Michael
Morales, Jose F.
Moraschini, Tommaso
Morawska, Barbara
Morgado, Antonio
Morgan, Carroll
Morgenstern, Leora
Morozov, Alexei A.
Morozov, Andrey
Morrisett, Greg
Morton, Wilmari
Moser, Georg
Moshier, M. Andrew
Moss, Lawrence S.
Mossakowski, Till
Mostowski, Wojciech
Mota, Miguel Angel
Motik, Boris
Moura, Joao
Moura, Paulo
Mover, Sergio
Mruczek-Nasieniewska, Krystyna
Mu, Chunyan
Mueller, Moritz
Mueller-Theys, Joachim
Mugnier, Marie-Laure
Muller, Jean-Michel
Munch-Maccagnoni, Guillaume
Munera, Danny
Murali, Vijayaraghavan
Murano, Aniello
Muravitsky, Alexei
Murawska, Agata
Muroya, Koko
Murray, John
Murray, Toby
Musliu, Nysret
Muñoz, Pablo
Myllymäki, Petri
Myreen, Magnus O.
Méndez, José M.
Mödersheim, Sebastian A.
Möller, Ralf
Möller, Sebastian
Mörtberg, Anders
Møgelberg, Rasmus Ejlers
Møller, Anders
N
Nachmanson, Lev
Nadathur, Gopalan
Nadel, Alexander
Nagai, Tomoharu
Nagashima, Masanori
Nagele, Julian
Najvirt, Robert
Nakazawa, Koji
Nalbandyan, Hakob
Nalon, Cláudia
Namjoshi, Kedar
Nampally, Arun
Narayan, Arjun
Narayan Kumar, K.
Narboni, G.
Narendran, Paliath
Narodytska, Nina
Nassar, Muhammad
Natarajan, Sriraam
Naumann, David
Navarro Perez, Juan
Naves, Guyslain
Nehmeier, Marco
Neider, Daniel
Nemouchi, Yakoub
Nemytykh, Andrei
Nenov, Yavor
Nepeivoda, Antonina
Nepejvoda, Nikolay
Neron, Pierre
Nesbeth, Darren
Nestmann, Uwe
Neuenstadt, Christian
Neumann, René
Newsham, Zack
Newton, Ryan
Ngo, Nhung
Nguyen, Duc
Nguyen, Truc L.
Nguyen, Truong Khanh
Nickles, Matthias
Nicolosi-Asmundo, Marianna
Niehren, Joachim
Nielebock, Sebastian
Nielson, Flemming
Nielson, Hanne Riis
Nigam, Vivek
Nigam, Vivek
Niksic, Filip
Nimal, Vincent
Nimkar, Kaustubh
Nipkow, Tobias
Nishida, Naoki
Nizamani, Abdul Rahim
Nogatz, Falco
Nogina, Elena
Noguera, Carles
Nordström, Jakob
Norman, Timothy
Norrish, Michael
Noschinski, Lars
Nourani, Cyrus F
Novikova, Tatyana
Novotný, Petr
Nowak, Thomas
Nowé, Ann
Nurse, Jason
Németi, István
O
O'Leary, John
O'Sullivan, Barry
Occhipinti, Annalisa
Ochremiak, Joanna
Ogata, Kazuhiro
Ogawa, Mizuhito
Oh, Chanseok
Oitavem, Isabel
Okada, Mitsuhiro
Oladimeji, Patrick
Olarte, Carlos
Olarte, Carlos
Olembo, Maina
Olesen, Kerry
Oliva, Paulo
Oliveras, Albert
Olivetti, Nicola
Olteanu, Dan
Oms, Sergi
Ong, Luke
Ongoma, E. A. Nasubo
Ono, Hiroakira
Ordyniak, Sebastian
Oren, Nir
Ortiz, Magdalena
Ortmeier, Frank
Ospichev, Sergey
Otten, Jens
Otto, Carsten
Ouaknine, Joel
Ovchinnikova, Ekaterina
Oveisi, Mehrdad
Owens, Scott
Oyamaguchi, Michio
Ozaki Rivera Castillo, Ana
P
Padovani, Luca
Pagani, Michele
Pagnucco, Maurice
Pakhomov, Fedor
Palacín, Daniel
Palamidessi, Catuscia
Palikareva, Hristina
Palmigiano, Alessandra
Palsberg, Jens
Panangaden, Prakash
Panny, Lorenz
Paoletti, Nicola
Paoletti, Nicola
Papacchini, Fabio
Papadimitriou, Christos
Papini, Odile
Papp, Pal
Paraskevopoulou, Zoe
Pardini, Giovanni
Parent, Xavier
Parikh, Rohit
Park, Jennifer
Parkinson, Matthew
Parlato, Gennaro
Parsia, Bijan
Parvizi, Artemis
Parys, Paweł
Paskevich, Andrei
Pass, Rafael
Passmore, Grant
Pathak, Shashank
Patoglu, Volkan
Patrick, Saint Dizier
Patrizi, Fabio
Pattinson, Dirk
Paulin-Mohring, Christine
Paulson, Lawrence
Pauly, Arno
Pavlinovic, Zvonimir
Payet, Étienne
Paykin, Jennifer
Pearce, Adrian
Pearce, David
Pearson, Justin
Pease, Adam
Pedrini, Andrea
Pelletier, Francis Jeffry
Pellissier, Luc
Peltier, Nicolas
Peltonen, Jaakko
Peppas, Pavlos
Perdrix, Simon
Pereira, Fernando
Pereira, Luiz Carlos
Pereira, Luís Moniz
Pereira, Mário
Perez, Guillermo
Perlmutter, Norman Lewis
Perner, Matthias
Perrinel, Matthieu
Perrussel, Laurent
Peschanenko, Vladimir
Peters, Kirstin
Petrank, Erez
Petric Maretic, Grgur
Petrisan, Daniela
Petrolo, Mattia
Pettorossi, Alberto
Peñaloza, Rafael
Pfandler, Andreas
Pfenning, Frank
Philipp, Tobias
Phillips, Andrew
Piazza, Carla
Pich, Ján
Pichardie, David
Pichler, Reinhard
Pientka, Brigitte
Pierce, Benjamin C.
Pieris, Andreas
Piessens, Frank
Piette, Cédric
Pimentel, Elaine
Pinosio, Riccardo
Pinto, Alexandre
Pinto, Luís
Piro, Robert
Pirró, Giuseppe
Piskac, Ruzica
Pistone, Paolo
Pitcher, Corin
Piterman, Nir
Pizani Flor, João Paulo
Place, Thomas
Plaisted, David
Planes, Jordi