Courses of EWSCS'13
-
Magnús Már Halldórsson (School of Computer Science, Reykjavík University, Iceland):
Approximation Algorithms for NP-Hard Combinatorial Problems (details) Ralf Küsters (Fachbereich IV - Informatik, Univ. Trier, Germany):
Central Security Requirements and Analysis of E-Voting Systems (details)Luke Ong (Dept. of Computer Science, University of Oxford, UK):
Higher-Order Model Checking (details)Davide Sangiorgi (Dip. di Scienze dell'Informazione, Università di Bologna, Italy):
Introduction to Bisimulation and Coinduction (details)Santiago Zanella Béguelin (Microsoft Research, Cambridge, UK):
Formal Methods for Cryptography (details)
SPONSORS
- Tiger University Plus programme of the Estonian Information Technology Foundation
- Estonian Centre of Excellence in Computer Science, EXCS (funded mainly by the European Regional Development Fund)
Last changed
July 9, 2013 19:13 EET
by
local organizers, ewscs13(at)cs.ioc.ee
EWSCS'13 page:
//cs.ioc.ee/ewscs/2013/