FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ITP PAPERS: AUTHOR INDEX
A
Achermann, Reto
Anand, Abhishek
Avelar, Andréia B.
B
Balco, Samuel
Bannister, Callum
Baston, Colm
Benzaken, Véronique
Blair, Richard
Boulier, Simon
Boulmé, Sylvain
C
C. D. S. Oliveira, Bruno
Capretta, Venanzio
Carette, Jacques
Cauderlier, Raphaël
Chlipala, Adam
Cock, David
Cohen, Cyril
Combette, Guillaume
Contejean, Evelyne
D
Daggitt, Matthew L.
de Lima, Thaynara A.
Divasón, Jose
Doczkal, Christian
E
Eberl, Manuel
Erbsen, Andres
F
Farmer, William
Feliu Gabaldon, Marco Antonio
Ferreira, Joao F.
Filliatre, Jean-Christophe
Firsov, Denis
Forster, Yannick
Frittella, Sabine
G
Galdino, André Luiz
Garbuzov, Dmitri
Goertzel, Zarathustra
Grayson, Daniel
Greco, Giuseppe
Griffin, Timothy G.
Gross, Jason
H
Harper, Robert
Harrison, John
Haslbeck, Max W.
Heiter, Edith
Hu, Shuwei
Humbel, Lukas
Höfner, Peter
Hölzl, Johannes
J
Jakubuv, Jan
Jantsch, Simon
Joosten, Sebastiaan
K
Kahl, Wolfram
Kaliszyk, Cezary
Keller, Chantal
Klein, Gerwin
Knüppel, Alexander
Kumar, Ramana
Kurz, Alexander
L
Larchey-Wendling, Dominique
Laskowski, Patrick
Lochbihler, Andreas
Lopez Pombo, Carlos
M
Martins, Eunice
Maréchal, Alexandre
Mendes, Alexandra
Meßner, Florian
Miquey, Étienne
Moscato, Mariano
Mullen, Eric
Munoz, Cesar
Myreen, Magnus O.
N
Nipkow, Tobias
Norrish, Michael
P
Palmigiano, Alessandra
Pardylla, Carsten
Parsert, Julian
Pizani Flor, João Paulo
Pous, Damien
R
Rizkallah, Christine
Roscoe, Timothy
S
Schaefer, Ina
Schneider, Joshua
Schrijvers, Tom
Schulz, Stephan
Schöpf, Jonas
Smolka, Gert
Sozeau, Matthieu
Sternagel, Christian
Stump, Aaron
Swierstra, Wouter
Syeda, Hira
T
Tabareau, Nicolas
Tassarotti, Joseph
Tatlock, Zachary
Thiemann, René
Thüm, Thomas
U
Urban, Josef
W
Wimmer, Simon
Y
Yamada, Akihisa
Z
Zdancewic, Steve
Zhao, Jinxu
Zmigrod, Ran