Contessa Review Meeting 2003 

December 5, 2003
University of Pennsylvania, Philadelphia

Conference Organization

Program: Jose Meseguer, UIUC
Local Arrangements: Carl A. Gunter, Penn
Assistant: Kathy Venit, Penn

Venue

The meeting will take place in Levine Hall, the new Computer and Information Science building in room 307. This is located at 3330 Walnut. To reach it, walk along Walnut between 33rd and 34th streets and turn into the walkway in the middle of the block on the south side of the street. The Levine building is a glass building on your right after you pass the loading dock.

Preliminary Schedule

09:00-09:30 Registration and Breakfast

09:30-09:45 Introduction. Jose Meseguer (UIUC) (Slides: pdf)

09:45-10:30 A Rewriting Based Model for Probabilistic Distributed Object Systems. Nirman Kumar, Koushik Sen, Jose Meseguer, and Gul Agha (UIUC)

10:30-10:45 Coffee Break

10:45-11:00 Computing and Communication in the Presence of Mobility. Gruia-Catalin Roman (WUSTL) (Slides: ppt pdf)

11:00-11:30 Secure Service Provision in Ad Hoc Networks. Radu Handorean (WUSTL) (Slides: ppt pdf)

11:30-11:55 Addressing Timeliness/Accuracy/Cost Tradeoffs in Information Collection for Dynamic Environments. Qi Han and Nalini Venkatasubramanian (UCI) (Slides: ppt pdf)

11:55-12:15 Secure Adaptive Group Communication in Mobile Environments. Seguti Gutierrez-Nolasco (UCI), Mark-Oliver Stehr (UIUC), Carolyn Talcott(SRI), and Nalini Venkatasubramanian (UCI) (Slides: ppt pdf)

13:15-14:00 Fair Coalitions for Power-Aware Routing in Wireless Networks. Ratul K. Guha, Carl A. Gunter and Saswati Sarkar (UPenn) (Slides: ppt pdf)

14:00-14:30 Towards an Execution Environment for the MSR Cryptoprotocol Specification Language. Mark-Oliver Stehr (UIUC), Iliano Cervesato (ITT Industries) (Slides: ppt pdf)

14:30-14:45 Coffee Break

14:45-15:00 Closing Remarks. Jose Meseguer (UIUC) (Slides: ps pdf)

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