Events

Estonian Winter Schools in Computer Science, EWSCS

For twenty years, in cooperation with the Dept. of Computer Science of the University of Tartu, we have annually organized a winter school in Estonia in theoretical computer science with international lecturers. From 1999, these schools - the EWSCS - have been international also by their audience.

The first school of 1996 was at Pühajärve. All subsequent ones have taken place at Palmse.

During their existence, the EWSCS schools have received support from various sources. From 2003 to 2015, the main sponsors were the Tiger University and Tiger University Plus programmes of HITSA. In 2016, HITSA's IT Academy programme supported EWSCS.

Latest EWSCS schools

• EWSCS 2016 (courses by Herman Geuvers, Ralf Hinze, Sun-Yuan Kung, Matteo Maffei, Thomas Schneider), Palmse, 28 Feb.-4 March 2016
• EWSCS 2015 (courses by Zvika Brakerski, Jarkko Kari, Prakash Pananganden, Gordon Plotkin, Abhi Shelat), Palmse, 1-6 March 2015
• EWSCS 2014 (courses by Jifeng He, Elias Koutsoupias, Conor McBride, Claudio Orlandi, Jacques Sakarovitch), Palmse, 2-7 March 2014
• EWSCS 2013 (courses by Magnús Már Halldórsson, Ralf Küsters, Luke Ong, Davide Sangiorgi, Santiago Zanella Béguelin), Palmse, 3-8 March 2013
• EWSCS 2012 (courses by Vassil Dimitrov, Martín Escardó, Giuseppe Italiano, Jakob Nordström, Kwangkeun Yi), Palmse, 26 Feb.-2 March 2012
• EWSCS 2011 (courses by Rajeev Goré, Martin Hofmann, Bart Jacobs, Dominique Unruh), Palmse, 27 Feb.-4 March 2011
• EWSCS 2010 (courses by Robin Cockett, Jens Groth, Aggelos Kiayias, Carroll Morgan, Alan Mycroft), Palmse, 28 Feb.-5 March 2010
• EWSCS 2009 (courses by Nicolas T. Courtois, Peter Dybjer, Rosario Gennaro, Paul W. Goldberg, Markus Müller-Olm), Palmse, 1-6 March 2009
• EWSCS 2008 (courses by Nick Benton, David Harel, Eyal Kushilevitz, José Meseguer, Giuseppe Persiano), Palmse, 2-7 March 2008
• EWSCS 2007 (courses by Arvind, Ingemar Cox, Anna Ingólfsdóttir, Gheorghe Paun, Moti Yung), Palmse, 4-9 March 2007
• EWSCS 2006 (courses by Jan Bergstra, Yvo Desmedt, Nicolas Halbwachs, James Massey, John Reynolds), Palmse, 5-10 March 2006
• EWSCS 2005 (courses by Olivier Danvy, Kurt Mehlhorn, Peter Bro Miltersen, Greg Morrisett, Benny Pinkas), Palmse, 27 Feb.-4 March 2005
• EWSCS 2004 (courses by Sergei Artemov, Rusins Freivalds, Achim Jung, Moni Naor, Madhu Sudan), Palmse, 29 Feb.-5 March 2004
• EWSCS 2003 (courses by Andris Ambainis, Gregory Chaitin, Patrick Cousot, Ivan Damgård, Johan Håstad), Palmse, 2-7 March 2003
• EWSCS 2002 (courses by Heinz-Peter Gumm, Heikki Mannila, Yuri Matiyasevich, Helmut Schwichtenberg), Palmse, 3-8 March 2002

Theory Days

The biannual CS Theory Days, organized in alternation by us and DCS-UT, are a meeting point for CS researchers at Tallinn and Tartu. Similarly to EWSCS, they are primarily targeted at doctoral and master students, but are a domestic event. Still we often invite some guests from abroad.

The Theory Days were started in autumn 2002 as an event of CDC. In 2008 they were supported by Tiger University Plus. From 2009 to spring 2015, they happened under the auspices of EXCS.

The latest editions took place at Mäetaguse (with guests from the St Petersburg Department of the Steklov Mathematical Institute (PDMI) and the PDMI Computer Science Club, 2-4 Oct. 2009), Andu (semantics, 5-7 Feb. 2010), Elva (crypto, 11-13 June 2010), Rakari (joint Estonian-Latvian event, 30 Sept.-3 Oct. 2010), Nelijärve (4-6 Feb. 2011), Tõrve (7-9 Oct. 2011), Kubija (27-29 Jan. 2012), Lilaste (joint Estonian-Latvian event, 27-30 Sept. 2012), Otepää (1-3 Feb. 2013), Saka (25-27 Oct. 2013), Narva-Jõesuu (16-18 May 2014), Ratnieki (joint Estonian-Latvian event, 2-5 Oct. 2014), Rogosi (6-8 Feb. 2015), Jõeküla (2-4 Oct. 2015), Käo (29-31 Jan. 2016) and Lilaste 2 (joint Estonian-Latvian event, 13-16 Oct. 2016).

