26th Estonian Winter School in Computer Science (EWSCS)
XXVI Eesti Arvutiteaduse Talvekool

Viinistu, Estonia, March 4 - 7, 2024

Courses at EWSCS 2024


PROGRAMME


Monday, March 4, 2024

8:45 Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (google map)
~9:00Stop to pick up lecturers from Hotel L'Ermitage - Toompuiestee 19 (google map - pick-up points)
~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 Szabolcs Horvát "Random graphs and methods for constructing them" I
13:00 Lunch and break
14:30 - 15:30 Elaine Pimentel "Proof theory for ecumenical systems" I
15:30 - 16:00 Coffee break
16:00 - 17:00 Meiko Jensen "From anonymization to protection goals for privacy engineering" I
17.00 - 17.15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00 Dinner and discussions
21:00-24:00Sauna I

Tuesday, March 5, 2024

08:00 - 08:45 Breakfast
09:00 - 10:00 César Sánchez "Temporal logics for hyperproperties" I
10:00 - 10:30 Coffee break
10:30 - 11:30 Szabolcs Horvát "Random graphs and methods for constructing them" II
11:30 - 11:45 Break
11:45 - 12:45 Elaine Pimentel "Proof theory for ecumenical systems" II
13:00 Lunch
14:30 - 15:30 Meiko Jensen "From anonymization to protection goals for privacy engineering" II
15:30 - 16:00 Coffee break
16:00 - 17:00 César Sánchez "Temporal logics for hyperproperties" II
17:00 - 17:15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00Dinner and discussions
21:00-24:00Sauna II

 

Wednesday, March 6, 2024

08:00 - 08:45 Breakfast
09:00 - 10:00 Szabolcs Horvát "Random graphs and methods for constructing them" III
10:00 - 10:30 Coffee break
10:30 - 11:30 Elaine Pimentel "Proof theory for ecumenical systems" III
11:40 - 13:10Visiting Viinistu Art Museum.
13:10 Lunch
14:30 - 15:30 César Sánchez "Temporal logics for hyperproperties" III
15:30 - 16:00 Coffee break
16:00 - 17:00 Meiko Jensen "From anonymization to protection goals for privacy engineering" III
17:00 - 17:15 Break
17.15 - 18.15 Exercises in Purekkari and Mohni Halls
19:00Dinner and discussions
20:30 ... CRAPcon 2024 in Purekkari Hall

Thursday, March 7, 2024

08:00 - 08:45 Breakfast
09:00 - 10:00 Elaine Pimentel "Proof theory for ecumenical systems" IV
10:00 - 10:30 Coffee break and check-out
10:30 - 11:30 César Sánchez "Temporal logics for hyperproperties" IV
11:30 - 11:45 Break
11:45 - 12:45 Meiko Jensen "From anonymization to protection goals for privacy engineering" IV
13:00 Lunch
14:30 - 15:30 Szabolcs Horvát "Random graphs and methods for constructing them" IV
15:30 - 15:40 Closing
15:45 Departure (bus)

Co-located event CRAPcon 2024 on March 6.

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


APPLICATION AND COST

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

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: 450 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 organised by Cybernetica AS. It is sponsored by the Department of Software Science of Tallinn University of Technology.

WEBPAGE

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

EMAIL CONTACT

ewscs24 (at) cs.ioc.ee

Last changed April 9, 2024 11:08 EEST (GMT +03:00) by local organisers