[ecoop-info] WEBS @ CPSweek call for participation

[Carolyn Talcott]

      + + + + + + + + + + CALL FOR PARTICIPATION + + + + + + + + + + +


                        Workshop on Event-based Semantics
                   http://blackforest.stanford.edu/eventsemantics

The workshop will be held in conjunction with
     RTAS 2008
     14th IEEE Real-Time and Embedded Technology and Applications  
Symposium
     http://www.rtas.org/
as part of
    Cyber-Physical Systems Week (CPSWEEK)
    http://www.cpsweek.org/
    St. Louis MO,  April 21-24, 2008

The workshop is sponsered by NSF.

Workshop registration is available from the RTAS website http://www.rtas.org/
along with hotel information.

To encourage student participation, early registration
cost will be covered for students wishing to attend.
In addition, some funding is available for travel grants for students
attending the workshop.  Students are encouraged to apply.
See the workshop website for details regarding grant application.

Important Dates
* Student Travel Grant Application Deadline: March 21, 2008
* Notification of Award: March 24, 2008
* Early registration ends March 31, 2008.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 
+++

AIMS
----

The theme of the workshop is Event-based semantics for embedded and  
critical
systems. There is a shift towards openness, distribution and  
federation for
real time, multi-scale, embedded and critical systems. All this still  
with a
need for certification, resulting in a major verification challenge.  
The notion
of Cyber-Physical System (CPS) is adding new dimenions to these  
challenges.
Event-based semantics is a promising approach to support specification  
and
verification of such systems.

The aim of the workshop is to bring together people working on  
semantics and
people from the systems community. The idea is to stimulate discussion  
and
exchange of ideas leading to a better understanding of the rich  
spectrum of
notions of event and how they might be used in the design and  
development of
this new class of systems, as well as to serve as a basis for system  
analysis
and certification.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 
+++

The workshop program will be a mix of invited (tutorial level) talks,
presentation of submitted papers, and a `working group' discussion  
session
focusing on future directions and next challenges.

Program details are still evolving.  Here is preliminary information.

Invited talks include:

Robert Constable (Cornell) and Mark Bickford (ATC-NY):
   Logic of Events

Joshua Guttman (MITRE):
   Strand spaces: From key exchange to secure location

Sharad Mehrotra (UC Irvine):
   SATware: Event-based Middleware for Sentient Spaces


Submitted Presentations include:

Event Order Abstraction for Parametric Timed Verification
Shinya Umeno (MIT)

Communication Across Levels of Abstraction
Sameer Sundresh (UIUC)

A Timed Semantics of Orc
Ian Wehrman, David Kitchin, William R. Cook, and Jayadev Misra
(UTAustin)

A Semantic Framework for Reconfiguration of Instrumented Cyber  
Physical Spaces
Minyoun Kim (UCIrvine)

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 
+++

We look forward to seeing you at the workshop.
The WEBS Steering Committee:

Luca de Alfaro
Robert Constable (Cornell)
Helen Gill (NSF, sponser)
Joshua Guttman (Mitre)
Edward Lee (U. C. Berkeley)
Carolyn Talcott (SRI International, organizer)