International events

During the last years, we have brought to Estonia a number of high-level international scientific events in databases/information systems, automated software engineering and functional programming/type theory/programming language semantics.

Upcoming international events

• (none at the moment)

Latest international events

• COST action ARVI MC&WG meeting, Tallinn, 10-11 December 2015 (Tarmo Uustalu, organizer)
• Estonian-Finnish logic meeting, Rakvere, 13-15 November 2015 (Tarmo Uustalu, organizer)
• 21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, 18-21 May 2015 (Tarmo Uustalu, organizer)
• 20th Agda Intensive Meeting, AIM XX, Tallinn, 16-22 October 2014 (James Chapman, organizer)
• 11th International Baltic Conference on Databases and Information Systems, Baltic DB&IS 2014, Tallinn, 8-11 June 2014 (Ahto Kalja, general chair, Hele-Mai Haav, PC cochair)
• 25th Nordic Workshop on Programming Theory, NWPT 2013, Tallinn, 20-22 Nov. 2013 (Tarmo Uustalu, Jüri Vain, PC cochairs)
• 15th European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Tallinn, 24 March - 1 April 2012 (Tarmo Uustalu, local organizer)
• 12th Symposium on Programming Languages and Software Tools, SPLST 2011, Tallinn, 5-7 Oct. 2011 (Jaan Penjam, PC chair)
• 10th European Conference on Information Warfare and Security, ECIW 2011, Tallinn, 7-8 July 2011 (Vahur Kotkas, local organizer)
• 1st training school of COST action FoVeOOS, Viinistu, 25-29 Jan. 2009 (Tarmo Uustalu, organizer)
• 20th Nordic Wksh. on Programming Theory, NWPT 2008, Tallinn, 19-21 Nov. 2008 (Jüri Vain, Tarmo Uustalu, PC cochairs)
• 8th Int. Baltic Conf. on Databases and Information Systems, Baltic DB&IS 2008, Tallinn, 2-5 June 2008 (Hele-Mai Haav, Ahto Kalja, PC cochairs)
• Workshop on Effects and Type Theory, EffTT, Tallinn, 13-14 Dec. 2007 (Tarmo Uustalu, organizer)
• 7th Joint Conf. on Knowledge-Based Software Engineering, JCKBSE 2006, Tallinn, 28-31 Aug. 2006 (Enn Tyugu, PC cochair)
• 8th Int. Conf. on Mathematics of Program Construction, MPC 2006 / 11th Int. Conf. on Algebraic Methodology and Software Technology, AMAST 2006 (incl. Wksh. on Mathematically Structured Functional Programming, MSFP 2006), Kuressaare, 2-8 July 2006 (Tarmo Uustalu, PC chair for MPC, PC cochair for MSFP, Varmo Vene, PC cochair for AMAST)
• IFIP WG 2.8 Meeting #22, Kalvi, 1-4 Oct. 2005 (Tarmo Uustalu, local organizer)
• 6th Symp. on Trends in Functional Programming, TFP 2005 / 10th ACM SIGPLAN Int. Conf. on Functional Programming, ICFP 2005 / 4th Int. Conf. on Generative Programming and Component Engineering, GPCE 2005 (incl. 8 ICFP workshops, 3 GPCE workshops, 2 GPCE tutorials), Tallinn, 23 Sept-1 Oct. 2005 (Tarmo Uustalu, local organizer)
• 9th East-European Conf. on Advances in Databases and Information Systems, ADBIS 2005, Tallinn, 12-15 Sept. 2005 (Jaan Penjam, Ahto Kalja, general cochairs, Hele-Mai Haav, PC cochair)
• 5th Int. Summer School on Advanced Functional Programming, AFP 2004, Tartu, 14-21 Aug. 2004 (Varmo Vene, Tarmo Uustalu, organizers)
• 2nd APPSEM II Workshop, APPSEM 2004 (incl. 2nd Wksh. on Normalization by Evaluation, NbE 2004), Tallinn, 14-17 Apr. 2004 (Tarmo Uustalu, local organizer)
• 5th Int. Baltic Conf. on Databases and Information Systems, Baltic DB&IS 2002, Tallinn, 3-6 June 2002 (Hele-Mai Haav, Ahto Kalja, PC cochairs)