IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
TALK AUTHOR INDEX
A
Affeldt, Reynald
Aitken, David
Allamigeon, Xavier
B
Baader, Franz
Baanen, Anne
Baranowski, Marek
Barbosa, Haniel
Barnett, Lee A.
Barrett, Clark
Basin, David
Baumgartner, Peter
Bhayat, Ahmed
Biere, Armin
Blackburn, Patrick
Blanchette, Jasmin
Blazy, Sandrine
Bohrer, Brandon
Bonacina, Maria Paola
Brakensiek, Joshua
Bray, Matthew
Bride, Hadrien
C
Cai, Cheng-Hao
Calvanese, Diego
Cerna, David
Chew, Leroy
Chlipala, Adam
Chvalovský, Karel
Clymo, Judith
Cohen, Cyril
Cohen, Liron
Cruanes, Simon
Czajka, Lukasz
D
Dalmonte, Tiziano
Dardinier, Thibault
De Angelis, Emanuele
de Moura, Leonardo
de Vilhena, Paulo Emílio
Delaware, Benjamin
Dong, Jin Song
Duarte, André
Dutertre, Bruno
E
Eßmann, Robin
F
Fioravanti, Fabio
Fontaine, Pascal
From, Asta Halkjær
Fürer, Basil
G
Ghilardi, Silvio
Gianola, Alessandro
Giesl, Jürgen
Girlando, Marianna
Gleiss, Bernhard
Gligoric, Milos
Goertzel, Zarathustra
Gore, Rajeev
Graham-Lengrand, Stéphane
Gross, Jason
Gunther, Emmanuel
Gutiérrez, Raúl
Guttmann, Walter
H
Hague, Matthew
Hales, Thomas
Harrison, John
Hashim, Mohammed
Hausmann, Daniel
He, Shaobo
Heimes, Lukas
Heule, Marijn
Hou, Zhe
I
Ignatovich, Denis
J
Jakubuv, Jan
Jovanović, Dejan
K
Kagan, Elijah
Kanishev, Konstantin
Kanovich, Max
Kapur, Deepak
Katz, Ricardo David
Kerjean, Marie
Kirst, Dominik
Kohlhase, Michael
Korovin, Konstantin
Kovacs, Laura
Krstic, Srdjan
Kuznetsov, Stepan
L
Lammich, Peter
Lampert, Timm
Lange, Jane
Larchey-Wendling, Dominique
Larraz, Daniel
Lechner, Mathias
Li, Junyi Jessy
Lin, Anthony Widjaja
Lochbihler, Andreas
Lucas, Salvador
Léchenet, Jean-Christophe
M
Mackey, John
Maclean, Ewen
Mahboubi, Assia
Mahony, Brendan
Maric, Filip
Marin, Sonia
McCarthy, Jim
Miller, Dale
Mometto, Nicola
Montali, Marco
N
Naeem, Zan
Nakano, Anderson
Narvaez, David
Nguyen, Thanh Son
Nie, Pengyu
Nigam, Vivek
Nipkow, Tobias
Noetzli, Andres
Norrish, Michael
O
Olivetti, Nicola
Olšák, Miroslav
P
Pagano, Miguel
Palmskog, Karl
Passmore, Grant
Paulson, Lawrence
Pease, Adam
Pettorossi, Alberto
Pichardie, David
Pimentel, Elaine
Piotrowski, Bartosz
Piskac, Ruzica
Pit-Claudel, Clément
Platzer, André
Pozzato, Gian Luca
Proietti, Maurizio
R
Rabe, Florian
Rakamaric, Zvonimir
Raszyk, Martin
Rath, Jakob
Rau, Martin
Raya, Rodrigo
Reger, Giles
Reis, Giselle
Reynolds, Andrew
Ringeissen, Christophe
Rivkin, Andrey
Robillard, Simon
Rouhling, Damien
Rowe, Reuben
Ruemmer, Philipp
Rydval, Jakub
S
Sacerdoti Coen, Claudio
Sakaguchi, Kazuhiko
Scedrov, Andre
Schaefer, Jan Frederik
Schneider, Joshua
Schröder, Lutz
Schulz, Stephan
Sheng, Ying
Straßburger, Lutz
Strub, Pierre-Yves
Suda, Martin
Sutcliffe, Geoff
Sánchez Terraf, Pedro
T
Tinelli, Cesare
Tourret, Sophie
Traytel, Dmitriy
U
Ullrich, Sebastian
Urban, Josef
V
Villadsen, Jørgen
Volpe, Marco
W
Waldmann, Uwe
Wang, Peng
Winkler, Sarah
Wu, Zhilin
X
Xu, Yiming
Z
Zohar, Yoni
Zombori, Zsolt