20th Estonian Winter School in Computer Science (EWSCS)
XX Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 1 - 6, 2015

AGENDA

 

Sunday, March 1

17:00Departure from Inst. of Cybernetics (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 2

08:00 - 08:45Breakfast
08:50Opening
09:00 - 10:00 Gordon Plotkin "Algebraic computational effects" I (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Zvika Brakerski "Fully homomorphic encryption" I (details)
11:30 - 11:45 Break
11:45 - 12:45 Jarkko Kari "Cellular automata, tilings and (un)computability" I (details)
13:00 Lunch
14:30 - 15:30 Prakash Panangaden "Probabilistic programming languages and semantics" I (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Zvika Brakerski "Fully homomorphic encryption" II (details)
17:00 - 17:15 Break
17:15 - 18:15 Student session:
Alisa Pankova Precomputed Verification of Multiparty Protocols with Honest Majority (abstract)
Toomas Krips Paths between cross polytopes: searching for optimal fixed-point polynomials (abstract)
Alexander Knop Heuristic time hierarchies via hierarchies for sampling distributions (abstract)
18:30 - 19:30 Exercises with Zvika Brakerski at the hotel classroom
19:30 Dinner and discussions

 

Tuesday, March 3

08:00 - 08:45 Breakfast
09:00 - 10:00 abhi shelat "Secure two-party computation" I (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 Jarkko Kari "Cellular automata, tilings and (un)computability" II (details)
11:30 - 11:45 Break
11:45 - 12:45 Zvika Brakerski "Fully homomorphic encryption" III (details)
13:00 Lunch
14:30 - 15:30 Gordon Plotkin "Algebraic computational effects" II (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Prakash Panangaden "Probabilistic programming languages and semantics" II (details)
17:00 - 17:15 Break
17:15 - 18:15 Student session:
Michal Szabados An Algebraic Geometric Approach to Lattice Configurations of Low Complexity (abstract)
Tambet Matiisen FOTIS: building an automatic face recognition system for The National Archives of Estonia (abstract)
Raitis Ozols About the function Q(n) (abstract)
18:30 - 19:30 Exercises with Jarkko Kari and Gordon Plotkin at the hotel classroom
19:30Dinner and discussions
21:00 ... Sauna

 

Wednesday, March 4

08:00 - 08:30 Breakfast
08:30 - 13:30Excursion by bus (map): Pühtitsa (Kuremäe) Convent (Wikipedia), park of Oru Palace (Wikipedia) at Toila, drive along clint to Saka Manor (Wikipedia) for lunch and afternoon lectures.
13:30 - 14:30Lunch at Saka Manor
14:30 - 15:30 Jarkko Kari "Cellular automata, tilings and (un)computability" III (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 abhi shelat "Secure two-party computation" II (details)
17:00 - 17:15 Break
17:15 - 18:15 Ivan Rapaport "The broadcast congested clique model of computation" (details)
18:30 ... Bus to dinner at Purtse Castle (Wikipedia)
22:00 ... Bus back to Palmse

 

Thursday, March 5

08:00 - 08:45 Breakfast
09:00 - 10:00 Jarkko Kari "Cellular automata, tilings and (un)computability" IV (details)
10:00 - 10:30 Coffee break
10:30 - 11:30 abhi shelat "Secure two-party computation" III (details)
11:30 - 11:45 Break
11:45 - 12:45 Prakash Panangaden "Probabilistic programming languages and semantics" III (details)
13:00 Lunch
14:30 - 15:30 Zvika Brakerski "Fully homomorphic encryption" IV (details)
15:30 - 16:00 Coffee break
16:00 - 17:00 Gordon Plotkin "Algebraic computational effects" III (details)
17:15 - 18:15 abhi shelat "Secure two-party computation" IV (details)
18:30 - 19:30 Exercises with Prakash Panangaden and abhi shelat at the hotel classroom
19:30 - 20:30Dinner session
21:00 - 23:10CRAPCON 2015

 

Friday, March 6

09:00 - 09:45 Breakfast
10:00 - 11:00 Prakash Panangaden "Probabilistic programming languages and semantics" IV (details)
11:00 - 11:30 Coffee break
11:30 - 12:30 Gordon Plotkin "Algebraic computational effects" IV (details)
12:30 - 12:35 Closing
13:00 Lunch
14:00 Check-out and departure

Valid CSS! Valid XHTML 1.0 Strict Last changed March 4, 2015 1:24 Europe/Helsinki (GMT +02:00) by local organizers, ewscs15(at)cs.ioc.ee
EWSCS'15 page: http://cs.ioc.ee/ewscs/2015/