16th Estonian Winter School in Computer Science (EWSCS)
XVI Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 27 -March 4, 2011

AGENDA    

 

Sunday, February 27

17.15Departure from Inst. of Cybernetics (Akadeemia tee 21) (Google map)
~17.45Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map)
~18.00Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map)
~18.15Stop at Airport (Arrivals hall, Google map)
~19.15Arrival to Park Hotel Palmse and check-in
19.45Dinner

 

Monday, February 28

08.00 - 08.45Breakfast
08.50Opening
09.00 - 10.00 Rajeev Goré "Automated reasoning in modal, tense and temporal logics" I (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Bart Jacobs "Introduction to coalgebra" I (details)
11.30 - 11.45 Break
11.45 - 12.45 Martin Hofmann "Amortized resource analysis" I (details)
13.00 Lunch
14.30 - 15.30 Bart Jacobs "Introduction to coalgebra" II (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Rajeev Goré "Automated reasoning in modal, tense and temporal logics" II (details)
17.00 - 17.15 Break
17.15 - 18.15 Student session:
Aivar Annamaa Static analysis for embedded SQL queries (abstract)
Andri Saar Reasoning about correctness of transactional memory (abstract)
Patrick Bahr Modes of Convergence for Infinitary Rewriting (abstract)
18.30 Evening meal and discussions

 

Tuesday, March 1

08.00 - 08.45 Breakfast
09.00 - 10.00 Dominique Unruh "Long-term security through quantum cryptography" I (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Bart Jacobs "Introduction to coalgebra" III (details)
11.30 - 11.45 Break
11.45 - 12.45 Martin Hofmann "Amortized resource analysis" II (details)
13.00 Lunch
14.30 - 15.30 Peeter Laud "Inconstructibility of certain two-party protocols in the perfect cryptography model" (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Martin Hofmann "Amortized resource analysis" III (details)
17.00 - 17.15 Break
17.15 - 18.15 Student session:
Artūrs Bačkurs Analysis of certain quantum games (abstract)
Aleksandrs Belovs Variable Influences of Bounded Polynomials: Towards Aaronson's Conjecture. (abstract)
Raitis Ozols About Boolean functions with a low polynomial degree (abstract)
18.30Evening meal and discussions
20.00 ... Sauna

 

Wednesday, March 2

08.00 - 08.45 Breakfast
09.00 - 10.00 Dominique Unruh "Long-term security through quantum cryptography" II (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Rajeev Goré "Automated reasoning in modal, tense and temporal logics" III (details)
11.45 - 12.45 Excursion (walking): Palmse Manor
13.00 - 14.00Lunch
14.00Excursion by bus: Viinistu Art Museum, Sagadi Forestry Museum, Vihula Manor (followed by dinner)
19.00 ... dinner at Vihula Manor
21.30 ... Bus back to Palmse

 

Thursday, March 3

08.00 - 08.45 Breakfast
09.00 - 10.00 Martin Hofmann "Amortized resource analysis" IV (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Bart Jacobs "Introduction to coalgebra" IV (details)
11.30 - 11.45 Break
11.45 - 12.45 free time
13.00 Lunch
14.30 - 15.30 Dominique Unruh "Long-term security through quantum cryptography" III (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Rajeev Goré "Automated reasoning in modal, tense and temporal logics" IV (details)
17.00 - 17.15 Break
17.15 - 18.15 Student session:
Stepan Kuznetsov Lambek grammars with the unit (abstract)
Svetlana Obraztsova Ties Matter: Complexity of Voting Manipulation Revisited (abstract)
Margus Niitsoo Black-Box Separations and their Adaptability to the Non-Uniform Model (abstract)
18.30 Evening meal
20.00 CRAPCON 2011

 

Friday, March 4

08.00 - 08.45 Breakfast
09.00 - 10.00 Bart Jacobs "Introduction to coalgebra" V (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Rajeev Goré "Automated reasoning in modal, tense and temporal logics" V (details)
11.30 - 11.45 Break
11.45 - 12.45 Dominique Unruh "Long-term security through quantum cryptography" 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 3, 2011 1:50 EET by local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page: http://cs.ioc.ee/ewscs/2011/