|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Anand, Abhishek | | Aravantinos, Vincent | | Arthan, Rob | | Avigad, Jeremy | | B | Bartzia, Evmorfia-Iro | | Blanchette, Jasmin Christian | | Blazy, Sandrine | | Bourke, Timothy | | Braibant, Thomas | | C | Chapman, Rod | | Chlipala, Adam | | Chyzak, Frédéric | | Cock, David | | Cohen, Cyril | | D | Davis, Jared | | Davis, Jared | | Dockins, Robert | | Doczkal, Christian | | Dufourd, Jean-François | | E | Emoto, Kento | | G | Gross, Jason | | H | Hao, Kecheng | | Hirokawa, Nao | | Höfner, Peter | | Hölzl, Johannes | | K | Kaufmann, Matt | | Krebbers, Robbert | | Kumar, Ramana | | L | Lammich, Peter | | Laporte, Vincent | | Leroy, Xavier | | Lewis, Robert Y. | | Lochbihler, Andreas | | Loulergue, Frédéric | | Lüth, Christoph | | M | Mahboubi, Assia | | Mahmoud, Mohamed Yousri | | Malecha, Gregory | | Matichuk, Daniel | | Middeldorp, Aart | | Moore, J Strother | | Murray, Toby | | Myreen, Magnus O. | | Mörtberg, Anders | | N | Naves, Guyslain | | Nipkow, Tobias | | O | Owens, Scott | | P | Panny, Lorenz | | Pichardie, David | | Popescu, Andrei | | Puri, Disha | | R | Rahli, Vincent | | Ray, Sandip | | Ring, Martin | | Roux, Cody | | S | Schanda, Florian | | Sewell, Peter | | Sibut-Pinote, Thomas | | Siddique, Umair | | Slobodova, Anna | | Smolka, Gert | | Sozeau, Matthieu | | Spivak, David | | Spiwack, Arnaud | | Sternagel, Christian | | Strub, Pierre-Yves | | Swords, Sol | | T | Tabareau, Nicolas | | Tahar, Sofiene | | Tassi, Enrico | | Tesson, Julien | | Traytel, Dmitriy | | V | van Glabbeek, Rob | | W | Wenzel, Makarius | | Wiedijk, Freek | | X | Xie, Fei | |
|
|