22nd Estonian Winter School in Computer Science (EWSCS)
XXII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 5 - 10, 2017

AGENDA

 

Sunday, March 5

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 the bus stop on floor 0, by the car park at the front of the airport, next to the so-called lower entrance, see Terminal map of Tallinn Airport)
~19:15Arrival to Park Hotel Palmse and check-in
19:45Dinner

 

Monday, March 6

08:00 - 08:45Breakfast
08:50Opening
09:00 - 10:00 Alexander Belov "Quantum query complexity and the adversary bound" I (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Thorsten Altenkirch "Introduction to homotopy type theory" I (details)
11:30 - 11:45 Break
11:45 - 12:45 Roberto Guanciale "Formal verification of low-level execution platforms" I (details)
13:00 Lunch
14:30 - 15:30 Paweł Sobociński "Graphical linear algebra" I (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Alexander Belov "Quantum query complexity and the adversary bound" II (details)
17:30 - 18:30 Exercises at the hotel classroom
19:00 Dinner and discussions

 

Tuesday, March 7

08:00 - 08:45 Breakfast
09:00 - 10:00 Thorsten Altenkirch "Introduction to homotopy type theory" II (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Roberto Guanciale "Formal verification of low-level execution platforms" II (details)
11:30 - 11:45 Break
11:45 - 12:45 Paweł Sobociński "Graphical linear algebra" II (details)
13:00 Lunch
14:30 - 15:30 Alexander Belov "Quantum query complexity and the adversary bound" III (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Thorsten Altenkirch "Introduction to homotopy type theory" III (details)
17:30 - 18:30 Exercises at the hotel classroom
19:00Dinner and discussions
20:30 ... Sauna

 

Wednesday, March 8

08:00 - 08:30 Breakfast
09:00 - 13:00Excursion by bus, walkabout at Vihula, Altja (seaside), Vergi. Guide Saima Gordejeva.
13:00 Lunch
14:30 - 15:30 Roberto Guanciale "Formal verification of low-level execution platforms" III (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Paweł Sobociński "Graphical linear algebra" III (details)
17:00 - 17:15 Break
17:15 - 18:30 Student session
19:00 - 20:00Dinner and discussions

 

Thursday, March 9

08:00 - 08:45 Breakfast
09:00 - 10:00 Alexander Belov "Quantum query complexity and the adversary bound" IV (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Yuval Ishai "Homomorphic Secret Sharing" I (details)
11:30 - 11:45 Break
11:45 - 12:45 Thorsten Altenkirch "Introduction to homotopy type theory" IV (details)
13:00 Lunch
14:30 - 15:30 Yuval Ishai "Homomorphic Secret Sharing" II (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Roberto Guanciale "Formal verification of low-level execution platforms" IV (details)
17:30 - 18:30 Exercises at the hotel classroom
19:00 ... Dinner at Lahemaa Kohvikann (~1km walking distance from the hotel).

 

Friday, March 10

08:00 - 08:45 Breakfast
09:00 - 10:00 Yuval Ishai "Homomorphic Secret Sharing" III (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Paweł Sobociński "Graphical linear algebra" IV (details)
11:30 - 11:45 Break
11:45 - 12:45 Yuval Ishai "Homomorphic Secret Sharing" 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 4, 2017 17:30 Europe/Helsinki (GMT +02:00) by local organizers, ewscs17(at)cs.ioc.ee
EWSCS'17 page: http://cs.ioc.ee/ewscs/2017/