|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Affeldt, Reynald | | B | Bengtson, Jesper | | C | Chlipala, Adam | | D | Dénès, Maxime | | F | Faithfull, Alexander | | G | Garrigue, Jacques | | Gross, Jason | | H | Heras, Jónathan | | Hritcu, Catalin | | K | Komendantskaya, Ekaterina | | L | Lampropoulos, Leonidas | | Licata, Daniel | | M | Malecha, Gregory | | P | Paraskevopoulou, Zoe | | Pierce, Benjamin C. | | S | Schäfer, Steven | | Smolka, Gert | | Sozeau, Matthieu | | Sozeau, Matthieu | | T | Tankink, Carst | | Tebbi, Tobias | | Z | Ziliani, Beta | |
|
|