FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
GLOBAL TALK AUTHOR INDEX
A
Abate, Alessandro
Abraham, Erika
Abrahamsson, Oskar
Accattoli, Beniamino
Acclavio, Matteo
Ackerman, Nathanael
Adamek, Jiri
Adams, Michael D.
Afshari, Bahareh
Agarwal, Chaitanya
Aguilera, Juan
Ahrens, Benedikt
Aiswarya, C.
Akgun, Ozgur
Akshay, S.
Albert, Elvira
Alberti, Marco
Albini, Emanuele
Alechina, Natasha
Alexander, Christopher
Algehed, Maximilian
Alkmim, Bernardo
Allouche, David
Alos, Josep
Alrabbaa, Christian
Alt, Leonardo
Alur, Rajeev
Alvarez-Picallo, Mario
Alves, Sandra
Amendola, Arturo
Amendola, Giovanni
Amir, Guy
Anastacio, Marie
Anders, Markus
Anonymous, Anonymous
Ansótegui, Carlos
Antonelli, Melissa
Aoto, Takahito
Appel, Andrew W.
Arbelaez, Alejandro
Arden, Owen
Arias, Joaquin
Arieli, Ofer
Arnaout, Hiba
Arrighi, Emmanuel
Artikis, Alexander
Arvind,
Asada, Kazuyuki
Asilis, Julian
Asimi, Kristina
Aspis, Yaniv
Asplund, Mikael
Aubert, Clément
Audemard, Gilles
Avanzini, Martin
Ayala-Rincón, Mauricio
Azimov, Rustam
Azzolini, Damiano
B
Baader, Franz
Baanen, Anne
Baaz, Matthias
Babaki, Behrouz
Baccelli, Emmanuel
Bach, Jakob
Badings, Thom
Bae, Kyungmin
Baelde, David
Baeta, Nuno
Bak, Stanley
Baker, Clayton
Balaji, Nikhil
Balbiani, Philippe
Balcan, Maria-Florina
Baldazzi, Teodoro
Baldi, Paolo
Balintová, Iveta
Balintová, Iveta
Baltag, Alexandru
Baluch, Miroslav
Bang, Seongwon
Banković, Milan
Bannach, Max
Banno, Ryotaro
Bansal, Suguman
Bao, Jialu
Bapanapally, Jagadish
Barbarossa, Davide
Barbone, Mark
Barbosa, Haniel
Barloy, Corentin
Baroni, Pietro
Barrett, Clark
Barthe, Gilles
Barto, Libor
Barwell, Adam
Basin, David
Basrur, Chaithanya
Bastani, Osbert
Basu, Kinjal
Baudon, Thaïs
Baunsgaard Kristensen, Magnus
Becchi, Anna
Becker, Heiko
Beckman, Arnold
Bednarczyk, Bartosz
Beierle, Christoph
Beldiceanu, Nicolas
Beldjilali, Abdelkader
Belle, Vaishak
Bellodi, Elena
Bellomarini, Luigi
Bellés-Muñoz, Marta
Benz, Chloe
Benzmüller, Christoph
Beohar, Harsh
Berden, Senne
Bereczky, Péter
Berent, Lucas
Berg, Jeremias
Bergsträßer, Pascal
Beringer, Lennart
Bernreiter, Michael
Berthold, Matti
Bessai, Jan
Bessiere, Christian
Besson, Frédéric
Beutner, Raven
Beyer, Dirk
Beyersdorff, Olaf
Bezhanishvili, Nick
Bian, Song
Bidoit, Nicole
Bienvenu, Meghyn
Bienvenu, Meghyn
Biere, Armin
Biernacka, Małgorzata
Bilkova, Marta
Billi, Marco
Birkedal, Lars
Bjørner, Nikolaj
Blaisdell, Eben
Blanchette, Jasmin
Blanco, Roberto
Blanqui, Frédéric
Bleukx, Ignace
Blicha, Martin
Blondin, Michael
Blot, Valentin
Blümel, Lydia
Boborová, Janka
Boborová, Janka
Bode, Vincent
Boeira, Felipe
Boey, Bernard
Bogaerts, Bart
Bogaerts, Bart
Bogomolov, Sergiy
Bonacina, Ilario
Bonacina, Maria Paola
Bonakdarpour, Borzoo
Bonatti, Piero
Bonet, Blai
Bonet, Maria Luisa
Bonnet, Édouard
Booth, Richard
Borca-Tasciuc, Giorgian
Bordini, Rafael H.
Borg, Annemarie
Borgida, Alex
Borgwardt, Stefan
Borgyos, Szabolcs
Bouajjani, Ahmed
Boudreault, Raphaël
Bouraoui, Zied
Bourgaux, Camille
Bourhis, Pierre
Boutglay, Wael-Amine
Bouziane, Hinde
Bozga, Marius
Bozzato, Loris
Brady, Edwin
Brain, Martin
Braje, Timothy
Brieulle, Ludovic
Bright, Curtis
Brockschmidt, Marc
Broda, Krysia
Bromberger, Martin
Brown, Chad
Brown, Chad
Brown, Chad
Brown, Christopher
Brozius, Wouter
Bruynooghe, Maurice
Bryant, Randal
Bueri, Lucas
Bun, Mark
Burel, Guillaume
Burgholzer, Lukas
Bursuc, Sergiu
Buss, Sam
Butti, Silvia
Bydzovsky, Jan
Böhm, Benjamin
Böhm, Klemens
C
Cabral, Miguel
Cadilhac, Michaël
Cai, Shaowei
Cailler, Julie
Calegari, Roberta
Calimeri, Francesco
Calvanese, Diego
Cappart, Quentin
Cappart, Quentin
Carbonnel, Clément
Carral, David
Carro, Manuel
Carro, Manuel
Casadio, Marco
Casini, Giovanni
Castro, Pablo
Cauli, Claudia
Cavada, Roberto
Ceragioli, Lorenzo
Cerna, David
Chakraborty, Sourav
Chakraborty, Supratik
Chandar, Sarath
Charalambidis, Angelos
Charatonik, Witold
Charguéraud, Arthur
Chatterjee, Krishnendu
Chatterjee, Prantik
Cheang, Kevin
Chen, Carol
Chen, Dingding
Chen, Haibo
Chen, Mingshuai
Chen, Taolue
Chen, Zhuo
Chen, Ziyu
Cherif, Mohamed Sami
Cheukam-Ngouonou, Jovial
Cheung, Kevin K. H.
Cheval, Vincent
Chew, Leroy
Chiariello, Francesco
Chida, Nariyoshi
Chingoma, Julian
Chistikov, Dmitry
Chlebowski, Szymon
Chlipala, Adam
Choi, Joonwon
Chortaras, Alexandros
Chowdhury, Md Solimul
Chrpa, Lukáš
Chun, Inwhan
Ciampi, Michele
Cifra, Milan
Cima, Gianluca
Cimatti, Alessandro
Cintula, Petr
Classen, Jens
Climent, Laura
Cloerkes, Daniel
Coenen, Norine
Cohen, Joshua M.
Cohen, Liron
Colange, Maximilien
Collenette, Joe
Confalonieri, Roberto
Contissa, Giuseppe
Cooper, Martin
Coppé, Vianney
Cortier, Veronique
Costantini, Stefania
Coulombe, Christopher
Cousineau, Denis
Cozman, Fabio
Crance, Enzo
Crubillé, Raphaëlle
Cseh, Ágnes
Cuenca Grau, Bernardo
Cunningham, Robert
Curry, Timothy
Curzi, Gianluca
Cuteri, Bernardo
Czajka, Lukasz
Czerwiński, Wojciech
Câmara, Igor de Camargo E Souza
Côté, Alain
D
D'Argenio, Pedro R.
Dachselt, Raimund
Daggitt, Matthew L.
Dagnino, Francesco
Dahlqvist, Fredrik
Dal Lago, Ugo
Dallon, Antoine
Dalmonte, Tiziano
Dana-Picard, Noah
Dang, Nguyen
Dardinier, Thibault
Dartois, Luc
Darulova, Eva
Das, Anupam
Date, Faustin Yao
Davila, Jacinto
Dawar, Anuj
De, Abhishek
de Almeida Borges, Ana
De Angelis, Emanuele
De Bortoli, Filippo
de Camargo E Souza Câmara, Igor
de Felice, Giovanni
de Frutos-Fernández, María Inés
De Giacomo, Giuseppe
de Givry, Simon
de Haan, Ronald
De Oliveira Oliveira, Mateus
De Raedt, Luc
de Sousa Ribeiro, Manuel
de Vries, Ben
Degano, Pierpaolo
Delahaye, David
Delannoy, Remi
Delaune, Stephanie
Delecluse, Augustin
Delgrande, James
Demasi, Ramiro
Denecker, Marc
Dennis, Louise
DePace, Gabe
Derek, Ante
Derkinderen, Vincent
Dervakos, Edmund
Dervakos, Edmund
Desharnais, Martin
Devriese, Dominique
Dhami, Devendra Singh
Di, Jieqi
Di Lavore, Elena
Di Stefano, Federica
Di Stefano, Federica
Dietz, Emmanuelle-Anna
Dilkas, Paulius
Dill, David
Dillies, Yaël
Dimitrov, Dimitar I.
Ding, Ming
Dixon, Clare
Dixon, Clare
Diéguez, Martín
Dollase, Stefan
Douence, Rémi
Doumane, Amina
Doveri, Kyveli
Dowek, Gilles
Doyen, Laurent
Drab, Tomasz
Drachsler Cohen, Dana
Draheim, Dirk
Dreier, Jan
Drăgan, Constantin Cătălin
Du, Hanxiang
Duarte, André
Dubois, Jérôme
Dudenhefner, Andrej
Dudenhefner, Andrej
Dung, Ho Tuan
Dupressoir, François
Dupuis, Frédéric
Duret-Lutz, Alexandre
Durán, Francisco
Dvořák, Wolfgang
Dwyer Satterfield, Saraid
Díaz-Caro, Alejandro
E
Echenim, Mnacho
Eckel, Rory
Edmonds, Chelsea
Eifler, Rebecca
Eisenhofer, Clemens
Eiter, Thomas
Eiter, Thomas
Eiter, Thomas
Ek, Alexander
Eker, Steven
El-Kholany, Mohammed
El-Korashy, Akram
Elmassad, Mohamed
Endriss, Ulle
Endrullis, Jörg
Erbatur, Serdar
Erbsen, Andres
Erdem, Esra
Escamocher, Guillaume
Eschen, Agnes Moesgård
Escobar, Santiago
Esen, Zafer
Espasa, Joan
Estaji, Ehsan
Evdokimova, Anastasiia
Everardo, Flavio
F
Faber, Wolfgang
Faella, Marco
Faggian, Claudia
Fainekos, Georgios
Falakh, Faiq Miftakhul
Falleri, Jean-Rémy
Fan, Yuxin
Fang, Bin
Fang, Wang
Fargier, Helene
Favorito, Marco
Fehrle, Jim
Felicissimo, Thiago
Felli, Paolo
Felty, Amy
Feng, Weizhi
Ferilli, Stefano
Fernandes, Natasha
Fernandez, Maribel
Fernandez Gil, Oliver
Fernández-Duque, David
Ferrando, Andrea
Ferrari, Mauro
Ferreira, João
Ferreira Santos, Felipe
Ferreira Silva, Gabriel
Fichte, Johannes K.
Fidan, Müge
Figueira, Diego
Fijalkow, Nathanaël
Filandrianos, Giorgos
Findelair, Arthur
Finkbeiner, Bernd
Finster, Eric
Fioravanti, Fabio
Fiore, Marcelo
Fiorentini, Camillo
Fischer, Marc
Flaminio, Tommaso
Fodor, Paul
Fokkinga, Daniël
Ford, Chase
Formisano, Andrea
Forster, Yannick
Fortin, Marie
Fox, Anthony
Fraccaroli, Michele
Francescutto, Giulia
Franconi, Enrico
Frank, Jeremy
Freer, Cameron
Freiberger, Felix
Fremont, Daniel
Frenkel, Hadar
Friese, Tom
Frittella, Sabine
Frohn, Florian
From, Asta Halkjær
Fu, Hongfei
Fuenmayor, David
Fuhs, Carsten
Fujita, Tomohiro
Fuller, Benjamin
Funk, Maurice
Fussner, Wesley
G
Gabbay, Dov
Gaboardi, Marco
Gaddamadugu, Pranav
Gaevoy, Nikita
Gaggl, Sarah Alice
Gaha, Mohamed
Gajarský, Jakup
Galal, Zeinab
Galesi, Nicola
Gallego Arias, Emilio Jesús
Galletta, Letterio
Gallicchio, James
Galmiche, Didier
Gamba, Emilio
Gamboa, Ruben
Ganardi, Moses
Ganesh, Vijay
Ganian, Robert
Ganty, Pierre
Gao, Junsong
García Pradales, Guillermo
Gardner, Philippa
Garg, Deepak
Garg, Siddharth
Garzón, Iván
Gastin, Paul
Gavazzo, Francesco
Gaysin, Azza
Gbaguidi Aisse, Alexandre
Gebser, Martin
Geffner, Hector
Gehl, Tobias
Geibinger, Tobias
Geleßus, David
Gencer, Cigdem
Gengelbach, Arve
Gentzel, Rebecca
Geoffroy, Guillaume
Georges, Aïna Linn
Gerevini, Alfonso Emilio
Geser, Alfons
Ghica, Dan
Ghosh, Arka
Giannakopoulou, Dimitra
Gianola, Alessandro
Giesl, Jürgen
Gigante, Nicola
Gil-Pons, Reynaldo
Gilio, Angelo
Gillard, Clément
Gillard, Xavier
Gindullin, Ramiz
Giordano, Laura
Girlando, Marianna
Giráldez-Cru, Jesús
Gittis, Andreas
Gjøsteen, Kristian
Glauer, Martin
Gleißner, Tobias
Glimm, Birte
Glinskih, Ludmila
Gliozzi, Valentina
Gloaguen, Kevin
Gocht, Stephan
Godbole, Adwait
Godo, Lluis
Goel, Nikhil
Goertzel, Zarathustra
Goharshady, Amir Kafshdar
Golia, Priyanka
Gombárová, Samantha
Gomez, Rocio
Goncharov, Sergey
Gondron, Sébastien
Gonnord, Laure
Gonçalves, Ricardo
Gordillo, Pablo
Gottlob, Georg
Goubault, Eric
Grabmayer, Clemens
Graham-Lengrand, Stéphane
Gratzer, Daniel
Grieskamp, Wolfgang
Griggio, Alberto
Gros, Timo P.
Gross, Jason
Grädel, Erich
Gu, Zhenzhen
Guan, Ji
Guerrieri, Giulio
Guha, Shibashis
Gunawan, Alvaro
Guns, Tias
Guo, Liye
Gupta, Aarti
Gupta, Gopal
Gutierrez-Basulto, Victor
Gutin, Gregory
Gutiérrez, Raúl
Gutowski, Albert
Gutsfeld, Jens Oliver
Guéneau, Armaël
Gómez Álvarez, Lucía
Gómez-Londoño, Alejandro
H
H. Pham, Long
Haas, Thomas
Haase, Christoph
Habermehl, Peter
Habet, Djamal
Hader, Thomas
Haeusler, Edward
Haga, Ryota
Hagens, Kasper
Hahn, Christopher
Haifani, Fajar
Haifani, Fajar
Haines, Thomas
Hajdu, Marton
Haldimann, Jonas
Hall, Brendan
Hamana, Makoto
Hamiti, Florim
Hanna, Ziyad
Hansen, Zach
Hanus, Michael
Hao, Jifeng
Haret, Adrian
Hark, Marcel
Harper, Robert
Hasuo, Ichiro
Havlena, Vojtěch
Hayashi, Hisashi
Hebrard, Emmanuel
Hecher, Markus
Heeren, Bastiaan
Hegyi, Péter
Heidemann, Lukas
Heijltjes, Willem
Heisinger, Maximilian
Helal, Hayyan
Hensel, Jera
Herbreteau, Frédéric
Hermann, Miki
Hermanns, Holger
Hermenegildo, Manuel V.
Hermes, Marc
Hernández-Cerezo, Alejandro
Herwig, Maurice
Heskes, Tom
Hesse, Matthis
Heule, Marijn
Heyninck, Jesse
Hicks, Michael
Hidouri, Amel
Hietala, Kesha
Higuera, Nelson
Higuera Ruiz, Nelson
Hirokawa, Nao
Hirsch, Edward
Hlávková, Zuzana
Hoenicke, Jochen
Hofbauer, Dieter
Hoffmann, Jörg
Hoffmann, Ruth
Hofman, Piotr
Hofmann, Jana
Hofmann, Till
Holden, Sean
Hollenberg, Tommy
Holub, Štěpán
Homola, Martin
Hong, Ye
Honsell, Furio
Hoos, Holger
Horak, Tom
Horne, Ross
Horpácsi, Dániel
Hostert, Johannes
Hozzová, Petra
Hritcu, Catalin
Hsu, Justin
Hsu, Tzu-Han
Huang, Xiaowei
Huch, Fabian
Hughes, Dominic
Hundeshagen, Norbert
Hunter, Aaron
Hustadt, Ullrich
Hym, Samuel
Hyvärinen, Antti
I
Ibanez-Garcia, Yazmin
Idziak, Paweł
Ignatiev, Alexey
Ihalainen, Hannes
Illich, Moritz
Imai, Keigo
Indrzejczak, Andrzej
Iosif, Radu
Irfan, Ahmed
Irwin, Benjamin
Isabel, Miguel
Iser, Markus
Itsykson, Dmitry
Itzhaky, Shachar
Izmirlioglu, Yusuf
J
Jabbour, Said
Jabs, Christoph
Jacobs, Bart
Jacobsen, Frederik Krogsdal
Jakubův, Jan
Janhunen, Tomi
Janota, Mikolas
Jansen, Nils
Jeandel, Emmanuel
Jeannin, Jean-Baptiste
Jeuring, Johan
Jhoo, Ho Young
Ji, Yucheng
Jiang, Jie-Hong Roland
Jiang, Junqi
Jin, Peng
Johnsen, Einar Broch
Jothimurugan, Kishor
Juba, Brendan
Jukiewicz, Marcin
Juma, Nahid
Jung, Jean Christoph
Jung, Jean Christoph
Jung, Jean Christoph
Jung, Ralf
Junges, Sebastian
Jurík, Norbert
Järv, Priit
Järvisalo, Matti
K
Kabir, Mohimenul
Kagaya, Yuki
Kaiser, Benjamin
Kalayci, Tahir Emre
Kaliszyk, Cezary
Kalita, Pankaj Kumar
Kalke, Martine
Kanabar, Hrutvik
Kanckos, Annika
Kang, Eunsuk
Kanovich, Max
Kappé, Tobias
Karahalios, Anthony
Karami, Farzane
Karayel, Emin
Karge, Jonas
Katis, Andreas
Kato, Takumi
Katoen, Joost-Pieter
Katsirelos, George
Katsumata, Shin-ya
Katz, Guy
Kavvos, Alex
Kawałek, Piotr
Kazakov, Yevgeny
Keisler, H. Jerome
Keisler, Jeffrey M.
Keller, David
Kelmendi, Edon
Kern-Isberner, Gabriele
Kersting, Kristian
Kesner, Delia
Khalil, Elias
Kiefer, Sandra
Kiesel, Rafael
Kiesel, Rafael
Kiesl, Benjamin
Kifer, Michael
Killen, Spencer
Kimmig, Angelika
Kirchweger, Markus
Kirst, Dominik
Klauck, Michaela
Klinkenberg, Lutz
Knorr, Matthias
Knuth, Donald
Koch, Mark
Kochdumper, Niklas
Kohbrok, Konrad
Kohl, Christina
Kojima, Misaki
Kokke, Wen
Kolb, Samuel
Komendantskaya, Ekaterina
Komlóssy, Matej
Konev, Boris
Konieczny, Sébastien
Koopmann, Patrick
Koopmann, Patrick
Kop, Cynthia
Kori, Mayuko
Korkut, Joomy
Korovin, Konstantin
Kotsireas, Ilias
Koutsos, Adrien
Kovacs, Laura
Kovtunova, Alisa
Kowalski, Robert
Kozhemiachenko, Daniil
Kremer, Gereon
Kremer, Steve
Kreutzer, Stephan
Kriegel, Francesco
Krzaczkowski, Jacek
Kräuter, Tim
Krötzsch, Markus
Kudasov, Nikolai
Kudryashov, Yury
Kulíková, Nikola
Kumar, Akshat
Kumar, Mohit
Kumar, Mohit
Kumar, Ramana
Kumar, T. K. Satish
Kunze, Fabian
Kuperberg, Denis
Kupferman, Orna
Kupke, Clemens
Kutsia, Temur
Kuznetsov, Stepan
Köhl, Maximilian Alexander
König, Barbara
König, Harald
König, Matthias
Kľuka, Ján
Křetínský, Jan
L
Laarmann, Felix
Lachnitt, Hanna
Laeufer, Kevin
Lafleur, Daphné
Lafond, Daniel
Lagniez, Jean Marie
Lahav, Ori
Lai, Yong
Lal, Akash
Lamanna, Leonardo
Lamma, Evelina
Lammich, Peter
Lamo, Yngve
Lampropoulos, Leonidas
Lange, Martin
Lanzinger, Matthias
Larchey-Wendling, Dominique
Larroque, Lucas
Larry, Paulson
Lasota, Sławomir
Latour, Anna
Laud, Peeter
Lauermann, Nils
Lauko, Henrich
Lauria, Massimo
Law, Mark
Le Duc, Chan
Lee, Alice
Lee, Jia
Lee, Jimmy H. M.
Lee, Juneyoung
Lee, Nian-Ze
Lefaucheux, Engel
Lehtonen, Tuomo
Leidinger, Hendrik
Leite, Joao
Lengal, Ondrej
Lenisa, Marina
Leone, Nicola
Lequen, Arnaud
Lester, Martin Mariusz
Leszczyńska-Jasion, Dorota
Leuschel, Michael
Leutgeb, Lorenz
Levie, Ron
Lew, Ethan
Lewis, Robert
Li, Bohan
Li, Da-Wei
Li, Fang
Li, Guanyan
Li, Hongbo
Li, Liyi
Li, Ninghui
Li, Peixuan
Li, Xu
Li, Yannan
Li, Yong
Li, Zekun
Li, Zhanshan
Liang, Chencheng
Lichter, Moritz
Lifschitz, Vladimir
Lim, How Khang
Lin, Anthony Widjaja
Lin, Shaokai
Lipton, Richard
Liu, Junyi
Liu, Mo
Liu, Si
Liu, Wanwei
Liu, Xiangshuang
Liu, Yiyun
Lobo, Jorge
Lochmann, Alexander
Lodder, Josje
Logan, Brian
Lolic, Anela
Lommen, Nils
Lopez, Aliaume
Lopez, Jheisson
Lorini, Emiliano
Lu, Yun
Luca, Florian
Lucas, Salvador
Lugo, Justin
Lukács, Dániel
Lutz, Carsten
Lutz, Carsten
Lv, Yi
Lynch, Christopher
Lyon, Tim
M
Ma, Thanh
Ma, Yue
Macbeth, Heather
Magaud, Nicolas
Maggi, Fabrizio Maria
Mahajan, Avishkar
Mahajan, Meena
Mahboubi, Assia
Majumdar, Rupak
Mal, Soumodev
Maly, Jan
Manerkar, Yatin A.
Mangla, Chaitanya
Manhaeve, Robin
Manière, Quentin
Manlove, David
Mann, Makai
Manquinho, Vasco
Mansky, William
Mansutti, Alessio
Mantenoglou, Periklis
Mantenogloy, Periklis
Marcinkowski, Jerzy
Marcos, Joao
Maris, Frédéric
Markovich, Réka
Marpally, Shashank Rao
Marquis, Pierre
Marra, Giuseppe
Marshall, Andrew M.
Martelli, Alberto
Marti, Johannes
Marti-Oliet, Narciso
Martin, Antoine
Martin-Dorel, Erik
Martins, Ruben
Marynissen, Simon
Matache, Cristina
Matos, Vinícius Bitencourt
Matsumoto, Naoki
Matsuoka, Kotaro
Matsuzaki, Takuya
Maubert, Bastien
Mauw, Sjouke
Mavridou, Anastasia
May, Alexander
Mayer-Eichberger, Valentin
Mazowiecki, Filip
Mazzocchi, Nicolas
Mazzullo, Andrea
McBurney, Peter
McCreesh, Ciaran
McDermott, Dylan
McIver, Annabelle
McLean, Brett
McMillan, Ken
Meda, Jaydeepsinh
Medioni, Thomas
Meel, Kuldeep
Megdiche, Yecine
Meggendorfer, Tobias
Mehta, Bhavik
Meier, Arne
Meiswinkel, Sebastian
Mell, Stephen
Melliès, Paul-André
Meng, Baoluo
Mengel, Stefan
Mengin, Jérôme
Menis-Mastromichalakis, Orfeas
Mery, Daniel
Meseguer, Jose
Mesejo, Pablo
Mestel, David
Metcalfe, George
Metzger, Niklas
Meyer, Fabian
Meyer, Thomas
Miceli, Marie
Michel, Friedrich
Michel, Laurent
Micheli, Andrea
Middeldorp, Aart
Miguel, Ian
Milanese, Gian Carlo
Milius, Stefan
Mimram, Samuel
Mio, Matteo
Mitsch, Stefan
Mittelmann, Munyque
Mitterwallner, Fabian
Mocanu, Ionela
Mohamed, Abdalrhman
Mohamed, Mudathir Mahgoub Yahia
Moine, Alexandre
Mok, Matej
Mondal, Priyanka
Monroe, Hunter
Montacute, Yoàv
Montalbano, Pierre
Montali, Marco
Mora, Federico
Morak, Michael
Morales, Jose F.
Moreau, Solène
Moreno-Rebato, Mar
Morris, Jason
Moser, Georg
Moses, Yoram
Moss, Eliot
Moss, Sean
Mosse, Milan
Motik, Boris
Mottet, Antoine
Mugier, Marie-Laure
Mugnier, Marie-Laure
Mugnier, Marie-Laure
Murano, Aniello
Murawski, Andrzej
Murlak, Filip
Muruganandham, Pazhamalai
Muscholl, Anca
Musliu, Nysret
Mycroft, Alan
Myreen, Magnus O.
Mählmann, Nikolas
Méndez, Julián
Mödersheim, Sebastian
Møgelberg, Rasmus Ejlers
Mück, Niklas
Müller, Johannes
Müller, Peter
Mündler, Niels
N
Naaf, Matthias
Nacenta, Miguel
Nadel, Alexander
Naik, Mayur
Nalon, Cláudia
Nam, Seunghyeon
Nantes-Sobrinho, Daniele
Narodytska, Nina
Nebel, Bernhard
Nedunuri, Srinivas
Neele, Thomas
Neuper, Walther
Nguewouo, Franklin
Nguyen, Van
Niehren, Joachim
Niemetz, Aina
Nieuwveld, Joris
Nightingale, Peter
Nijssen, Siegfried
Nipkow, Tobias
Nishida, Naoki
Niskanen, Andreas
Noetzli, Andres
Noguera, Carles
Nomikos, Christos
Nordström, Jakob
Nordström, Jakob
Norrish, Michael
North, Paige
Nosan, Klara
Nouman, Ahmed
Nowak, David
Nuradiansyah, Adrian
Nyitraiová, Alexandra
O
Oakley, Lisa
Ochs, Daniel
Oechsner, Sabine
Oertel, Andy
Oetsch, Johannes
Oey, Alexander
Offtermatt, Philip
Ohlmann, Pierre
Ohrem, Christoph
Oleon, Émile
Olšák, Miroslav
Ong, Luke
Onódy, Zoltán
Oprea, Alina
Ordyniak, Sebastian
Orlandelli, Eugenio
Orlikowski, Łukasz
Ortiz, Magdalena
Ortiz, Magdalena
Osipov, George
Ossowski, Sascha
Otten, Jens
Ouaknine, Joel
Overbeek, Roy
Ozaki, Ana
Ozdemir, Alex
P
Padalkar, Parth
Padmanabha, Anantha
Paesani, Giacomo
Pal, Debtanu
Palamidessi, Catuscia
Palmskog, Karl
Pan, Guanting
Pan, Jeff Z.
Pandey, Awanish
Panisson, Alison R.
Pankova, Alisa
Papacchini, Fabio
Paperman, Charles
Paquet, Hugo
Paradžik, Petar
Parent, Xavier
Park, Daniel
Park, Junkil
Parker, Dave
Parlato, Gennaro
Parsia, Bijan
Parthasarathy, Gaurav
Pasi, Gabriella
Pasquali, Fabio
Pathak, Drashti
Patoglu, Volkan
Patrizi, Fabio
Pau, Cleo
Paulino-Passos, Guilherme
Paulovics, Peter
Paulsen, Brandon
Paulson, Lawrence C.
Peitl, Tomáš
Peltier, Nicolas
Perdrix, Simon
Perelli, Giuseppe
Perez, Guillermo
Perháč, Ján
Perri, Simona
Perrig, Adrian
Perrone, Paolo
Perrotin, Elise
Pertseva, Elizaveta
Pesant, Gilles
Pestun, Vasily
Peterfreund, Liat
Peters, Benjamin
Pettorossi, Alberto
Peyrot, Loïc
Pfanschilling, Viktor
Pfenning, Frank
Phalakarn, Kittiphon
Philipoom, Jade
Piepenbrock, Jelle
Piessens, Frank
Pilati, Lorenzo
Pilipczuk, Michał
Pimentel, Elaine
Pino Perez, Ramon
Pino Pérez, Ramón
Pinsker, Michael
Piotrowski, Bartosz
Pisano, Giuseppe
Pistone, Paolo
Piterman, Nir
Pitoni, Valentina
Pitsikalis, Manolis
Place, Thomas
Platzer, André
Poddar-Agrawal, Miraya
Pokrývka, Filip
Polgreen, Elizabeth
Polikarpova, Nadia
Poonawala, Hasan
Popescu, Andrei
Popovic, Louis
Popovič, Alexej
Porello, Daniele
Postol, Deena
Potomkin, Kostiantyn
Pottier, François
Potyka, Nico
Poulsen, Seth
Prasad, Siddharth
Pratt-Hartman, Ian
Preiner, Mathias
Pressburger, Thomas
Prinz, Jacob
Pritz, Michael
Proietti, Maurizio
Prosser, Patrick
Prusak, Grzegorz
Pshenitsyn, Tikhon
Pukancová, Júlia
Pukancová, Júlia
Purser, David
Putot, Sylvie
Putruele, Luciano
Py, Matthieu
Péchoux, Romain
Pérution-Kihli, Guillaume
Pąk, Karol
Q
Qadeer, Shaz
Qu, Weihao
Quaresma, Pedro
Quesada, Luis
Quimper, Claude-Guy
R
R, Govind
Rabe, Markus N.
Raddaoui, Badran
Rago, Antonio
Rahli, Vincent
Rajasekaran, Senthil
Rand, Robert
Rapberger, Anna
Rawson, Michael
Raykova, Mariana
Razniewski, Simon
Raška, Martin
Rbaia, Mohamed
Reale, Kristian
Rebola Pardo, Adrian
Reeves, Joseph
Refaeli, Idan
Reger, Giles
Rehof, Jakob
Reichl, Franz-Xaver
Reisert, Pascal
Renault, Etienne
Renkin, Florian
Reutter, David
Reutter, David
Reynolds, Andrew
Riazanov, Artur
Ribeiro, Jandson S.
Ricca, Francesco
Rice, Alex
Righetti, Guendalina
Riguzzi, Fabrizio
Riley, Heather
Ringeissen, Christophe
Ringer, Talia
Robillard, Simon
Rocha, Victor Hugo Nascimento
Rodrigues Greati, Vitor
Rodriguez, Andoni
Rodríguez, Jose Antonio
Rodríguez-Núñez, Clara
Roland, Valentin
Romao, Licio
Román, Mario
Rondogiannis, Panos
Rosain, Johann
Rosu, Grigore
Rosulek, Mike
Rousseau, Louis-Martin
Roy, Lawrence
Roy, Subhajit
Rozowski, Wojciech
Ruan, Ji
Rubiano, Thomas
Rubin, Sasha
Rubio, Albert
Rubio, Ruben
Rudek, Joey
Rudich, Isaac
Rudolph, Sebastian
Rudolph, Sebastian
Rudolph, Sebastian
Rusch, Neea
Rusovac, Dominik
Russo, Alessandra
Rusu, Vlad
Rutle, Adrian
Ryan, Peter Y. A.
Ryzhikov, Vladislav
Rønne, Peter B.
Rümmer, Philipp
S
S, Krishna
Sabbatini, Federico
Sabel, David
Sabellek, Leif
Saeedloei, Neda
Saetti, Alessandro
Saffidine, Abdallah
Saivasan, Prakash
Sakaguchi, Kazuhiko
Sakr, Mostafa
Salazar, Elmer
Salazar, Elmer
Sallinger, Emanuel
Salvati, Sylvain
Salvia, Jose María
Salzer, Gernot
Sandholm, Tuomas
Sanfilippo, Giuseppe
Santos, Vanda
Sardar, Muhammad Usama
Sarkar, Susmit
Sarkis, Ralph
Sartor, Galileo
Satoh, Ken
Sattler, Uli
Sauerwald, Kai
Saurabh, Saket
Saurin, Alexis
Sauro, Luigi
Savateev, Yury
Savateev, Yury
Scaglione, Giuseppe
Scala, Enrico
Scedrov, Andre
Schaus, Pierre
Schekotihin, Konstantin
Scherl, Richard
Scheucher, Manfred
Schidler, André
Schindler, Tanja
Schlehuber-Caissier, Philipp
Schleitzer, Agnes
Schmellenkamp, Marko
Schmid, Todd
Schmidt, Nicolas
Schmidt, Renate A.
Schmidt-Schauss, Manfred
Schmitt, Frederik
Scholl, Christoph
Schröder, Lutz
Schröer, Philipp
Schulz, Stephan
Schulze, Lukas
Schumann, Johann
Schurr, Hans-Jörg
Schutt, Andreas
Schwarz, Simon
Schwarzentruber, Francois
Schweitzer, Pascal
Schwind, Nicolas
Scott, Joseph
Seidl, Martina
Seiller, Thomas
Serafini, Luciano
Serebrenik, Alexander
Seshia, Sanjit A.
Sewell, Thomas
Sezgin, Meliha
Sferrazza, Stefano
Sha, Harry
Shachnai, Hadas
Shah, Nihil
Shahen, Jonathan
Shaker, James
Shankar, Natarajan
Sharma, Roshan
Sharygina, Natasha
Shen, Yi-Dong
Sheng, Ying
Sherkhonov, Evgeny
Shindo, Hikaru
Shinnar, Avraham
Shintani, Kiraku
Shirmohammadi, Mahsa
Shukla, Ankit
Siber, Julian
Sighireanu, Mihaela
Silva, Alexandra
Simard, Vanessa
Simkus, Mantas
Simon, Pierre
Simonov, Kirill
Singh, Arambam James
Singh, Gagandeep
Singh, Lavanya
Singleton, Joe
Sinha, Arunesh
Skambath, Malte
Skryagin, Arseny
Slivovsky, Friedrich
Smirnov, Pavel
Smirnov, Petr
Smith, Douglas
Smith, William
Smolka, Gert
Sochański, Michał
Sojakova, Kristina
Solberg, Morten Rotvold
Somayyajula, Siva
Son, Tran Cao
Song, Fu
Sood, Gaurav
Soos, Mate
Soutchanski, Mikhail
Souza, Marlo
Spaan, Matthijs T. J.
Sprecher, Christian
Sprenger, Christoph
Sprunger, David
Sridharan, Mohan
Srivastava, Siddharth
Srivathsan, B
Stammer, Wolfgang
Stamou, Giorgos
Stamou, Giorgos
Starosta, Štěpán
Staton, Sam
Steen, Alexander
Steinmetz, Marcel
Stepanova, Daria
Sterling, Jonathan
Stevens, Brett
Stevens, Lukas
Stoelinga, Marielle
Stoughton, Alley
Straccia, Umberto
Straccia, Umberto
Strass, Hannes
Strass, Hannes
Strasser, Christian
Straßburger, Lutz
Strecker, Martin
Stuckey, Peter J.
Ståhlberg, Simon
Stöger, Bernhard
Subercaseaux, Bernardo
Suda, Martin
Suenaga, Kohei
Summers, Alexander J.
Sun, Jun
Sun, Wanyun
Sun, Yan
Sutcliffe, Geoff
Szeider, Stefan
Sághi, György
Sánchez, César
T
Tacchella, Alberto
Tack, Guido
Tadey, Sam
Takisaka, Toru
Talcott, Carolyn
Talpin, Jean-Pierre
Tamaki, Hisao
Tammet, Tanel
Tan, Li-Yang
Tan, Yong Kiam
Tantau, Till
Tarau, Paul
Tarzariol, Alice
Tassel, Pierre
Tba, Tba
Tba, Tba
Teixeira, Pedro
Tejfel, Máté
Tekriwal, Mohit
Teles, Joana
Tena Cucala, David
Terauchi, Tachio
Teuber, Samuel
Thakkar, Aalok
Theseider Dupre, Daniele
Thibault, Jérémy
Thiemann, René
Thomas, Konstantinos
Thomas, Konstantinos
Thomas, Philip
Thomazo, Michaël
Thompson, Simon
Tian, Jiaxu
Tiihonen, Mikko
Timany, Amin
Tinelli, Cesare
Tirtarasa, Satyadharma
Tiu, Alwen
Toman, David
Tomczyk, Agata
Tonetta, Stefano
Toni, Francesca
Torres Montiel, Eduard
Torstensson, Olle
Toruńczyk, Szymon
Totis, Pietro
Tourret, Sophie
Tourret, Sophie
Trager, Barry
Traverso, Paolo
Trieu, Alix
Tripakis, Stavros
Tripakis, Stavros
Tripunitara, Mahesh
Tristan, Jean-Baptiste
Trivedi, Nitesh
Trujillo-Rasua, Rolando
Truszczynski, Mirek
Trösser, Fulya
Tsampas, Stelios
Tsimbolynets, Vitalii
Tsukada, Takeshi
Tu, Kuan-Hua
Tumova, Jana
Turhan, Anni-Yasmin
Turhan, Anni-Yasmin
Turrini, Andrea
Tóth, Richard
Törmá, Seppo
U
Ulbricht, Markus
Ulrich-Oltean, Felix
Urabe, Natsuki
Urban, Josef
Urbani, Jacopo
Urbat, Henning
Urbańczyk, Mateusz
V
V. Deshmukh, Jyotirmoy
Vahdati, Sahar
Vaillant, Pascal
Vajjha, Koundinya
Vale, Deivid
van der Weide, Niels
Van Hentenryck, Pascal
van Hoeve, Willem-Jan
Van Hoeve, Willem-Jan
Van Horn, David
Van Oostrom, Vincent
Van Strydonck, Thomas
Vanbesien, Linde
Vanoni, Gabriele
Varanasi, Sarat Chandra
Vardi, Moshe
Vardi, Moshe Y.
Varzinczak, Ivan
Vasileiou, Stylianos Loukas
Vechev, Martin
Vehlken, Fabian
Vella, Lucas
Venema, Yde
Verma, Aakanksha
Verma, Pulkit
Verreet, Victor
Verrev, Martin
Veshchezerova, Margarita
Vezzosi, Andrea
Vicary, Jamie
Viegas Damásio, Carlos
Viganò, Luca
Vignudelli, Valeria
Villadsen, Jørgen
Villaret, Mateu
Villata, Serena
Vin, Eric
Virtema, Jonni
Viswanathan, Arjun
Vitercik, Ellen
Viteri, Scott
Volk, Matthias
Volkova, Anastasia
Voronkov, Andrei
Vukmirović, Petar
Vítores, Miguel
W
Waga, Masaki
Wagner, Andrew
Waldmann, Johannes
Walker, James Alfred
Walkiewicz, Daniel
Wallner, Johannes
Walukiewicz, Igor
Wan, Hai
Wang, Chao
Wang, Hao-Ren
Wang, Huaduo
Wang, Huaduo
Wang, Jie
Wang, Jingbo
Wang, Kewen
Wang, Qinshi
Wang, Ruiwei
Wang, Shengyi
Wang, Shuling
Wang, Yuheng
Wang, Zhe
Wasowski, Andrzej
Wassermann, Renata
Wassermann, Renata
Weber, Tjark
Weddell, Grant
Weeks, Noé
Weghorn, Thilo
Wehr, Dominik
Weidenbach, Christoph
Weidenbach, Christoph
Weigl, Alexander
Weikum, Gerhard
Weininger, Maximilian
Welt, Michael
Wen, Xuejun
Wendler, Philipp
Wenzel, Makarius
Wernhard, Christoph
West, Matthew
Whalen, Michael
Whiteland, Markus
Wielemaker, Jan
Wijs, Anton
Wilke, Richard
Wille, Robert
Winkler, Sarah
Winkler, Tobias
Winter, Felix
Winters, Thomas
Wolf, Verena
Wolter, Frank
Woltran, Stefan
Wong, Meng Weng
Worrell, James
Wu, Bin
Wu, Hong
Wu, Lianlong
Wu, Yaling
Wu, Zhilin
X
Xia, Bican
Xiao, Guohui
Xiao, Peng
Xing, Wanli
Xiong, Jing
Xu, Yifan
Y
Yamada, Akihisa
Yang, Donglin
Yang, Hui
Yang, Huifan
Yap, Roland
Yeager, Jared
Yeoh, William
Yin, Minghao
Ying, Mingsheng
You, Jia-Huai
Yu, Geunyeol
Yuan, Shenghao
Yurkov, Semyon
Z
Zakharyaschev, Michael
Zamboni, Marco
Zamdzhiev, Vladimir
Zanasi, Fabio
Zandberg, Koen
Zarriess, Benjamin
Zawidzki, Michal
Zdancewic, Steve
Zehavi, Meirav
Zese, Riccardo
Zetzsche, Georg
Zeume, Thomas
Zhan, Bohua
Zhang, Danfeng
Zhang, Liangfeng
Zhang, Lijun
Zhang, Min
Zhang, Shujun
Zhang, Xindi
Zhang, Yuanlin
Zhao, Gehang
Zhao, Haoruo
Zhi, Dapeng
Zhong, Allen Z.
Zhou, Li
Zhou, Neng-Fa
Zhu, Shufang
Zhu, Xu
Zhuang, Zhiqiang
Zikas, Vassilis
Zimmermann, Théo
Zohar, Yoni
Zuidberg Dos Martires, Pedro
Zuleger, Florian
Zweifler, Jacob
Zweydinger, Floyd
Å
Åman Pohjola, Johannes
Š
Šimkus, Mantas
Šiška, Jozef
Šmahlíková, Barbora
Šćepanović, David
Ž
Žikelić, Đorđe