27th Estonian Winter School in Computer Science (EWSCS)
XXVII Eesti Arvutiteaduse Talvekool

Viinistu, Estonia, March 3 - 6, 2025

Courses at EWSCS 2025


PROGRAMME (preliminary)


Monday, March 3, 2025

8:45 Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (google map)
~9:15Stop in front of Swissôtel (near bus-stop Tornimäe on Rävala pst.) at City Center (google map - pick-up points)
10:30 - 11:00 Arrival and setting up
11:00 - 11:30 Welcome coffee
11:30Opening
11:45 - 12:45 Uli Fahrenberg "Discrete and continuous models for concurrent systems: from Petri nets to directed spaces" I
13:00 Lunch and break
14:30 - 15:30 Anders Claesson "Combinatorial species" I
15:30 - 16:00 Coffee break
16:00 - 17:00 Marino Miculan "Formally Verifying Security of Complex Architectures: MFA and Containerized Systems" I
17.00 - 17.15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00 Dinner and discussions

Tuesday, March 4, 2025

08:00 - 08:45 Breakfast
09:00 - 10:00 Miika Hannula "Conjunctive query evaluation" I
10:00 - 10:30 Coffee break
10:30 - 11:30 Uli Fahrenberg "Discrete and continuous models for concurrent systems: from Petri nets to directed spaces" II
11:30 - 11:45 Break
11:45 - 12:45 Anders Claesson "Combinatorial species" II
13:00 Lunch
14:30 - 15:30 Marino Miculan "Formally Verifying Security of Complex Architectures: MFA and Containerized Systems" II
15:30 - 16:00 Coffee break
16:00 - 17:00 Miika Hannula "Conjunctive query evaluation" II
17:00 - 17:15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00Dinner and discussions
21:00-24:00Sauna

 

Wednesday, March 5, 2025

08:00 - 08:45 Breakfast
09:00 - 10:00 Uli Fahrenberg "Discrete and continuous models for concurrent systems: from Petri nets to directed spaces" III
10:00 - 10:30 Coffee break
10:30 - 11:30 Anders Claesson "Combinatorial species" III
11:40 - 13:10Visiting Viinistu Art Museum.
13:10 Lunch
14:30 - 15:30 Miika Hannula "Conjunctive query evaluation" III
15:30 - 16:00 Coffee break
16:00 - 17:00 Marino Miculan "Formally Verifying Security of Complex Architectures: MFA and Containerized Systems" III
17:00 - 17:15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00Dinner and discussions
20:30 ... CRAPcon 2025 ??? in Purekkari Hall

Thursday, March 6, 2025

08:00 - 08:45 Breakfast
09:00 - 10:00 Anders Claesson "Combinatorial species" IV
10:00 - 10:30 Coffee break and check-out
10:30 - 11:30 Miika Hannula "Conjunctive query evaluation" IV
11:30 - 11:45 Break
11:45 - 12:45 Marino Miculan "Formally Verifying Security of Complex Architectures: MFA and Containerized Systems" IV
13:00 Lunch
14:30 - 15:30 Uli Fahrenberg "Discrete and continuous models for concurrent systems: from Petri nets to directed spaces" IV
15:30 - 15:40 Closing
15:45 Departure (bus)

BACKGROUND AND OBJECTIVES

EWSCS is a series of regional-scope international winter schools held annually in Estonia.

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'25 is the twenty seventh event of the series.


APPLICATION AND COST

To apply for a place, fill in the online participation application form before February 12, 2025.

Admitted participants will be expected to attend all of the school's program. They will be provided access to materials of the courses. Participation includes 3 nights accommodation in twin rooms with full board.

Participation fee: 490 EUR; we may be able to reduce the fee for some BSc and MSc students.


VENUE

The school will take place at Viinistu Art Hotel. Viinistu is a fishing village in Kuusalu Parish, Harju County in northern Estonia within the territory of Lahemaa National Park. It is located on the coast of the Gulf of Finland on the Pärispea Peninsula by the Eru Bay, about 7 km north of the town of Loksa. From Tallinn the distance is 77 kms.

The school will organize a bus from Tallinn to Viinistu and back.


PROGRAMME / ORGANISING COMMITTEE

The school is sponsored by the Department of Software Science of Tallinn University of Technology.

WEBPAGE

https://cs.ioc.ee/ewscs/2025/

EMAIL CONTACT

ewscs25 (at) cs.ioc.ee

Last changed February 3, 2025 12:25 EET (GMT +02:00) by local organisers