AGENDA
Sunday, March 1 | |
| 17:00 | Departure from Inst. of Cybernetics (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 2 | |
| 08:00 - 08:45 | Breakfast |
| 08:50 | Opening |
| 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:30 | Dinner and discussions |
| 21:00 ... | Sauna |
Wednesday, March 4 | |
| 08:00 - 08:30 | Breakfast |
| 08:30 - 13:30 | Excursion 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:30 | Lunch 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:30 | Dinner session |
| 21:00 - 23:10 | CRAPCON 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 |
Last changed
March 4, 2015 1:24 Europe/Helsinki (GMT +02:00)
by
local organizers, ewscs15(at)cs.ioc.ee
EWSCS'15 page:
//cs.ioc.ee/ewscs/2015/