Call for Partic 7th Estonian Winter School in Computer Science

[EWSCS are international schools for grad students in computer science. Prof
Schwichtenberg's course at EWSCS'02 is directly on type theory. Two of the
three other courses are on closely related subjects suiting for people
interested in logic, universal algebra.]

       7th Estonian Winter School in Computer Science (EWSCS)

                 Palmse, Estonia, March 3 - 8, 2002

                      CALL for PARTICIPATION


EWSCS is a series of 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. EWSCS'02 is the seventh event of the series.

The main objective of EWSCS is to expose Estonian, Baltic, and Nordic
graduate students (but also interested students from elsewhere) to
frontline topics in computer science that are 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 and
logic. The working language of the schools is English.


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

The list of courses to be given in EWSCS'02 is the following.

    * Hilbert's tenth problem
      Yuri Matiyasevich, Steklov Institute of Mathematics, 
      St Petersburg (RU)

    * Extracting programs from proofs
      Helmut Schwichtenberg, Ludwig-Maximilians-Universität München (DE)

    * Universal coalgebra: a theory of state-based systems
      H. Peter Gumm, Philipps-Universität Marburg (DE)

    * Combinatorial problems in data mining
      Heikki Mannila, University of Helsinki / Helsinki Univ. of 
      Technology (FI)

For the student session, short presentations (20 min) are solicited
from the participants of the school. The programme will be selected
based on abstracts of roughly one page (50-60 lines of
plaintext). Submissions from all areas of computer science are
welcome. Presenting work in progress is encouraged, but so is also
presenting work submitted for formal publication elsewhere. The best
student presentation is subject to a (symbolic) award. Abstracts
should be sent to cidec@cs.ioc.ee.

Submission deadline for student presentations: 3 Feb 2002.
Notification: 17 Feb 2002.

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


Palmse is a small settlement in the county of Lääne-Viru, 80 kms to
the East from Tallinn, renowned for a large manor that used to belong
to the von Pahlen family, today hosting the visitors' center of the
Lahemaa National Park. EWSCS'02 will take place in Park Hotel Palmse,
a converted distillery of the manor complex.

Tallinn, Estonia's capital, is famous for its pictoresque medieval Old
Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Frankfurt, Hamburg, Vienna, Moscow, Warsaw,
Copenhagen, Stockholm, Helsinki, ferries from Stockholm and
Helsinki. From Vilnius, Riga, the Eurolines coach service is the
practical travel option.


Registration is done via WWW
(http://www.cs.ioc.ee/yik/schools/win2002/reg.php).  Please register
early; the number of participants is limited.

Deadline for registration: 3 Feb 2002.

The participation fee is 4000 EEK (approx 256 EUR) and includes the
course material, full boarding, the transportation from Tallinn to
Palmse, excursion and conference dinner. The fee can be paid either by
bank transfer to Institute of Cybernetics, Hansapank (SWIFT code HABA
EE2X), account No. 221007122812 (please refer to EWSCS'02 plus your
name and make sure that the payment is made in EEK or EUR with all
charges on your side) or in cash (EEK) upon arrival.

Participants from Tallinn Technical University and University of Tartu
may be able to get their costs paid by their universities and are
expected to contact their supervisors about this.

For participants from abroad, there is a limited number of grants
available that cover the participation fee. To apply for a grant,
please contact the organizers by email.


Jaan Penjam, Inst. of Cybernetics / Tallinn Techn. Univ. (co-chair)
Jüri Vain, Inst. of Cybernetics / Tallinn Techn. Univ. (co-chair)
Monika Perkmann, Inst. of Cybernetics (registration)
Helger Lipmaa, Helsinki University of Technology
Kaili Müürisep, Inst. of Cybernetics / Univ. of Tartu
Tarmo Uustalu, University of Minho, Braga / Inst. of Cybernetics
Jan Willemson, Cybernetica AS / University of Tartu