11^th Estonian Winter School in Computer Science (EWSCS)
XI Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 5-10, 2006

under the auspices of European Educational Forum

EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics, 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 working language of the schools is English.

---

---

COURSE LIST

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

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

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

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

• John Reynolds (Carnegie-Mellon University, Pittsburgh, PA, USA):
  An Introduction to Separation Logic (details)

---

PROGRAMME COMMITTEE / ORGANISING COMMITTEE

Tarmo Uustalu (Institute of Cybernetics) (chair)
Monika Perkmann (Institute of Cybernetics) (secretary)
Helger Lipmaa (Cybernetica AS)
Jaan Penjam (Institute of Cybernetics)
Jüri Vain (Tallinn University of Technology)
Peeter Laud (University of Tartu)
Varmo Vene (University of Tartu)

---

SPONSORS

Estonian Information Technology Foundation via the Tiigriülikool+ programme
Ministry of Education and Research via the centres of excellence in research programme
EU SOCRATES/ERASMUS project ETN DEC - European Thematic Network for Doctoral Education in Computing
Baltech consortium of Baltic Sea technical universities