|
CPP 2016: THE FIFTH INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS
TALK AUTHOR INDEX
A | Anderson, Thomas | | Anton, Steve | | B | Bernard, Sophie | | Bertot, Yves | | Bickford, Mark | | Blazy, Sandrine | | C | Charguéraud, Arthur | | Cohen, Cyril | | Czajka, Łukasz | | D | Djalal, Boris | | E | Ernst, Michael D. | | F | Felty, Amy | | Fulton, Nathan | | K | Kaliszyk, Cezary | | Kotelnikov, Evgenii | | Kovacs, Laura | | L | Lammich, Peter | | Lethin, Richard | | Li, Wenda | | M | Meister, Benoît | | Mountcastle, Paul | | P | Parrow, Joachim | | Paulson, Lawrence C. | | Platzer, André | | Pąk, Karol | | R | Rahli, Vincent | | Ramananandro, Tahina | | Reger, Giles | | Rideau, Laurence | | S | Schneider, Sigurd | | Schäfer, Steven | | Smolka, Gert | | St-Martin, Michel | | Strub, Pierre-Yves | | T | Tatlock, Zachary | | Thiemann, René | | Trieu, Alix | | U | Urban, Josef | | V | van Doorn, Floris | | Voronkov, Andrei | | W | Wilcox, James R. | | Woos, Doug | | Y | Yamada, Akihisa | | Å | Åman Pohjola, Johannes | |
|
|