AGENDA
Sunday, February 27 | |
| 17.15 | Departure from Inst. of Cybernetics (Akadeemia tee 21) (Google map) |
| ~17.45 | Stop at City Center - in front of Vene Kultuurikeskus (Mere pst 5) (Google map) |
| ~18.00 | Stop at local bus stop next to Intercity Bus Station (Lastekodu 46) (Google map) |
| ~18.15 | Stop at Airport (Arrivals hall, Google map) |
| ~19.15 | Arrival to Park Hotel Palmse and check-in |
| 19.45 | Dinner |
Monday, February 28 | |
| 08.00 - 08.45 | Breakfast |
| 08.50 | Opening |
| 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.30 | Evening 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.00 | Lunch |
| 14.00 | Excursion 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 |
Last changed
March 3, 2011 1:50 EET
by
local organizers, ewscs11(at)cs.ioc.ee
EWSCS'11 page:
//cs.ioc.ee/ewscs/2011/