FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Ahn, Ki Yung
Akshay, S.
Allred, Joel
Altenkirch, Thorsten
Asada, Kazuyuki
Atkey, Robert
Atserias, Albert
Awodey, Steve
B
Bacci, Giorgio
Baier, Christel
Bertrand, Nathalie
Bickford, Mark
Birkedal, Lars
Blot, Valentin
Bodirsky, Manuel
Bohrer, Brandon
Bojańczyk, Mikołaj
Boker, Udi
Bonchi, Filippo
Brazdil, Tomas
Bruni, Roberto
Buchholtz, Ulrik
C
Carbin, Michael
Castellan, Simon
Chatterjee, Krishnendu
Chen, Yijia
Cheung, Wai-Tak
Chlipala, Adam
Clairambault, Pierre
Cohen, Liron
Constable, Robert
Coquand, Thierry
Crary, Karl
Crubillé, Raphaëlle
D
Danielski, Daniel
Dartois, Luc
Das, Ankush
Dave, Vrunda
Daviaud, Laure
de Silva, Nadish
Demangeon, Romain
Devriese, Dominique
Dubslaff, Clemens
Durand, Arnaud
Durier, Adrien
E
Eberhart, Clovis
Esparza, Javier
F
Ferrère, Thomas
Figueira, Diego
Fijalkow, Nathanaël
Filiot, Emmanuel
Flum, Jörg
Frey, Jonas
Fried, Dror
Frumin, Dan
Furber, Robert
G
Gadducci, Fabio
Ganty, Pierre
Gastin, Paul
Gavazzo, Francesco
Gburek, Daniel
Genest, Blaise
Gentilini, Raffaella
Geoffroy, Guillaume
Ghani, Neil
Ghica, Dan
Giacobazzi, Roberto
Grohe, Martin
Grädel, Erich
Guatto, Adrien
Głuch, Grzegorz
H
Haak, Anselm
Hadzihasanovic, Amar
Hahn, Michael
Harper, Robert
Hedges, Jules
Henzinger, Thomas A
Hirschkoff, Daniel
Hirschowitz, Tom
Hoffmann, Jan
Horne, Ross
Hou Favonia, Kuen-Bang
Hrushovski, Ehud
Huber, Simon
Hughes, Dominic
I
Idziak, Pawel
J
Jaskelioff, Mauro
Jeandel, Emmanuel
Johann, Patricia
Jurdzinski, Marcin
K
Kapron, Bruce
Kerjean, Marie
Kieronski, Emanuel
Kissinger, Aleks
Koskinen, Eric
Kozen, Dexter
Kraus, Nicolai
Krebbers, Robbert
Krebs, Andreas
Kretinsky, Jan
Krzaczkowski, Jacek
Kucera, Antonin
Kuusisto, Antti
König, Barbara
L
Laird, James
Laurent, Olivier
Lazic, Ranko
Legay, Axel
Lehtinen, Karoliina
Leventis, Thomas
Lhote, Nathan
Lin, Shang-Wei
Lindenhovius, Bert
Lutz, Carsten
M
Madelaine, Florent
Marcinkowski, Jerzy
Mardare, Radu
Martin, Ursula
Meggendorfer, Tobias
Melgratti, Hernan
Melliès, Paul-André
Mio, Matteo
Miquey, Étienne
Mislove, Michael
Monin, Benoit
Montanari, Ugo
Moss, Sean
Mottet, Antoine
Mueller, Moritz
Muroya, Koko
Mörtberg, Anders
N
Nanjo, Yoji
Ng, Kang Feng
Niewerth, Matthias
Novotný, Petr
Nuyts, Andreas
O
Ochremiak, Joanna
Ong, Luke
Ostropolski-Nalewaja, Piotr
Ouaknine, Joel
P
Palamidessi, Catuscia
Panangaden, Prakash
Paquet, Hugo
Pattinson, Dirk
Pavlovic, Dusko
Perdrix, Simon
Pfenning, Frank
Pierce, Benjamin C.
Pilipczuk, Michał
Piróg, Maciej
Platzer, André
Plotkin, Gordon
Pouly, Amaury
Pous, Damien
Powell, Thomas
Pradic, Pierre
Praveen, M.
R
Rahli, Vincent
Raskin, Jean-Francois
Riba, Colin
Rijke, Egbert
S
S, Krishna
Sangiorgi, Davide
Sankur, Ocan
Sarac, N Ege
Schrijvers, Tom
Schröder, Lutz
Sciarappa, Luke
Scott, Dana
Shaulian, Yariv
Sherman, Benjamin
Sickert, Salomon
Siebertz, Sebastian
Sobocinski, Pawel
Sojakova, Kristina
Speight, Sam
Stefanesco, Léo
Steinberg, Florian
Sterling, Jonathan
Straubing, Howard
T
Tan, Yong Kiam
Tannen, Val
Terauchi, Tachio
Tiu, Alwen
Toruńczyk, Szymon
Tsukada, Takeshi
U
Ultes-Nitsche, Ulrich
Unno, Hiroshi
V
van Doorn, Floris
Vardi, Moshe Y
Velan, Dominik
Vial, Pierre
Vignudelli, Valeria
Vilmart, Renaud
Vollmer, Heribert
von Glehn, Tamara
Vyas, Nikhil
W
Wang, Quanlong
Wild, Paul
Winschel, Viktor
Winskel, Glynn
Worrell, James
Wu, Nicolas
Y
Yokoyama, Keita
Yoshida, Nobuko
Z
Zahn, Philipp
Zamdzhiev, Vladimir
Zanasi, Fabio
Zeilberger, Noam
Zetzsche, Georg
Zuleger, Florian