|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK AUTHOR INDEX
A | Alama, Jesse | | B | Benzmüller, Christoph | | C | Codescu, Mihai | | D | De Nivelle, Hans | | Doligez, Damein | | G | Grüninger, Michael | | H | Hou, Ping | | K | Kriener, Jael | | Kutz, Oliver | | L | Lamport, Leslie | | Lange, Christoph | | Libal, Tomer | | Lyaletski, Alexander | | M | Merz, Stephan | | Mossakowski, Till | | R | Raths, Thomas | | S | Steen, Alexander | | W | Wisniewski, Max | | Workshop Organizers, | |
|
|