
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, WaiTak   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, KuenBang   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, ShangWei   Lindenhovius, Bert   Lutz, Carsten   M  Madelaine, Florent   Marcinkowski, Jerzy   Mardare, Radu   Martin, Ursula   Meggendorfer, Tobias   Melgratti, Hernan   Melliès, PaulAndré   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   OstropolskiNalewaja, 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, JeanFrancois   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  UltesNitsche, 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  

