Cibeles Square

Eleventh International Conference on

Verification, Model Checking, and Abstract Interpretation

January 17-19, 2010
Madrid, Spain
(co-located with POPL 2010)


Preliminary Program

Sunday, January 17, 2010

8:00 Registration opens

9:00-10:00 Welcome and Invited Talk (Chair: Manuel Hermenegildo)

Coffee break

10:30-11:30 Automata and Monitors (Chair: Pierre Ganty)

Coffee break

12.00-13.30 Abstract interpretation (Chair: Kwangkeun Yi)

Lunch break

15.30-16.30 Model Checking (Chair: John Gallagher)

Coffee break

17:00-18.30 Invited Tutorial (Chair: Anindya Banerjee)

Monday, January 18, 2010

9.00-10.00 Invited Talk (Chair: Gilles Barthe)

Coffee break

10.30-11:30 Logical Methods (Chair: David Schmidt)

Coffee break

12.00-13.30 Program Verification (Chair: Xavier Rival)

Lunch break

15.30-16.30 Quantitative Analysis (Chair: Javier Esparza)

Coffee break

17:00-18.30 Invited Tutorial (Chair: David Monniaux)

20.30-23:00 VMCAI 2010 Banquet

Tuesday, January 19, 2010

9.00-10.00 Invited Talk (Chair: Tom Ball)

Coffee break

10.30-11:30 Temporal Logic (Chair: Ahmed Bouajjani)

Coffee break

12.00-13.30 Shape Analysis (Chair: Greta Yorsh)

Lunch break

15.30-16.30 Concurrency (Chair: Sophia Drossopoulou)

Coffee break

17:00-18.30 Invited Tutorial (Chair: Andreas Podelski)

18:45-19:45 Special VMCAI-POPL joint session in memory of Amir Pnueli


EAPLS logo European Association for
Programming Languages and Systems
Microsoft Research logo Microsoft Research
IMDEA Software logo Madrid Institute for Advanced Studies
in Software Development Technologies
ACM logo Association for Computing Machinery