| |
|
|
| Today, 25.05 | ||
| 15..20 |
|
|
| Saturday, 25.05 | ||
| |
6..12 |
|
| |
13..20 | |
| Sunday, 26.05 | ||
| |
9..14 |
|
| |
13..18 | |
| Monday, 27.05 | ||
| |
5..12 |
|
| |
16..23 | |
| Sun |
| rise:
04:30 set: 22:07 |
|
EMHI Weather today 4 day forecast Marine weather Beaches |
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
March 2, 2013 16:40 EET
by
local organizers, ewscs13(at)cs.ioc.ee
EWSCS'13 page:
http://cs.ioc.ee/ewscs/2013/