Host: Sophia Drossopoulou
Local Information
Venue
Katakouzenos House Museum, right in the center, opposite Syntagma (the parliament).
Book Your Trip
If you’re coming by air, you would land at Athens International Airport, which is a highly awarded airport.
- Taxis to the center cost about €50.
- There is a direct train line to the center every 30 minutes for €10.
- Buses are also available.
If it were up to me, I would choose Aegean Airlines — also a highly awarded airline.
Hotels
I could not make a reasonable group booking. Instead, I am making a list of recommendations here:
| Name | Price (single/night) | Comments | Distance by Foot | Distance by Public Transport |
|---|---|---|---|---|
| Amalia Hotel Athens | ~€200 | 4★, Very nice, availability fluctuates | 2 mins | — |
| Royal Olympic | ~€200 | 5★, Huge, perhaps impersonal, some spectacular views, swimming pool | 13 mins | — |
| Astor Hotel Athens | ~€150 | 4★, Good reviews, availability fluctuates | 7 mins | — |
| Carolina Hotel (since 1934) | ~€120 | 3★, Have not visited, good reviews, noise and bad WiFi | 8 mins | — |
| Zappeion Hotel | ~€80 | 2★, Have not visited, excellent reviews, but my husband did not like the area | 15 mins through park | No public transport |
| Airotel Stratos Vassilikos | ~€100 | 4★, Have not visited, OK area, larger rooms, good reviews | 38 mins | 15 mins on metro (runs every 5 mins) |
Areas to avoid when booking your hotel: Omonoia and Exarcheia. These areas are not unsafe, but not agreeable.
Attendance Costs
These will depend on the number of attendees. Costs will fluctuate between €250 and €320 for the week, covering:
- Room hire
- Coffees
- Lunch
The more we are, the cheaper it gets.
These costs will not cover dinner and breakfast.
- I will not organize breakfast; you are on your own
- I will organize dinners separately from Sunday to Friday, each in a different restaurant.
Sessions
Monday 19 May
- All attendees, roundtable introduction
- Peter Müller, Hyper Hoare Logic
- Brijesh Dongol, Correctly Programming Remote Direct Memory Access
- Oded Padon, Duality and primal-dual algorithms in program verification
- Justin Hsu, Type Systems for Numerical Error Analysis
- Benjamin Kaminski, Iteration Logic - a logic for reasoning about fixed points of endomaps on complete lattices
Tuesday 20 May
- Rustan Leino, Reasoning about allocation
- Alberto Griggio, Information exchange for software verification
- Clement Pit-Claudel, Modern regular expressions, with a focus on semantics and matching complexity
- Mae Milano, Gambit: sequential consistency without coordination in distributed programming languages
- Ori Lahav, Hyperproperty-Preserving Register Specifications
- Roderick Bloem, Learning a Mealy machine from a language
- Viktor Vafeiadis, Automatically establishing correctness of concurrent libraries
Wednesday 21 May
- Cliff Jones, Rely-Guarantee `thinking’ for Real-Time Scheduling
- Zoe Paraskevopoulou, Correctness for the Ground Up for Ethereum Smart Contracts
- Alex Summers, Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing System
- Roland Meyer, Verification under Weak Consistency and Recent Decidability Results in Verification
Thursday 22 May
- Mark Santolucito,
- Stephan Merz, TLA+ Proof System
- Members' Meeting
- Gerwin Klein, The next 700 verified kernels
- Sophia Drossopoulou,
- Thomas Wies, Characterizing Implementability of Global Protocol Specifications
Friday 23 May
- Sophia Drossopoulou, Holistic Specifications and Reasoning about External Calls
- Yannis Smaragdakis, Program Analysis for High-Value Smart Contract Vulnerabilities
- Kostis Sagonas, Optimal Algorithms for Stateless Model Checking
- Gerwin Klein,
- Grace Dinh,
- Rajeev Joshi, Checking Concurrent Production Code