| |
|
|
| Today, 24.05 | ||
| 15..19 |
|
|
| Friday, 24.05 | ||
| |
6..12 |
|
| |
13..21 | |
| Saturday, 25.05 | ||
| |
7..12 |
|
| |
13..21 | |
| Sunday, 26.05 | ||
| |
9..14 |
|
| |
13..20 | |
| Sun |
| rise:
04:32 set: 22:05 |
|
EMHI Weather today 4 day forecast Marine weather Beaches |
Courses of EWSCS'11
The course of Xavier Boyen had to be cancelled at the last minute. In compensation, some other courses were made 1 hour longer and Peeter Laud gave an additional 1-hour lecture.
Rajeev Goré (Australian National University, Canberra, Australia):
Automated reasoning in modal, tense and temporal logics (details)Martin Hofmann (Ludwig-Maximilians-Universität München, Germany):
Amortized resource analysis (details)Bart Jacobs (Radboud Universiteit Nijmegen, The Netherlands):
Introduction to coalgebra (details)Dominique Unruh (University of Tartu, Estonia):
Long-term security through quantum 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 7, 2011 16:53 EET
by
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page:
http://cs.ioc.ee/ewscs/2011/