AGENDA
Sunday, March 3 | |
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, March 4 | |
08.00 - 08.45 | Breakfast |
08.50 | Opening |
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.30 | Dinner and discussions |
20.00 ... | Sauna |
Wednesday, March 6 | |
08.00 - 08.45 | Breakfast |
09.00 - 13.00 | Excursion 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.00 | Lunch |
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.30 | Dinner session |
20.00 - 22.00 | CRAPCON 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 |
Last changed
March 5, 2013 9:15 EET
by
local organizers, ewscs13(at)cs.ioc.ee
EWSCS'13 page:
//cs.ioc.ee/ewscs/2013/