18th Estonian Winter School in Computer Science (EWSCS)
XVIII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2013

AGENDA

 

Sunday, March 3

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, March 4

08.00 - 08.45Breakfast
08.50Opening
09.00 - 10.00 Davide Sangiorgi "Introduction to Bisimulation and Coinduction" I (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Ralf Küsters "Central Security Requirements and Analysis of E-Voting Systems" I (details)
11.30 - 11.45 Break
11.45 - 12.45 Luke Ong "Higher-Order Model Checking" I (details)
13.00 Lunch
14.30 - 15.30 Magnús Már Halldórsson "Approximation Algorithms for NP-Hard Combinatorial Problems" I (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Santiago Zanella Béguelin "Formal Methods for Cryptography" I (details)
17.00 - 17.15 Break
17.15 - 17.55 Student session:
Denis Firsov Certified Normalization of Context-Free Grammars (abstract)
Niccolò Veltri A formalization of the Max-flow Min-cut Theorem in Higher Order Logic (abstract)
18.30 Dinner and discussions

 

Tuesday, March 5

08.00 - 08.45 Breakfast
09.00 - 10.00 Ralf Küsters "Central Security Requirements and Analysis of E-Voting Systems" II (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Davide Sangiorgi "Introduction to Bisimulation and Coinduction" II (details)
11.30 - 11.45 Break
11.45 - 12.45 Magnús Már Halldórsson "Approximation Algorithms for NP-Hard Combinatorial Problems" II (details)
13.00 Lunch
14.30 - 15.30 Santiago Zanella Béguelin "Formal Methods for Cryptography" II (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Luke Ong "Higher-Order Model Checking" II (details)
17.00 - 17.15 Break
17.15 - 17.55 Student session:
Dan Bogdanov A more efficient protocol suite for secure multiparty computation (abstract)
Liina Kamm A new way to protect privacy in large-scale genome-wide association studies (abstract)
18.30Dinner and discussions
20.00 ... Sauna

 

Wednesday, March 6

08.00 - 08.45 Breakfast
09.00 - 13.00Excursion by bus and walking: If the weather permits we plan to visit Kaarle cottage at Pedassaare and take a walk to the sea.
13.00 - 14.00Lunch
14.30 - 15.30 Davide Sangiorgi "Introduction to Bisimulation and Coinduction" III (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Magnús Már Halldórsson "Approximation Algorithms for NP-Hard Combinatorial Problems" III (details)
17.00 - 17.15 Break
17.15 - 17.55 Student session:
Konstantin Tretjakov Fast Probabilistic File Fingerprinting for Big Data (abstract)
Danel Ahman Multisorted algebras and refined notions of computation (abstract)
18.30 - 19.30Dinner session
20.00 - 22.00CRAPCON 2013

 

Thursday, March 7

08.00 - 08.45 Breakfast
09.00 - 10.00 Santiago Zanella Béguelin "Formal Methods for Cryptography" III (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Magnús Már Halldórsson "Approximation Algorithms for NP-Hard Combinatorial Problems" IV (details)
11.30 - 11.45 Break
11.45 - 12.45 Davide Sangiorgi "Introduction to Bisimulation and Coinduction" IV (details)
13.00 Lunch
14.30 - 15.30 Luke Ong "Higher-Order Model Checking" III (details)
15.30 - 16.00 Coffee break
16.00 - 17.00 Ralf Küsters "Central Security Requirements and Analysis of E-Voting Systems" III (details)
18.00 ... Bus to dinner at La Boheme Restaurant of Vihula Manor. Before dinner we get a "Vihula Manor House Tour" in two groups.
21.30 ... Bus back to Palmse

 

Friday, March 8

08.00 - 08.45 Breakfast
09.00 - 10.00 Luke Ong "Higher-Order Model Checking" IV (details)
10.00 - 10.30 Coffee break
10.30 - 11.30 Santiago Zanella Béguelin "Formal Methods for Cryptography" IV (details)
11.30 - 11.45 Break
11.45 - 12.45 Ralf Küsters "Central Security Requirements and Analysis of E-Voting Systems" 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 5, 2013 9:15 EET by local organizers, ewscs13(at)cs.ioc.ee
EWSCS'13 page: http://cs.ioc.ee/ewscs/2013/