Logic List Mailing Archive

11th Estonian Winter School in Computer Science (EWSCS'06), Palmse, Estonia, Mar 2006

[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

                http://www.cs.ioc.ee/yik/schools/win2006/


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


Programme

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.


Venue

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)


Sponsors

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.