RESOLVE 2002 Pictures

These pictures were taken by Bruce Weide at the RESOLVE Workshop 2002.

Our meeting room, preparing for the workshop to start.

Larry Latour discussed The Pragmatics of Integrative Programming on the first day.

Greg Kulczycki presented his abstraction for a Location_Linking_Template.

Bill Ogden closed out the first day of the workshop with his discussion of the Mathematical Foundations for Reusable Software.

Monday evening, workshop participants and guests, together with other folks from OSU's CIS department, gathered for a picnic at the Highbanks Metropark.

Local participants provided a wonderful variety of good foods to enjoy.

At the picnic, Bill Ogden was awarded a small retirement gift by his colleagues.

Stuart Zweben, the head of OSU's Department of Computer and Information Science, takes a look at Bill's gift as it is passed around at the picnic.

After stuffing ourselves, many people enjoyed outdoor fun in the park, including croquet and soccer.

Our breaks were generously catered by our sponsor, OSU's Department of Computer and Information Science.

Joan Krone's "two channel" presentation on Specification and Verification of Performance Correctness opened day three. She used both a laptop and old-fashioned transparencies simultaneously.

Nigamanth Sridhar presented interesting work on Dynamic Reconfiguration of component-based software.