Forsyth Park Fountain
Forsyth Park Fountain; image taken from German Wikipedia

Tenth International Conference on

Verification, Model Checking, and Abstract Interpretation

January 18-20, 2009
Savannah, GA, USA (co-located with POPL 2009)

 

Program

Sunday, January 18, 2009

9:00-10:10 Welcome and Invited Talk (Chair: Neil Jones)

Coffee break

10:30-12:00 Abstract Interpretation (Chair: Patrick Cousot)

Lunch break

13:30-15:00 Invited Tutorial (Chair: Markus Müller-Olm)

Coffee break

15:30-17:30 Concurrency (Chair: Dave Schmidt)


Monday, January 19, 2009

9:00-10:00 Invited Talk (Chair: Lenore Zuck)

Coffee break

10:30-12:00 Stochastic Methods (Chair: Véronique Cortier)

Lunch break

13:30-15:00 Invited Tutorial (Chair: Mooly Sagiv)

Coffee break

15:30-17:30 Model Checking (Chair: Andrey Rybalchenko)

Conference Dinner (7 PM Sapphire Grill at 110 West Congress Street)


Tuesday, January 20, 2009

9:00-10:00 Invited Talk (Chair: Neil Jones)

Coffee break

10:30-12:00 Program Analysis (Chair: Francesco Logozzo)

Lunch break

13:30-15:00 Theory (Chair: Markus Müller-Olm)

Coffee break

15:30-17:30 Testing, Synthesis, and Verification (Chair: Aarti Gupta)

Back to main page.

Legal Disclosure | Privacy Statement