VSL 2014: VIENNA SUMMER OF LOGIC 2014
Ralf Kuesters
Organization: University of Trier
Web site: http://infsec.uni-trier.de/
Pages in this Program
ASA Call for Papers
ASA Program Committee
FCS-FCC Home Page