FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
IJCAR 2022 PROCEEDINGS OF IJCAR 2022: AUTHOR INDEX
A
Akshay, S.
Albert, Elvira
Alrabbaa, Christian
B
Baader, Franz
Barbosa, Haniel
Barrett, Clark
Berg, Jeremias
Bernreiter, Michael
Bidoit, Nicole
Bilkova, Marta
Blaisdell, Eben
Borgwardt, Stefan
Bouziane, Hinde
Bozga, Marius
Bromberger, Martin
Brown, Chad
Bryant, Randal
Bueri, Lucas
C
Cailler, Julie
Cauli, Claudia
Chakraborty, Supratik
Chlebowski, Szymon
D
Dachselt, Raimund
Das, Anupam
Delahaye, David
Dill, David
Dixon, Clare
Dowek, Gilles
Draheim, Dirk
Duarte, André
Durán, Francisco
E
Eker, Steven
Escobar, Santiago
F
Felli, Paolo
Ferrari, Mauro
Fiorentini, Camillo
Frittella, Sabine
Frohn, Florian
Fujita, Tomohiro
G
Gallicchio, James
Giesl, Jürgen
Girlando, Marianna
Gordillo, Pablo
Grieskamp, Wolfgang
H
Haifani, Fajar
Hernández-Cerezo, Alejandro
Heskes, Tom
Heule, Marijn
Holden, Sean
Holub, Štěpán
Hustadt, Ullrich
I
Ihalainen, Hannes
Indrzejczak, Andrzej
Iosif, Radu
J
Janota, Mikolas
Jukiewicz, Marcin
Järv, Priit
Järvisalo, Matti
K
Kaliszyk, Cezary
Kanovich, Max
Koopmann, Patrick
Korovin, Konstantin
Kozhemiachenko, Daniil
Kremer, Gereon
Kutsia, Temur
Kuznetsov, Stepan
L
Lachnitt, Hanna
Lahav, Ori
Larry, Paulson
Leidinger, Hendrik
Leszczyńska-Jasion, Dorota
Leutgeb, Lorenz
Lolic, Anela
Lommen, Nils
M
Ma, Yue
Maly, Jan
Mangla, Chaitanya
Marcos, Joao
Marti-Oliet, Narciso
Matsuzaki, Takuya
Meseguer, Jose
Meyer, Fabian
Mitsch, Stefan
Montali, Marco
Méndez, Julián
N
Nalon, Cláudia
Niemetz, Aina
Noetzli, Andres
O
Ortiz, Magdalena
Ozdemir, Alex
P
Pal, Debtanu
Papacchini, Fabio
Park, Junkil
Pau, Cleo
Piepenbrock, Jelle
Pimentel, Elaine
Piterman, Nir
Platzer, André
Popescu, Andrei
Preiner, Mathias
Q
Qadeer, Shaz
R
Raška, Martin
Reeves, Joseph
Reynolds, Andrew
Robillard, Simon
Rodrigues Greati, Vitor
Rodríguez-Núñez, Clara
Rosain, Johann
Rubio, Albert
Rubio, Ruben
S
Scedrov, Andre
Sheng, Ying
Sochański, Michał
Starosta, Štěpán
Suda, Martin
T
Talcott, Carolyn
Tammet, Tanel
Tan, Yong Kiam
Tinelli, Cesare
Tomczyk, Agata
Tourret, Sophie
U
Urban, Josef
V
Viswanathan, Arjun
Viteri, Scott
W
Weidenbach, Christoph
Winkler, Sarah
Woltran, Stefan
Y
Yamada, Akihisa
Yang, Hui
Z
Zohar, Yoni