Workshop on Event-based Semantics

Preliminary Program

April 21, 2008

Morning session -- Invited tutorial lectures and discussion

9:00-10

• Abstract Sequential Programs and a Logic of Events (Abstract) (Slides)
  Mark Bickford (ATC-NY and Cornell University)
  (joint work with Robert Constable, Cornell University)

10:00 - 10:30 Break

• Strand spaces: From key exchange to secure location (Abstract) (Slides 1 2)
  Joshua Guttman, MITRE
• The SATWare Event model
  Sharad Mehrotra

12:30-1:30 Lunch Break (lunch provided)

Afternoon session Submitted papers and discussion

1:30 -- 3:30

• High Confidence Software and Systems: Cyber-Physical Systems Progress Report: Semantics Perspective (Slides)
  Helen Gill, NSF
• Event Order Abstraction for Parametric Timed Verification (Slides)
  Shinya Umeno, Massachusetts Institute of Technology
• A Semantic Framework for Reconfiguration of Instrumented Cyber Physical Spaces (Slides)
  Minyoung Kim, University of California, Irvine
• A Timed Semantics of Orc (Slides)
  Ian Wehrman, University of Texas at Austin
• Communication Across Levels of Abstraction (Slides)
  Sameer Sundresh, University of Illinois, Urbana-Champaign

3:30-4 Break

4:00-5:30 Working group discussion (see workshop report)