9th Estonian Winter School in Comp. Sci., 1st call for partic.

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

[Two courses out of the total five at EWSCS'04 are related to types, proof 
theory, programming language semantics: the course by Artemov on explicit 
provability and that by Jung on Stone duality and program logics.]

[Lecturers: Artemov, Freivalds, Jung, Naor, Sudan.
Place/time: Palmse, Estonia, 29 Feb-5 March 2004.
Deadline for registration and submission of abstracts for student
talks/posters: 16 Jan 2004.]

                    Call for Participation

         9th Estonian Winter School in Computer Science
           Palmse, Estonia, 29 February-5 March 2004


Background and objectives

EWSCS is a series of regional-scope international winter schools held
annually in Estonia. EWSCS are organized by CIDEC, a joint initiative
of Institute of Cybernetics (Tallinn), Tallinn Technical University
and University of Tartu for the advancement of higher education in
computer science and information technology in Estonia. EWSCS'04 is the 
ninth event of the series.

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 subject of the schools is general
computer science, with a bias towards theory, this comprising both
algorithms, complexity and models of computation, and semantics, logic
and programming theory. The working language of the schools is


The schools' scientific programme consists of short courses by
renowned specialists and a student session. The course list for
EWSCS'04 is the following:

      Prof. Sergei Artemov (City University of New York, USA):
      [Explicit Provability and Constructive Semantics]

      Prof. Rusins Freivalds (University of Latvia, Riga, Latvia):
      Unreasonable Effectiveness of Classical Mathematics 
      in Computer Science

      Prof. Achim Jung (University of Birmingham, UK):
      Stone Duality and Program Logics

      Prof. Moni Naor (Weizmann Institute, Rehovot, Israel):
      Cryptography and Privacy-Preserving Operations

      Prof. Madhu Sudan (MIT / Radcliffe Institute, Cambridge, MA, USA):
      Algorithmic Introduction to Coding Theory

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) or
posters. 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 pictoresque mediaeval
Old Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Paris, Amsterdam, Frankfurt, Hamburg, Berlin,
Prague, Warsaw, Moscow, Kiev, Copenhagen, Oslo, Stockholm, Helsinki,
Vilnius, Riga, ferries from Stockholm and Helsinki. From Vilnius,
Riga, the Eurolines coach service is the practical travel option.

Registration and cost

The deadline for registration and submission of abstracts is 16
January 2004. All registrants will be notified of acceptance to school
and acceptance of their talks/posters by 30 January 2004. The
participation fee 4000 EEK (260 EUR) includes course materials, full
boarding at Palmse, transportation from Tallinn to Palmse, excursion
and conference dinner. For some students, we can fully or partially
waive the fee.

Programme committee / organizing committee

Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger
Lipmaa (Helsinki U. of Techn.), Peeter Laud (U. of Tartu), Jaan Penjam
(IoC), Heli Uibo (U. of Tartu), Jüri Vain (Tallinn Techn. U.),
Varmo Vene (U. of Tartu)


Tiigriülikool Programme, Centers of Excellence in Research
Programme of Ministry of Education and Research of Estonia, FP5 IST
project eVikings II

Further information

Details on the submission of abstracts, registration procedure and
cost, application for fee waiver are available from the school
webpage, www.cs.ioc.ee/yik/schools/win2004. Questions should
be sent to cidec@cs.ioc.ee.