AGENDA
Sunday, March 3 | |
| 17:00 | Departure from former Inst. of Cybernetics building (Akadeemia tee 21) (Google map) |
| ~17:30 | Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map) |
| ~17:45 | Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map) |
| ~18:00 | Stop 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:15 | Arrival to Park Hotel Palmse and check-in |
| 19:45 | Dinner |
Monday, March 4 | |
| 08:00 - 08:45 | Breakfast |
| 08:50 | Opening |
| 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:00 | Dinner and discussions |
| 20:30 ... | Sauna |
Wednesday, March 6 | |
| 08:00 - 08:30 | Breakfast |
| 09:00 - 12:30 | Excursion 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:00 | Dinner 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 |
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/