FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FSCD PRESENTED PAPERS: AUTHOR INDEX
A
Alves, Sandra
Andrianarivelo, Nirina
Aoto, Takahito
Ayala-Rincon, Mauricio
B
Bahr, Patrick
Baumgartner, Alexander
Bellin, Gianluigi
Bendkowski, Maciej
Broda, Sabine
C
Cerna, David
Czajka, Łukasz
D
de Felice, Giovanni
Delaune, Stéphanie
E
Endrullis, Joerg
F
Fernandez, Maribel
Forest, Simon
G
Genet, Thomas
H
Hadzihasanovic, Amar
Hamana, Makoto
Heijltjes, Willem
Hirokawa, Nao
I
Ikebuchi, Mirai
J
Jacob-Rao, Rohan
K
Kaposi, Ambrus
Klop, Jan Willem
Kohl, Christina
Kovács, András
Kutsia, Temur
L
Lemay, Jean-Simon
Lescanne, Pierre
Levy, Jordi
Licata, Daniel R.
M
Maeda, Yuya
Mannaa, Bassel
Middeldorp, Aart
Mimram, Samuel
Møgelberg, Rasmus
N
Nagele, Julian
Nakano, Keisuke
Nantes-Sobrinho, Daniele
New, Max
Ng, Kang Feng
Nguyễn, Lê Thành Dũng
Nishida, Naoki
Nishida, Naoki
O
Orton, Ian
Overbeek, Roy
P
Parys, Paweł
Pientka, Brigitte
Pitts, Andrew M.
R
Rety, Pierre
Rosu, Grigore
S
Sabel, David
Schmidt-Schauss, Manfred
Selinger, Peter
Shintani, Kiraku
Sozeau, Matthieu
Spitters, Bas
T
Thibodeau, David
Timany, Amin
V
Vignudelli, Valeria
Villaret, Mateu
W
Winkler, Sarah
Z
Zankl, Harald