The eleventh meeting of IFIP WG 1.9/2.15 Verified Software is hosted in Leuven, Belgium, at the department of computer science on the exact sciences campus just outside the city center: 
Room 05.001
KU Leuven Department of Computer Science
Celestijnenlaan 200A
Heverlee (Leuven)

Accommodation and Travel

There is a bus stop (called "Heverlee Campus Arenberg") right in front of the department for bus line 2 which provides high-frequency service (every 5 to 10 minutes) to the town center (a 20 minutes ride) and the central station (a 25 minutes ride). Trajectory.
last minute info: There is some construction going on in front of our building. As a result, the bus stop next to our building, which was the final stop of line 2, has been cancelled. However, the new final stop is still very close to our building. To take the bus back to the city center, there is a new temporary stop for line 2 here.

There are plenty of hotels in Leuven (try Googling "hotel leuven"), but for people who prefer to stay in Brussels: there is a high-frequency direct 30-minute train service between Brussels and Leuven central station.

There is a 14-minute train service between Brussels Airport and Leuven central station.

Schedule

Thursday 11

 9:00 - 10:00 Sandrine "Verified translation validation of static analyses" (slides)
10:00 - 10:30 coffee break
10:30 - 11:30 Peter "Partial Verification Results"
11:30 - 12:30 Gerhard "Flashix: Results and Perspectives" (slides)
12:30 - 14:00 lunch
14:00 - 15:00 Jean-Christophe "Teaching Deductive Verification to Teenagers" (slides)
15:00 - 16:00 Klaus "Formal Methods Efforts at JPL" (slides)
16:00 - 16:30 coffee break
16:30 - 17:30 Amin "Iris, Iris proof mode and Program verification in Iris"

Friday 12

 9:00 - 10:00 Alex "Automatic Deductive Verification for Weak-Memory Programs"
10:00 - 10:30 coffee break
10:30 - 11:30 Bart "Deadlock-Free Monitors" (slides)
11:30 - 12:30 Jan Tobias "Learning Assertions to Verify Linked-List Programs"

12:30 - 14:00 lunch

Participants