AGENDA Mar 2: CRAPCON added to Thu program
Sunday, February 28 | |
| 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.30 | Dinner |
Monday, March 1 | |
| 08.00 - 08.45 | Breakfast |
| 08.50 | Opening |
| 09.00 - 10.00 | Robin Cockett "CATEGORIES AND COMPUTABILITY" I (details) |
| 10.00 - 10.30 | Coffee break |
| 10.30 - 11.30 | Carroll Morgan "SECURITY, PROBABILITY AND ABSTRACTION: RIGOROUS METHODS FOR SOURCE-LEVEL REASONING" I (details) |
| 11.30 - 11.45 | Break |
| 11.45 - 12.45 | Aggelos Kiayias "ENCRYPTION MECHANISMS FOR DIGITAL CONTENT DISTRIBUTION" I (details) |
| 13.00 | Lunch |
| 14.30 - 15.30 | Alan Mycroft "TYPE-LIKE FRAMEWORKS FOR CONTROLLING STATE AND ALIASING" I (details) |
| 15.30 - 16.00 | Coffee break |
| 16.00 - 17.00 | Jens Groth "PAIRING-BASED NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS" I (details) |
| 17.00 - 17.15 | Break |
| 17.15 - 18.15 | Student session:
Stepan Kuznetsov Lambek grammars with one division and one primitive type (abstract) Ian Zerny On Graph Rewriting, Reduction and Evaluation* (abstract) Andrey Breslav ATF: A language with an extensible type system (abstract) |
| 18.30 | Evening meal and discussions |
Tuesday, March 2 | |
| 08.00 - 08.45 | Breakfast |
| 09.00 - 10.00 | Aggelos Kiayias "ENCRYPTION MECHANISMS FOR DIGITAL CONTENT DISTRIBUTION" II (details) |
| 10.00 - 10.30 | Coffee break |
| 10.30 - 11.30 | Alan Mycroft "TYPE-LIKE FRAMEWORKS FOR CONTROLLING STATE AND ALIASING" II (details) |
| 11.30 - 11.45 | Break |
| 11.45 - 12.45 | Carroll Morgan "SECURITY, PROBABILITY AND ABSTRACTION: RIGOROUS METHODS FOR SOURCE-LEVEL REASONING" II (details) |
| 13.00 | Lunch |
| 14.30 - 15.30 | Jens Groth "PAIRING-BASED NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS" II (details) |
| 15.30 - 16.00 | Coffee break |
| 16.00 - 17.00 | Robin Cockett "CATEGORIES AND COMPUTABILITY" II (details) |
| 17.00 - 17.15 | Break |
| 17.15 - 18.15 | Student session:
Nikolay Degtyarev Comparative Testing of Face Detection Algorithms (abstract) Alexander Kharitonov Pattern matching in sliding windows (abstract) | 18.30 | Evening meal and discussions |
| 20.00 ... | Sauna |
Wednesday, March 3 | |
| 08.00 - 08.45 | Breakfast |
| 08.45 - ... | Excursion: Valaste waterfall, Toila, main street of Sillamäe, Grenader hill memorial |
| ~13.00 | Lunch in Restaurant Castell in Narva |
| 14.00 - 15.30 |
excursion continues:
a drive around Narva,
visit to Alexander's Cathedral
(view from the tower)
Lectures in the Northern wing of Narva Castle: |
| 15.30 - 16.30 | Carroll Morgan "SECURITY, PROBABILITY AND ABSTRACTION: RIGOROUS METHODS FOR SOURCE-LEVEL REASONING" III (details) |
| 16.30 - 17.00 | Coffee break in the Chapel |
| 17.00 - 18.00 | Aggelos Kiayias "ENCRYPTION MECHANISMS FOR DIGITAL CONTENT DISTRIBUTION" III (details) |
| 18.15 - 19.15 | Bus to Purtse |
| 19.30 ... | dinner at Purtse Castle |
| 22.00 ... | Bus back to Palmse |
Thursday, March 4 | |
| 08.00 - 08.45 | Breakfast |
| 09.00 - 10.00 | Alan Mycroft "TYPE-LIKE FRAMEWORKS FOR CONTROLLING STATE AND ALIASING" III (details) |
| 10.00 - 10.30 | Coffee break |
| 10.30 - 11.30 | Jens Groth "PAIRING-BASED NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS" III (details) |
| 11.30 - 11.45 | Break |
| 11.45 - 12.45 | Robin Cockett "CATEGORIES AND COMPUTABILITY" III (details) |
| 13.00 | Lunch |
| 14.30 - 15.30 | Aggelos Kiayias "ENCRYPTION MECHANISMS FOR DIGITAL CONTENT DISTRIBUTION" IV (details) |
| 15.30 - 16.00 | Coffee break |
| 16.00 - 17.00 | Carroll Morgan "SECURITY, PROBABILITY AND ABSTRACTION: RIGOROUS METHODS FOR SOURCE-LEVEL REASONING" IV (details) |
| 17.00 - 17.15 | Break |
| 17.15 - 18.15 | Student session:
Madeline Gonzalez Security of Message Authentication Codes in the Presence of Key-Dependent Messages (abstract) Gabriel Klein Response Space Exploration during Automatic Selection of DoS Countermeasures (abstract) |
| 18.30 | Evening meal and CRAPCON 2010 |
Friday, March 5 | |
| 08.00 - 08.45 | Breakfast |
| 09.00 - 10.00 | Jens Groth "PAIRING-BASED NON-INTERACTIVE ZERO-KNOWLEDGE PROOFS" IV (details) |
| 10.00 - 10.30 | Coffee break |
| 10.30 - 11.30 | Robin Cockett "CATEGORIES AND COMPUTABILITY" IV (details) |
| 11.30 - 11.45 | Break |
| 11.45 - 12.45 | Alan Mycroft "TYPE-LIKE FRAMEWORKS FOR CONTROLLING STATE AND ALIASING" IV (details) |
| 12.45 - 12.50 | Closing |
| 13.00 | Lunch |
| 14.00 | Check-out and departure |
Last changed
March 2, 2010 0:22 EET
by
local organizers, ewscs10(at)cs.ioc.ee
EWSCS'10 page:
//cs.ioc.ee/ewscs/2010/