|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Alves, Sandra | | Aoto, Takahito | | Ayala-Rincon, Mauricio | | B | Bahr, Patrick | | Barendregt, Henk | | Baumgartner, Alexander | | Bellin, Gianluigi | | Bendkowski, Maciej | | Broda, Sabine | | C | Cerna, David | | Czajka, Łukasz | | D | de Felice, Giovanni | | Delaune, Stephanie | | E | Endrullis, Joerg | | F | Fernandez, Maribel | | Forest, Simon | | G | Genet, Thomas | | H | Hadzihasanovic, Amar | | Hamana, Makoto | | Heijltjes, Willem | | Hirokawa, Nao | | I | Ikebuchi, Mirai | | J | Jacob-Rao, Rohan | | K | Kaposi, Ambrus | | Klop, Jan Willem | | Kohl, Christina | | Kovács, András | | Kutsia, Temur | | L | Lemay, Jean-Simon | | Lescanne, Pierre | | Levy, Jordi | | Licata, Daniel | | M | Maeda, Yuya | | Mannaa, Bassel | | Micali, Silvio | | Middeldorp, Aart | | Mimram, Samuel | | Møgelberg, Rasmus | | N | Nagele, Julian | | Nakano, Keisuke | | Nantes-Sobrinho, Daniele | | New, Max | | Ng, Kang Feng | | Nguyễn, Lê Thành Dũng | | Nirina, Andrianarivelo | | Nishida, Naoki | | O | Orton, Ian | | Overbeek, Roy | | P | Parys, Paweł | | Pientka, Brigitte | | Pitts, Andrew M. | | R | Rety, Pierre | | Rosu, Grigore | | S | Sabel, David | | Schmidt-Schauss, Manfred | | Selinger, Peter | | Shintani, Kiraku | | Sozeau, Matthieu | | Spitters, Bas | | T | Thibodeau, David | | Timany, Amin | | V | Vignudelli, Valeria | | Villaret, Mateu | | W | Winkler, Sarah | | Z | Zankl, Harald | |
|
|