Registration 8:30 - 8:45 |
Registration Registration
|
Session 1 8:45 - 10:30 |
Welcome and Introduction
AVIS organizers Invited Talk 1: Demand-driven inference of
loop invariants in a theorem prover
Rustan Leino (Microsoft Research, USA) Deductive Probabilistic Timed Verification
Satoshi Yamane (Univ. of Kanazawa, Japan) |
Coffee |
|
Session 2 11:00 - 12:00 |
Parameterized and Open Systems Towards State Space Exploration Based
Verification of Open Systems
Irem Aktug and Dilian Gurov (KTH, Sweden) Parameterized System Verification with Guard
Strengthening and Parameter
Abstraction
Sava Krstíc (Intel, USA) |
Lunch |
|
Session 3 14:00 - 15:00 |
Invited Talk 2 Taming Explosion
Bernhard Steffen (Univ. of Dortmund, Germany) |
Coffee |
|
Session 4 16:00 - 17:00 |
Abstraction
DIXIT: A Graphical Toolkit for Predicate Abstractions
Loïc Fejoz, Dominique Méry and Stefan Merz (LORIA, France) Searching for Regular Patterns by Observation
Bernhard Steffen and Tiziana Margaria (Univ. of Dortmund, Germany) |
Session 1 9:00 - 10:30 |
Tutorial Verifying Probabilistic Procedural Programs
Javier Esparza (Univ. of Stuttgart, Germany) |
Coffee |
|
Session 2 11:00 - 12:30 |
Invited Talk 3: Rewriting Logic and Maude: An
Approach to Formal Modeling
and Analysis
Carolyn Talcott (SRI, USA) |
Lunch |
|
Session 3 14:00 - 15:30 |
Behavioral Equivalence On Distributed Bisimilarity over Basic
Parallel Processes
Petr Jancar and Zdenek Sawa (Technical Univ. of Ostrava, Czech Republic) Loose Semantics in the Verification of
Communicating Systems
Holger Schlingloff and Satish Mishra (Humboldt Univ. Berlin, Germany) Final Discussion and Closing Remarks
|
Coffee |
|
Evening 7.45pm for 8pm |
Dinner Dinner at Heights Rooftop Restaurant in the
Apex International Hotel, Grassmarket. Situated in one of Edinburgh's
oldest parts of town, the restaurant boasts a spectacular view of the
castle.
|