Inaugural Spec-a-thon Schedule

Short talks about the current state of various JML projects, and about specification writing, will be given primarily on Day 1. The remaining days will be focused on "pair specification writing" (basically a wacky combination of an OpenBSD Hackathon and formal methods "extreme programming") and on goal setting for JML tool development.

The following is an almost-complete schedule (anybody who has not expressed a desire to give an experience talk can still do so, for instance); once the organized talks are finished (on day 1), the workshop will be relatively free-form.

The entire Spec-a-thon, except for the keynote address, will take place in room 331 of the Cherry Parkes building on the University of Washington Tacoma campus (Google Maps, Campus Map). To get to Cherry Parkes from the Tacoma Link light rail, debark at the 19th Street/Union Station stop and cross the street to the university side, then turn left and walk down Pacific Avenue. When you near Indochine, you should see a sign on your right for the Cherry Parkes (“CP”) building; enter the building and either take the hidden stairwell (closed brown door on the left side, just past Indochine) up to the 3rd floor or proceed to the elevator (to the left of the large, visible stairwell, assuming the fire doors are open). Room 331 is on the Pacific Avenue side of the building.

Day 1 - 26 May
  • 10:00-10:15: Welcome, Agenda (Joe Kiniry, Dan Zimmerman)
  • 10:15-10:45: Sireum/Kiasan (with demo) (Jooyong Lee)
  • 10:45-11:15: OpenJML (David Cok)
  • 11:15-11:30: Break
  • 11:30-12:00: JML4/JIR/JML6 (Patrice Chalin)
  • 12:00-12:30: Catch-up, Keynote Setup
  • 12:30-13:30: Keynote Address (in Carwein Auditorium, open to UWT campus) - “JML: Expressive Modular Reasoning for Java” (Gary Leavens)
  • 13:30-14:30: Lunch (location to be determined)
  • 14:30-15:30: Experience Talks (15 minutes each: Wojciech Mostowski, Mark Sebern, David Cok, Joe Kiniry)
  • 15:30-18:00 (or later): Specification writing and goal setting

Day 2 - 27 May
  • Specification writing and goal setting
  • 18:00: Dinner (tentatively planned for Indochine, 1924 Pacific Avenue)

Day 3 - 28 May
  • Specification writing and goal setting