Logic List Mailing Archive

14th Estonian Winter School in Computer Science (EWSCS 2009)

1-6 March 2009
Palmse, Estonia

[Lecturers: Courtois, Dybjer, Gennaro, Goldberg, Mller-Olm.
Place/time: Palmse, Estonia, 1-6 March 2009
Deadline for application and submission of abstracts for student
talks: ** 16 Jan 2009 **.]


                          Call for Participation


          14th Estonian Winter School in Computer Science, EWSCS '09

                     Palmse, Estonia, 1-6 March 2009

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



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 '09 is the fourteenth 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 '09 is the following:

* Nicolas T. Courtois (University College London, UK):
   Algebraic Attacks on Stream Ciphers

* Peter Dybjer (Chalmers University of Technology and
      Gothenburg University, Sweden):
   Normalization by Evaluation

* Rosario Gennaro (IBM T.J. Watson Research Centre, New York, USA):
   Provable Security and Efficiency in Cryptographic Constructions

* Paul W. Goldberg (University of Liverpool, UK):
   Computational Complexity in Game Theory

* Markus Mller-Olm (Westflische Wilhelms-Universitt Mnster, Ger
many):
   Program Analysis of Sequential and Parallel Programs

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 from Amsterdam, Brussels, Copenhagen, Frankfurt, Gothenburg,
Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk,
Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, Vienna and
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 16 January
2009. All applicants will be notified of admission to the school and
acceptance of their talks/posters by 30 January 2009. The
participation fee 5000 EEK includes course materials, full board
accommodation at Palmse, transportation from Tallinn to Palmse and
back, excursion and conference dinner.


Programme committee / organizing committee

Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger
Lipmaa (Cybernetica AS), Peeter Laud (Cybernetica AS), Varmo Vene
(U. of Tartu), Sven Laur (U. of Tartu), Ando Saabas (IoC)


Sponsors

Estonian Centre of Excellence in Computer Science (EXCS)
Tiger University Plus programme of the Estonian Information
Technology Foundation (pending)


Further information

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