|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Alur, Rajeev | | B | Bloem, Roderick | | Bohy, Aaron | | Brenguier, Romain | | Bruyère, Véronique | | E | Ehlers, Rüdiger | | F | Finkbeiner, Bernd | | G | Gascon, Adria | | J | Jacobs, Swen | | Jha, Susmit | | K | Khalimov, Ayrat | | Koenighofer, Robert | | Kuncak, Viktor | | P | Perez, Guillermo | | R | Raman, Vasumathi | | Raskin, Jean-Francois | | Ryzhyk, Leonid | | S | Sankur, Ocan | | Seshia, Sanjit A. | | T | Tiwari, Ashish | | W | Wiklicky, Herbert | |
|
|