|
FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
TALK AUTHOR INDEX
A | Alvarez-Picallo, Mario | | Aoto, Takahito | | Asada, Kazuyuki | | B | Bentkamp, Alexander | | Biernacki, Dariusz | | Blanqui, Frédéric | | Bohrer, Brandon | | Boisseau, Guillaume | | Brunet, Paul | | C | Cerna, David | | Cheney, James | | Cohen, Cyril | | D | Das, Ankush | | DeYoung, Henry | | Diezel, Tim Lukas | | Dudenhefner, Andrej | | Dundua, Besik | | E | Erkens, Rick | | G | Galal, Zeinab | | Genestier, Guillaume | | Goncharov, Sergey | | H | Harrison, John | | Hirschowitz, André | | Hirschowitz, Tom | | Hondet, Gabriel | | Hülsbusch, Mathias | | I | Ivaskovic, Andrej | | K | Kaposi, Ambrus | | Kobayashi, Naoki | | Kop, Cynthia | | Kutsia, Temur | | König, Barbara | | Küpper, Sebastian | | L | Lafont, Ambroise | | Laveaux, Maurice | | Lenglet, Sergueï | | Lin, Yu-Yang | | Liquori, Luigi | | M | Marin, Mircea | | Melliès, Paul-André | | Mitani, Yo | | Mycroft, Alan | | N | Nakamura, Yoshiki | | Nummelin, Visa | | O | Ong, C.-H. Luke | | Orchard, Dominic | | P | Pau, Cleopatra | | Pfenning, Frank | | Pientka, Brigitte | | Pitts, Andrew | | Platzer, André | | Polesiuk, Piotr | | Pruiksma, Klaas | | Pym, David | | Pyzik, Mateusz | | R | Ricciotti, Wilmer | | Rolland, Nicolas | | Ronchi Della Rocca, Simona | | S | Sakaguchi, Kazuhiko | | Sieczkowski, Filip | | Sin'Ya, Ryoma | | Stoltenow, Lars | | Stolze, Claude | | T | Tassi, Enrico | | Thiemann, René | | Tsukada, Takeshi | | Tzevelekos, Nikos | | V | von Raumer, Jakob | | Vukmirović, Petar | | X | Xu, Chuangjie | | Y | Yamaguchi, Masaomi | |
|
|