24th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2019

AGENDA

 

Sunday, March 3

17:00Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (Google map)
~17:30Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map)
~17:45Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map)
~18:00Stop at Airport (at long-distance bus stop on the city side of the passenger terminal next to the tram stop;
map at Parking and traffic arrangements at Tallinn Airport)
~19:15Arrival to Park Hotel Palmse and check-in
19:45Dinner

 

Monday, March 4

08:00 - 08:45Breakfast
08:50Opening
09:00 - 10:00 Jade Alglave "Herding cats" I (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Zena Ariola "Logic and computation" I (details)
11:30 - 11:45 Break
11:45 - 12:45 Barbara Kordy "Attack trees 20 years later" I (details)
13:00 Lunch
14:30 - 15:30 Zena Ariola "Logic and computation" II (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Barbara Kordy "Attack trees 20 years later" II (details)
17:30 - 18:30 Exercises at the hotel classroom
19:00 Dinner and discussions

 

Tuesday, March 5

08:00 - 08:45 Breakfast
09:00 - 10:00 Jade Alglave "Herding cats" II (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Barbara Kordy "Attack trees 20 years later" III (details)
11:30 - 11:45 Break
11:45 - 12:45 Zena Ariola "Logic and computation" III (details)
13:00 Lunch
14:30 - 15:30 Barbara Kordy "Attack trees 20 years later" IV (details)
15:30 - 16:00 Coffee break
16:00 - 17:15 Student session
Anton Podkopaev Bridging the gap between programming languages and hardware weak memory models (abstract)
Evgenii Moiseenko Correctness of compilation from WeakestMO to IMM weak memory model (abstract)
Muhammad Usama Sardar Towards cost-utility quantile analysis of thermal-aware spatial scheduling for multi-cores (abstract)
Sviatoslav Griaznov Lower bounds on the Ordering and Dense Linear Ordering principles with splitting by linear equations (abstract)
Victor Miraldo From the UNIX diff to structural diffing: the pitfalls! (abstract)
17:30 - 18:30 Exercises at the hotel classroom
19:00Dinner and discussions
20:30 ... Sauna

 

Wednesday, March 6

08:00 - 08:30 Breakfast
09:00 - 12:30Excursion by bus, Oandu Visitor Centre, walkabout to the sea near Altja fishing village. Guide Anne Kurepalu.
12:30 Lunch
14:00 - 15:00 Jade Alglave "Herding cats" III (details)
15:00 - 15:20 Coffee break
15:20 - 16:20 Zena Ariola "Logic and computation" III+ (details)
16:20 - 16:35 Break
16:35 - 17:35 Andrei Sabelfeld "Information flow tracking" I (details)
17:50 - 18:50 Exercises at the hotel classroom
19:00 - 20:00Dinner and discussions

 

Thursday, March 7

08:00 - 08:45 Breakfast
09:00 - 10:00 Carsten Schürmann "Behavioral types and logical frameworks: an introduction" (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Zena Ariola "Logic and computation" IV (details)
11:30 - 11:45 Break
11:45 - 12:45 Jade Alglave "Herding cats" IV (details)
13:00 Lunch
14:30 - 15:30 Andrei Sabelfeld "Information flow tracking" II (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Student session
Artur Riazanov Lower bounds for 1-NBP calculus (abstract)
Petr Smirnov Complexity of read-once branching programs for satisfiable and unsatisfiable Tseitin formulas (abstract)
Ludmila Glinskih On Tseitin formulas, read-once branching programs and treewidth (abstract)
17:30 - 18:30 Exercises at the hotel classroom
19:00 ... Dinner at Lahemaa Kohvikann (~1km walking distance from the hotel).
22:00 ... CRAPCON 2019

 

Friday, March 8

08:00 - 08:45 Breakfast
09:00 - 10:00 Andrei Sabelfeld "Information flow tracking" III (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Danel Ahman "Program verification with F*" (details)
11:30 - 11:45 Break
11:45 - 12:45 Andrei Sabelfeld "Information flow tracking" IV (details)
12:45 - 12:50 Closing
13:00 Lunch
14:00 Check-out and departure

Valid CSS! Valid XHTML 1.0 Strict Last changed March 30, 2019 22:30 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/