09:00 Neha Rungta, NASA Ames, Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans
10:00 Break
10:30 Paper session I

12:00 Lunch
13:30 Eric Mercer, Brigham Young University, Tutorial: Habanero Java Verification
15:00 Break
15:30 Paper Session II

16:30 JPF Open Discussion: what’s next?
17:00 Close
18:30 Workshop Dinner: Blue Orchid Thai, 129 N 10th St, Lincoln, NE 68508