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
July 9, 2013 19:12 EET
by
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page:
//cs.ioc.ee/ewscs/2011/