Workshop on Event-based Semantics: Agenda

Location: Phoenix Room

8am: Coffee.
8:45am: Workshop begins

• Helen Gill (NSF)
  Cyber Physical Systems Vision
• Carolyn Talcott (SRI Internaltional)
  Event-based semantics for Interactive Agents
  Abstract | Slides
• Luca de Alfaro (U. C. Santa Cruz)
  Interface-driven software composition and scheduling
  Abstract

Coffee Break

• Janos Sztipanovits (Vanderbilt)
  Defining Behavioral Semantics for Domain Specific Modeling Languages
  Abstract
• Discussion

Lunch Break

• Eleftherios Matsikoudis (U. C. Berkeley)
  Modeling Timed Concurrent Systems
  Abstract
• Mark Bickford (ATC-NY)
  Specification and Derivation of Distributed Programs using a Logic of Events
  Abstract | Slides
• Short presentations
  Insup Lee: Position Paper | Slides
  Al Mok: Position Paper | Slides

Coffee Break

• Round Table Discussion
  Challenge Problems
  Future Directions

Home