|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Acquisti, Alessandro | | Adão, Pedro | | Akinyele, Joseph Ayo | | Alvim, Mario | | Appel, Andrew | | Askarov, Aslan | | B | Backes, Michael | | Barthe, Gilles | | Basin, David | | Bauer, Lujo | | Bogdanov, Dan | | Bozzato, Claudio | | Bugliesi, Michele | | Buiras, Pablo | | C | Calzavara, Stefano | | Chase, Melissa | | Chatzikokolakis, Kostas | | Chen, Liqun | | Chong, Stephen | | Chudnov, Andrey | | Crampton, Jason | | Cremers, Cas | | Culnane, Chris | | D | De Groef, Willem | | Dei Rossi, Gian-Luca | | Devriese, Dominique | | Dimoulas, Christos | | Dougherty, Daniel | | F | Fahl, Sascha | | Focardi, Riccardo | | Focardi, Riccardo | | G | Gaboardi, Marco | | Gallego Arias, Emilio Jesus | | Green, Matthew | | Gregoire, Benjamin | | Grossklags, Jens | | Guttman, Joshua | | H | Haeberlen, Andreas | | Harbach, Marian | | Horvat, Marko | | Hsu, Justin | | J | Jagadeesan, Radha | | Johnson, Benjamin | | K | Katsoris, Georgios | | Katz, Jonathan | | Khan, Wilayat | | Khanna, Sanjeev | | Kohlweiss, Markulf | | Kroll, Joshua | | Kuan, George | | Kunz, Cesar | | L | Laszka, Aron | | Laud, Peeter | | Laur, Sven | | Liskov, Moses | | Liu, Jia | | Lubinski, Cm | | Luccio, Flaminia | | Lysyanskaya, Anna | | M | Malozemoff, Alex | | Manoharan, Praveen | | Mantel, Heiko | | Mayer, Jonathan | | McIver, Annabelle | | Meiklejohn, Sarah | | Mohammadi, Esfandiar | | Moore, Scott | | Morgan, Carroll | | Mödersheim, Sebastian A. | | N | Narayan, Arjun | | Naumann, David | | Nielson, Flemming | | Nielson, Hanne Riis | | P | Palamidessi, Catuscia | | Perner, Matthias | | Pierce, Benjamin | | Piessens, Frank | | Pinto, Alexandre | | Pitcher, Corin | | Pullonen, Pille | | R | Rafnsson, Willard | | Reitter, David | | Rezk, Tamara | | Riely, James | | Roth, Aaron | | Russo, Alejandro | | Ryan, Mark | | S | Sabelfeld, Andrei | | Sauer, Jens | | Schmidt, Benedikt | | Schneider, Steve | | Smith, Geoffrey | | Smith, Matthew | | Stefan, Deian | | Stewart, Gordon | | Strub, Pierre-Yves | | T | Tempesta, Mauro | | Thayer, Francisco Javier | | V | Vanhoef, Mathy | | Vigo, Roberto | | W | Winebrinner, Charles | |
|
|