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/