Workshop on Context Sensitive Systems Assurance 
(Contessa '03)

April 1, 2003
Philadelphia

Directions

The Spring 2003 meeting of the Contessa Project will be held in Philadephia at the University of Pennsylvania on April 1, 2003 in 3401 Walnut, room 470.  To reach this, go to the corner of 34th and Walnut and find the elevators in the building next to the Starbucks.  When you reach the fourth floor follow signs to the Institute for Research in Cognitive Science (IRCS).  Room 470 is the large seminar room on your left as you enter IRCS.

Agenda for the Meeting

9:00               Registration and Breakfast

9:30-9:40      Introduction, Jose Meseguer, UIUC (Slides: ps pdf)

9:40-10:30   Sectrace Design, Implementation and Experiments, Alwyn Goodloe and Michael McDougall, UPenn (Slides Part I: ppt pdf Part II: ppt pdf)

10:30-11:00  Formal Specification of Sectrace, Mark-Oliver Stehr, UIUC (Slides: ps pdf)

11:00-11:20  Coffee Break

11:20-12:00  Probabilistic Modeling and Formal Analysis of Networked Embeded Systems, Gul Agha and Koushik Sen, UIUC (Slides: ppt pdf)

12:00-1:00    Lunch

1:00-1:50      Composability Issues in Adaptive Reflective Middleware for Dynamic Enviroments Nalini Venkatasubramanian and Sebastian Gutierez-Nolasco, UC Irvine (Slides: ppt pdf)

1:50-2:20      Formal Specification of Group Communication Middleware, Mark-Oliver Stehr, UIUC (Slides: ps pdf)

2:20-2:40      Coffee Break

2:40-3:20      Declarative Context Specifications Supporting Mobile Computing, Gruia-Catalin Roman and Christine Julien, Washington Univ. (Slides: ppt pdf)

3:20-4:00      General Discussion

6:30               Group Dinner

Registration

A registration fee payable by cash or check will be charged to cover catering for the meals and refreshments.

Accommodation

Participants should make their own arrangements for hotels.  The Inn at Penn and the Sheraton are within easy walking distance of the meeting.

Contact Point

For questions about local arrangements or the meeting agenda please contact Carl A. Gunter.