Automatic Program Verification


Automatic Program Verification
print page

Conference program

The Symposium will be co-located with the RIO 2009 summer school, on February 16-21.

Sunday, February 15th 2009

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)