The meeting will take place at the University of Illinois at Urbana-Champaign (UIUC) in Room 2124 of the Siebel Center for Computer Science, 201 N. Goodwin Ave., Urbana, IL.
For help wiht any local arrangements or other information contact Ms. Andrea Whitesell, whitesel@cs.uiuc.edu, phone: (217) 333-1043, room: 2106 Siebel
| 8:30 | Breakfast and registration | |
| 8:50 | Dr. Ralph Wachter, ONR, Introductory Remarks | |
| 9:00 | José Meseguer, UIUC, Overview | |
| 9:15 | Gul Agha and Koushik Sen, UIUC, | |
| Scalable Formal Methods | ||
| Validation of Security Protocols | ||
| 10:00 | Catalin Roman and Chien-Lian-Fok | |
| Computing and Communication in the Presence of Mobility | ||
| Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Netowrk Applications | ||
| 10:45 | Coffee break | |
| 11:00 | Nalini Venkatasubramanian | |
| Cross-Layer Interoperability for Mobile Applications | ||
| 11:45 | Lunch | |
| 1:00 | Carl Gunter and Alwyin Goodloe | |
| The Tunnel Calculus | ||
| 1:45 | José Meseguer and Azadeh Farzan | |
| Wide-Spectrum Formal Support for Interoperability | ||
| Semantics-Based Analysis of Concurrent Java | ||
| 2:30 | Discussion | |
| 3:00 | Coffee break | |
| 4:00 | Feedback from reviewers and end of meeting |