[TYPES] 11th Est. Winter School in Comp. Sci., Call for Participation

Tarmo Uustalu tarmo at cs.ioc.ee
Sun Dec 18 08:22:08 EST 2005

The courses by Bergstra, Halbwachs and Reynolds are from programming theory 
and also relevant for TYPES.

[Lecturers: Bergstra, Desmedt, Halbwachs, Massey, Reynolds.
Place/time: Palmse, Estonia, 5-10 March 2006.
Deadline for registration and submission of abstracts for student
talks/posters: ** 20 Jan 2006 **.]

                         Call for Participation

         11th Estonian Winter School in Computer Science, EWSCS'06
                    Palmse, Estonia, 5­10 March 2006


            under the auspices of European Educational Forum

Background and objectives 

EWSCS is a series of regional-scope international winter schools held
annually in Estonia. EWSCS are organized by Institute of Cybernetics
(IoC), a research institute of Tallinn University of Technology.
EWSCS'06 is the eleventh 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'06 is the following:

* Jan Bergstra (Universiteit van Amsterdam, The Netherlands):
  From Program Algebra to Thread Algebra

* Yvo Desmedt (University College London, UK): 
  Robust Operations Research

* Nicolas Halbwachs (Université Grenoble I / CNRS, France):
  Synchronous Programming: Principles, Compilation, Verification

* James Massey (em., ETH Zürich, Switzerland): 
  Information Theory and Cryptography

* John Reynolds (Carnegie Mellon University, Pittsburgh, PA, USA): 
  An Introduction to Separation Logic
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 picturesque medieval Old
Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Manchester, Dublin, Milan, Amsterdam,
Brussels, Frankfurt, Hamburg, Berlin, Prague, Warsaw, Moscow, Kiev,
Copenhagen, Oslo, Stockholm, Gothenburg, 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 20
January 2006. All registrants will be notified of acceptance to school
and acceptance of their talks/posters by 3 February 2006. The
participation fee 4000 EEK (260 EUR) includes course materials, full
board at Palmse, transportation from Tallinn to Palmse and back,
excursion and conference dinner.
EWSCS'06 is affiliated to ETN DEC
(http://ecet.ecs.ru.acad.bg/etndec/), hence the partners of the
project can use the project funds to support their students'
participation in the school. In addition, it is likely that the
Baltech consortium of technical universities
(http://www.baltech.info/) can support some students of its member
universities. For some participants from elsewhere, the organizers may
be able to reduce the fee.

Programme committee / organizing committee

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


Estonian Information Technology Foundation via the Tiigriülikool+ programme
EU SOCRATES/ERASMUS project ETN DEC - European Thematic Network for 
  Doctoral Education in Computing (114046-CP-1-2004-1-BG-ERASMUS-TN)
Baltech consortium of universities (pending)

Further information 

Details on the submission of abstracts, registration procedure and
cost, application for fee reduction are available from the school
webpage, http://www.cs.ioc.ee/yik/schools/win2006/. Questions should
be sent to ewscs06(at)cs.ioc.ee.

More information about the Types-list mailing list