 |
|
||||||||||
Conference program
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) |
