| RESOLVE Workshop 2002 | |||||
|---|---|---|---|---|---|
| Time | Monday 6/17 | Tuesday 6/18 | Wednesday 6/19 | ||
| 8:45 - 10:00 |
Bruce Weide Good News and Bad News Joe Hollingsworth RESOLVE Business Planning |
Timothy Long Expert-like Knowledge Structures |
Joan Krone Performance Correctness |
||
| Break | |||||
| 10:15 - 11:45 |
Larry Latour Interface Pragmatics Tom Wheeler Conceptual Modeling |
Group Discussion: Language Choice for CS1/CS2 |
Levent Yilmaz Collaborative Behavior Nigamanth Sridhar Dynamic Reconfiguration |
||
| Lunch | |||||
| 1:15 - 2:45 |
Roy Tan Object-Oriented RESOLVE Greg Kulczycki Location Linking Template |
Violation Checking: Stephen Edwards, Joe Hollingsworth, Scott Pike, Murali Sitaraman |
Group Discussion: RESOLVE Fundamental Principles and Benefits RESOLVE Business Planning |
||
| 2:45 - 3:30 |
Break and Tool Demos | For participants without early departures, group discussions and planning continue | |||
| 3:30 - 5:00 |
Bill Ogden Math Foundations of RESOLVE |
Allen Parrish Formal Test Cases Pete DePasquale Subsetting Language Elements |
|||
| Evening | Picnic: Workshop participants and guests, OSU and RSRG guests | Dinner on your own | |||
Meals: Meals at the workshop are "on your own," with the exception of Monday evening (see below). Break snacks are being provided by our sponsor.
Monday evening, June 17: We will reconvene for an informal picnic for all workshop participants and their guests at Highbanks Metropark (see this map for directions). This will be a potluck-style gathering at which the local participants will be responsible for providing food, drink, and equipment for activities such as croquet and soccer. Local participants and others with cars will shuttle everyone to and from the park (which is about 15 miles north of OSU).