15th Estonian Winter School in Computer Science (EWSCS)
XV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 28 -March 5, 2010

AGENDA     Mar 2: CRAPCON added to Thu program

 

Sunday, February 28

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.30Dinner

 

Monday, March 1

08.00 - 08.45Breakfast
08.50Opening
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.30Evening 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.00Lunch 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

Valid CSS! Valid XHTML 1.0 Strict Last changed March 2, 2010 0:22 EET by local organizers, ewscs10(at)cs.ioc.ee
EWSCS'10 page: http://cs.ioc.ee/ewscs/2010/