[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Lecturers: Cockett, Groth, Kiayias, Morgan, Mycroft. Place/time: Palmse, Estonia, 28 Feb-5 March 2010. Deadline for application and submission of abstracts for student talks: ** 15 Jan 2010 **.] CALL for PARTICIPATION 15th Estonian Winter School in Computer Science, EWSCS '10 Palmse, Estonia, 28 Feb-5 March 2010 http://cs.ioc.ee/ewscs/2010/ 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'10 is the fifteenth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. Courses of EWSCS'10 * Robin Cockett (University of Calgary, Canada): Categories and Computability * Jens Groth (University College London, UK): Pairing-Based Non-interactive Zero-Knowledge Proofs * Aggelos Kiayias (University of Connecticut, USA): Encryption Mechanisms for Digital Content Distribution * Carroll Morgan (University of New South Wales, Australia): Security, Probability and Abstraction: Rigorous Methods for Source-Level Reasoning * Alan Mycroft (University of Cambridge, UK): Type-Like Frameworks for Controlling State and Aliasing 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. There are direct flights to Tallinn airport from Amsterdam, Berlin Tegel, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, Lappeenranta, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, St Petersburg, Turku, 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 15 January 2010. All applicants will be notified of admission to the school and acceptance of their talks by 29 January 2010. Admitted participants 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 5000 EEK (320 EUR) and includes full board accommodation at Palmse, transportation from Tallinn to Palmse, an excursion and conference dinner (by contributing towards the corresponding expense). 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 mainly by the European Regional Development Fund) FURTHER INFORMATION Details on the submission of abstracts, application procedure and cost are available from the school webpage, http://cs.ioc.ee/ewscs/2010/. Questions should be sent to ewscs10(at)cs.ioc.ee.