|
|
Assurance for modular and mobile code
Semantic Consistency in Information Exchange
ONR '97 MURI Project
|
Institute for Research in Cognitive Science
University of Pennsylvania
Philadelphia, Nov 4-6, 2000
Saturday
| 9:30 |
Coffee and Introductions |
|
| 10:00 |
Break |
|
| 11:00 |
Work in progress [J. Mitchell] |
|
Insup Lee (Penn)
|
|
Sampath Kannan (Penn)
|
|
Andre Scedrov (Penn)
|
|
Pat Lincoln (SRI)
|
|
John Mitchell (Stanford)
|
|
Diana Gordon (NRL)
|
|
| 12:00 |
Lunch |
|
| 1:30 |
Session [J. Mitchell] |
|
Nancy Durgin (Stanford):
Protocol Logic
(ps,
ppt)
|
|
Ajith Ramanathan (Stanford):
Probabilistic polynomial-time analysis
(ps,
ppt)
|
|
Riccardo Pucella (Cornell):
Strand spaces and multi-agent systems
(ps,
ppt)
|
|
| 2:30 |
Break |
|
| 3:30 |
Session [I. Lee]
|
|
Cathy Meadows (NRL):
Study of ISA KMP protocol
(ps,
ppt)
|
|
Sylvan Pinsky (NSA):
Noninterference for JINI
(ps,
ppt)
|
|
Ran Canetti (IBM):
Security and composition of cryptographic protocols
(ps,
ppt)
|
|
| 5:00 |
Break |
|
| 6:30 |
Dinner |
Sunday
| 9:30 |
Breakfast |
|
| 10:00 |
Monitoring and checking [I. Lee] |
|
Insup Lee, Oleg Sokolsky. Mahesh Viswanathan, Moonjoo Kim (Penn):
Advances in Monitoring and Checking
(ps,
ppt)
|
|
Diana Gordon (NRL):
Physicomimetics
(ps,
ppt)
|
|
Tugkan Batu (Cornell):
Testing properties of distributions
(ps,
ppt)
|
|
| 12:30 |
Lunch |
|
| 2:30 |
Session [I. Lee]
|
|
Jitka Stíbrná (Penn):
Decidability of strong and weak bisimulation
(ps,
ppt)
|
|
Joan Feigenbaum (Yale) and Joe Halpern (Cornell):
Game theory and computational mechanism design
(ps,
ppt)
|
|
| 3:00 |
Break |
|
| 3:30 |
Discussion and review |
|
| 4:30 |
Break |
|
| 6:30 |
Dinner |
Monday
Day for collaborative discussion and planning future joint work.
|
|