|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK 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. | | Filliâtre, Jean-Christophe | | Firsov, Denis | | Forster, Yannick | | Frittella, Sabine | | G | Galdino, André Luiz | | Garbuzov, Dmitri | | Goertzel, Zarathustra | | Grayson, Daniel R. | | 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 | |
|
|