
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, JeanChristophe   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  LarcheyWendling, 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  

