|
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 | |
|
|