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)
Last changed
September 27, 2011 13:38 EET
by
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page:
//cs.ioc.ee/ewscs/2011/