[Lecturers: Boyen, Goré, Hofmann, Jacobs, Sadeghi. Place/time: Palmse, Estonia, 27 Feb-4 March 2011. Deadline for application and submission of abstracts for student talks: ** 14 Jan 2011 **.] CALL for PARTICIPATION 16th Estonian Winter School in Computer Science, EWSCS '11 Palmse, Estonia, 27 Feb-4 March 2011 http://cs.ioc.ee/ewscs/2011/ BACKGROUND AND OBJECTIVES 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. 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. EWSCS '11 is the sixteenth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. Courses of EWSCS '11 * Xavier Boyen (Université de Liège, Belgium): Lattice-based cryptology * Rajeev Goré (Australian National University, Canberra, Australia): Automated reasoning in modal, tense and temporal logics * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany): Amortized resource analysis * Bart Jacobs (Radboud Universiteit Nijmegen, The Netherlands): Introduction to coalgebra * Ahmad-Reza Sadeghi (Technische Universität Darmstadt and Fraunhofer-Institut für Sichere Informationstechnologie, Germany): Trusted and trustworthy computing: are we ready for clouds? 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 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. In 2011, Tallinn, along with Turku in Finland, is the cultural capital of Europe. There are direct flights to Tallinn Lennart Meri airport from Amsterdam, Brussels, Copenhagen, Dublin, Düsseldorf Weeze, Edinburgh, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick, Luton and Stansted, Milan Bergamo and Malpensa, Moscow, Munich, Oslo Gardermoen and Rygge, Prague, Riga, Stockholm Arlanda and Skavsta, St Petersburg, Warsaw and Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the Lux Express coach services are the practical travel option. APPLICATION AND COST The deadline for application and submission of student talk abstracts is 14 January 2011. All applicants will be notified of admission to the school and acceptance of their talks by 28 January 2011. Admitted applicants are entitled and expected to attend the courses and student session of the school. They will also receive a binder with the course material and access to additional materials on the school website. The participation fee is 320 EUR and includes full board accommodation at Palmse, transportation from Tallinn to Palmse, the excursion and conference dinner (by contributing towards the associated expense). We may be able to reduce the fee for a small number of participants. To apply for fee reduction, please fill in the online fee reduction request form. PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) * Helger Lipmaa (Cybernetica AS) * Peeter Laud (Cybernetica AS) * Varmo Vene (University of Tartu) * Sven Laur (University of Tartu) SPONSORS * Tiger University Plus programme of the Estonian Information Technology Foundation * Estonian Centre of Excellence in Computer Science, EXCS, funded by the European Regional Development Fund FURTHER INFORMATION Details on the application procedure and cost, submission of student talk abstrats are available from the school webpage, http://cs.ioc.ee/ewscs/2011/. Questions should be sent to ewscs11(at)cs.ioc.ee. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]