22nd Estonian Winter School in Computer Science (EWSCS)
XXII Eesti Arvutiteaduse Talvekool
Palmse, Estonia, March 5 - 10, 2017
AGENDA
| Sunday, March 5 |
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 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:15 | Arrival to Park Hotel Palmse and check-in |
19:45 | Dinner |
|
| Monday, March 6 |
08:00 - 08:45 | Breakfast |
08:50 | Opening |
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:00 | Dinner and discussions |
20:30 ... | Sauna |
|
|
Wednesday, March 8 |
08:00 - 08:30 | Breakfast |
09:00 - 13:00 | Excursion 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:00 | Dinner 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 |
Last changed
March 4, 2017 17:30 Europe/Helsinki (GMT +02:00)
by
local organizers, ewscs17(at)cs.ioc.ee
EWSCS'17 page:
//cs.ioc.ee/ewscs/2017/