FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Abbasizanjani, Hoda
Achlioptas, Dimitris
B
Bacchus, Fahiem
Bansal, Sorav
Becker, Bernd
Berryhill, Ryan
Beyersdorff, Olaf
Bjorner, Nikolaj
C
Cimatti, Alessandro
E
Ehlers, Rüdiger
Elffers, Jan
F
Fichte, Johannes K.
Friedrich, Tobias
G
Galesi, Nicola
Ganesh, Vijay
Giráldez-Crú, Jesús
Gleiss, Bernhard
Gocht, Stephan
Griggio, Alberto
Gupta, Shubhani
H
Hammoudeh, Zayd
Hecher, Markus
Heule, Marijn
Hoos, Holger
I
Ignatiev, Alexey
Irfan, Ahmed
Ivrii, Alexander
J
Jamali, Sima
Janota, Mikolas
Järvisalo, Matti
K
Kauers, Manuel
Kochemazov, Stepan
Korneev, Svyatoslav
Kullmann, Oliver
L
Lampis, Michael
Li, Chunxiao
Liang, Jia
Luo, Chuan
M
Mahajan, Anmol
Marques-Silva, Joao
Martins, Ruben
Mathews, Minu
Mengel, Stefan
Mitchell, David
Mitsou, Valia
Morak, Michael
Morgado, Antonio
N
Nadel, Alexander
Narodytska, Nina
Nordstrom, Jakob
O
Oh, Chanseok
P
Palau Romero, Francisco
Paxian, Tobias
Peitl, Tomáš
Pulina, Luca
R
Reimer, Sven
Roberts, Hannah
Rothenberger, Ralf
Roveri, Marco
Ryvchin, Vadim
S
Sagiv, Mooly
Santhanam, Rahul
Saxena, Aseem
Scholl, Christoph
Sebastiani, Roberto
Seidl, Martina
Slivovsky, Friedrich
Smith, Michael
Suda, Martin
Szeider, Stefan
T
Tacchella, Armando
Talebanfard, Navid
Theodoropoulos, Panos
Thomas, Ciza
Toran, Jacobo
V
Veneris, Andreas
Vinyals, Marc
W
Weaver, Sean
West, Adam
Wintersteiger, Christoph M.
Woltran, Stefan
Z
Zaikin, Oleg