Logic List Mailing Archive

15th Estonian Winter School in Computer Science

28 Feb - 4 Mar 2010
Palmse, Estonia

[Lecturers: Cockett, Groth, Kiayias, Morgan, Mycroft.
Place/time: Palmse, Estonia, 28 Feb-5 March 2010.
Deadline for application and submission of abstracts for student
talks: ** 15 Jan 2010 **.]


                        CALL for PARTICIPATION

          15th Estonian Winter School in Computer Science, EWSCS '10

                  Palmse, Estonia, 28 Feb-5 March 2010

                      http://cs.ioc.ee/ewscs/2010/


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
English.

EWSCS'10 is the fifteenth event of the series.


PROGRAMME

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

Courses of EWSCS'10

     * Robin Cockett (University of Calgary, Canada):
       Categories and Computability

     * Jens Groth (University College London, UK):
       Pairing-Based Non-interactive Zero-Knowledge Proofs

     * Aggelos Kiayias (University of Connecticut, USA):
       Encryption Mechanisms for Digital Content Distribution

     * Carroll Morgan (University of New South Wales, Australia):
       Security, Probability and Abstraction:
       Rigorous Methods for Source-Level Reasoning

     * Alan Mycroft (University of Cambridge, UK):
       Type-Like Frameworks for Controlling State and Aliasing

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.


VENUE

Palmse is a small settlement 80 kms to the east from Tallinn in the
county of Lne-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. There are direct flights to
Tallinn airport from Amsterdam, Berlin Tegel, Brussels, Copenhagen,
Frankfurt, Gothenburg, Helsinki, Kiev, Lappeenranta, London Gatwick
and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague,
Riga, Stockholm Arlanda, St Petersburg, Turku, Vilnius, ferries from
Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the
Eurolines coach services are the practical travel option.


APPLICATION AND COST

The deadline for application and submission of abstracts is 15 January
2010. All applicants will be notified of admission to the school and
acceptance of their talks by 29 January 2010.

Admitted participants 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 5000 EEK (320 EUR) and includes full board
accommodation at Palmse, transportation from Tallinn to Palmse, an
excursion and conference dinner (by contributing towards the
corresponding expense).



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)


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)


FURTHER INFORMATION

Details on the submission of abstracts, application procedure and cost
are available from the school webpage, http://cs.ioc.ee/ewscs/2010/.
Questions should be sent to ewscs10(at)cs.ioc.ee.