Saturday, November 27, 2010

[DMANET] 16th Estonian Winter School in Computer Science, Call for Partic.

[Lecturers: Boyen, Gore, Hofmann, Jacobs, Sadeghi.
Place/time: Palmse, Estonia, 27 Feb-4 March 2011.
Deadline for application and submission of abstracts for student
talks: ** 14 Jan 2011 **.]


16th Estonian Winter School in Computer Science, EWSCS '11

Palmse, Estonia, 27 Feb-4 March 2011


EWSCS is a series of regional-scope international winter schools held
annually in Estonia. EWSCS are organized by Institute of Cybernetics,
a research institute of Tallinn University of Technology.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic
graduate students in computer science (but also interested students
from elsewhere) to frontline research topics usually not covered
within the regular curricula. The working language of the schools is

EWSCS '11 is the sixteenth event of the series.


The schools' scientific programme consists of short courses by
renowned specialists and a student session.

Courses of EWSCS '11

* Xavier Boyen (Universite de Liege, Belgium):
Lattice-based cryptology

* Rajeev Gore (Australian National University, Canberra, Australia):
Automated reasoning in modal, tense and temporal logics

* Martin Hofmann (Ludwig-Maximilians-Universitaet Muenchen, Germany):
Amortized resource analysis

* Bart Jacobs (Radboud Universiteit Nijmegen, The Netherlands):
Introduction to coalgebra

* Ahmad-Reza Sadeghi (Technische Universitaet Darmstadt and
Fraunhofer-Institut f�r Sichere Informationstechnologie, Germany):
Trusted and trustworthy computing: are we ready for clouds?

The purpose of the student session is to give students an opportunity
to present their work (typically, thesis work) and get
feedback. Registrants are invited to propose short talks (20 min) on
topics of theoretical computer science, broadly understood. The
selection will be based on abstracts of 150-400 words.

The social programme consists of an excursion and a conference dinner.


Palmse is a small settlement 80 kms to the east from Tallinn in the
county of Laeaene-Viru. It is renowned for a large manor that
used to belong to the von Pahlen family, today hosting the visitors'
center of the Lahemaa National Park, a museum, and a hotel.

Tallinn, Estonia's capital, is famous for its picturesque medieval Old
Town, a UNESCO World Heritage site. In 2011, Tallinn, along with Turku
in Finland, is the cultural capital of Europe. There are direct
flights to Tallinn Lennart Meri airport from Amsterdam, Brussels,
Copenhagen, Dublin, Duesseldorf Weeze, Edinburgh, Frankfurt,
Gothenburg, Helsinki, Kiev, London Gatwick, Luton and Stansted, Milan
Bergamo and Malpensa, Moscow, Munich, Oslo Gardermoen and Rygge,
Prague, Riga, Stockholm Arlanda and Skavsta, St Petersburg, Warsaw and
Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St
Petersburg the Lux Express coach services are the practical travel


The deadline for application and submission of student talk abstracts
is 14 January 2011. All applicants will be notified of admission to
the school and acceptance of their talks by 28 January 2011.

Admitted applicants are entitled and expected to attend the courses
and student session of the school. They will also receive a binder
with the course material and access to additional materials on the
school website.

The participation fee is 320 EUR and includes full board accommodation
at Palmse, transportation from Tallinn to Palmse, the excursion and
conference dinner (by contributing towards the associated expense).

We may be able to reduce the fee for a small number of participants.
To apply for fee reduction, please fill in the online fee reduction
request form.


* Tarmo Uustalu (Institute of Cybernetics) (chair)
* Monika Perkmann (Institute of Cybernetics) (secretary)
* Helger Lipmaa (Cybernetica AS)
* Peeter Laud (Cybernetica AS)
* Varmo Vene (University of Tartu)
* Sven Laur (University of Tartu)


* Tiger University Plus programme
of the Estonian Information Technology Foundation
* Estonian Centre of Excellence in Computer Science, EXCS,
funded by the European Regional Development Fund


Details on the application procedure and cost, submission of student
talk abstrats are available from the school webpage, Questions should be sent to