RESOLVE 2010 Workshop: Advances in Automated Verification

June 8, 2010, Olin Science Building, Denison University, Granville, Ohio

Call for Participation

Session 1:

8:00
Breakfast
 
8:30
8:45
9:00
9:15
9:30
 
Discussion
9:45
 
Break

Session 2:

10:00
10:15
10:30
10:45
11:00
11:15
 
Discussion
11:30
 
Lunch

Session 3:

12:35
VC Proving Discussion
 
2:00
Break
 
2:15
Discussion

Notes:

 
The site for lunch will be announced at the workshop.
All other activities will be in Olin Hall, Second Floor.

It will be helpful to load all slide presentations on a single computer before the talks begin. You can send your slides ahead of time or bring them on a USB drive early enough to set them up before 8:30 on June 8.

Since the time slots are only 15 minutes long, please time your talk to be about 13 minutes to leave a bit of time for a couple of questions while the next talk is being opened.
Download Schedule as PDF
Page last updated May 28, 2010