[ The Types Forum (announcements only),
[Lecturers: Boyen, Goré, 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 **.]
CALL for PARTICIPATION
16th Estonian Winter School in Computer Science, EWSCS '11
Palmse, Estonia, 27 Feb-4 March 2011
BACKGROUND AND OBJECTIVES
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 (Université de Liège, Belgium):
* Rajeev Goré (Australian National University, Canberra, Australia):
Automated reasoning in modal, tense and temporal logics
* Martin Hofmann (Ludwig-Maximilians-Universität München, Germany):
Amortized resource analysis
* Bart Jacobs (Radboud Universiteit Nijmegen, The Netherlands):
Introduction to coalgebra
* Ahmad-Reza Sadeghi (Technische Universität 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 Lääne-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, Düsseldorf 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
APPLICATION AND COST
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
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
PROGRAMME COMMITTEE / ORGANISING COMMITTEE
* 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,
http://cs.ioc.ee/ewscs/2011/. Questions should be sent to