[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[This is the last call for the 25th event in a long-running series of schools on (theoretical) computer science. The application deadline is in 3 days.] [Lecturers: Marco Gaboardi, Joost-Pieter Katoen, Andrew M Pitts, Jirí Sgall, Patric Östergård. Apply by **17 Jan 2020**.] CALL for APPLICATIONS 25th Estonian Winter School in Computer Science, EWSCS '20 Palmse, Estonia, 1-6 March 2020 http://cs.ioc.ee/ewscs/2020/ BACKGROUND AND OBJECTIVES EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by 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 theoretical computer science research topics usually not covered within the regular curricula. The working language of the schools is English. EWSCS' 20 is the twenty-fifth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. The courses of EWSCS '20 are: Marco Gaboardi (Boston University, USA): Differential privacy and applications Joost-Pieter Katoen (RWTH Aachen, Germany, and Universiteit Twente, The Netherlands): Foundations of probabilistic programming Andrew M. Pitts (University of Cambridge, UK): Introduction to nominal sets Jiri Sgall (Charles University, Prague, Czech Republic): Online algorithms Patric Östergård (Aalto University, Finland): Classification of mathematical structures 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. The school will organize a bus from Tallinn to Palmse and back. APPLICATION AND COST Application to the school is open, the deadline for application 17 January 2020. All applicants will be notified of admission to the school and acceptance of their talks by 24 January 2020. The number of participants we can admit is limited by the capacity of the premises. Admitted participants will be expected to attend all of the school's program and will be provided access to materials of the courses. Participation includes 5 nights accommodation in twin rooms with full board. Attendance is without fee for PhD and master students (and, possibly, keen talented bachelor students) from TalTech and Univ of Tartu, as well as supervisors and consultants of PhD students. Particants from other institutions in Estonia and abroad will generally need to pay for their costs (above all accommodation and meals), approx 300 EUR. PROGRAMME COMMITTEE / ORGANIZING COMMITTEE Peeter Laud (Cybernetica AS) Monika Perkmann (Tallinn Univ of Technology) (secretary) Pille Pullonen (Cybernetica AS / University of Tartu) Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via TalTech Institutional Development Programme (Doctoral School in ICT) and EXCITE, Excellence in IT in Estonia WEBPAGE http://cs.ioc.ee/ewscs/2020/ EMAIL CONTACT ewscs20(at)cs.ioc.ee