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/