![]() |
|
09:00-09:45: Registration | |
9:45-10:00 | Introduction to APV: Cristiano Calcagno (Imperial College, UK) |
Session 1 | |
10:00-10:30 |
Carlos J. Gonzalia (Univ. Nacional del Sur, Argentina), Annabelle K. McIver and Carroll C. Morgan (Macquarie University, Australia). Probabilistic affirmation and refutation: Case studies. PDF |
10:30-11:00 |
Mariano Moscato, Carlos Gustavo Lopez Pombo and Marcelo Frias (University of Buenos Aires). Lessons Learnt on the Verification of Models Using Dynamite. PDF |
11:00-11:30: Coffee Break | |
Session 2 | |
11:30-12:00 |
Juan Galeotti, Nicolas Rosner, Carlos Gustavo Lopez Pombo and Marcelo Frias (University of Buenos Aires).
Distributed SAT-Based Analysis of Object Oriented Code PDF |
12:00-12:30 |
Guido de Caso, Diego Garbervetsky and Daniel Gorin (University of Buenos Aires). Reducing the Number of Annotations in a Verification-oriented Imperative Language. PDF |
12:30-15:00: Lunch | |
15:00-16:00 | Keynote: Josh Berdine. Microsoft Research Limited - United Kingdom. |
16:00-16:30: Coffee Break | |
Session 3 | |
16:30-17:00 |
Ralph-Johan Back (Abo Akademi University, Finland) , Mikolaj Olszewski (Turku Centre for Computer Science, Findland) and Damian Soriano (National University of Rosario, Argentina). Deseo Meeting Scheduler: Towards Automated Verification of Database Business Logic. PDF |
17:00-17:30 |
Invited Demo
Juan Pablo Galeotti and Nicolas Rosner (University of Buenos Aires). SAT-based code analysis by automated computation of tight bounds for class fields. |
17:30-18:00 | Invited Talk: Dino Distefano (Queen Mary, University of London, UK). |
18:00-18:15 | APV summary and conclusion: Bertrand Meyer (ETH Zurich, Switzerland) |