yfen84listscsescedu call papers workshop eventbased semantics httpblackforeststanfordedueventsemantics workshop held conjunction rtas 2008 14th ieee realtime embedded technology applications symposium httpwwwrtasorg part cyberphysical systems week cpsweekhttpwwwcpsweekorg st louis mo april 2124 2008 important dates feb 1 2008 deadline position paper submissions march 1 2008 notification april 21 2008 workshop st louis mo aims theme workshop eventbased semantics embedded critical systems shift towards openness distribution federation real time multiscale embedded critical systems still need certification resulting major verification challenge notion cyberphysical system cps adding new dimenions challenges eventbased semantics promising approach support specification verification systems aim workshop bring together people working semantics people systems community idea stimulate discussion exchange ideas leading better understanding rich spectrum notions event might used design development new class systems well serve basis system analysis certification possible topics workshop presentationsdiscussion include limited tie formal practical traceability properties important open verification technology done automatically onlineoffline formally based testing theories eventbased systems managing distributed knowledgestate challenge problems example areas cps specific challenges distributed sensor systems scada systems electricity grid selfforming networks secure location discovery author instructions page limit 6 pages 11 12 pt content papers describing new approaches work progress tutorial reviews relevant technologies welcome addition relevant technial papers paper submission via easychair httpwwweasychairorgconferencesconfwebs2008 login author look menu tab new submission click see detailed instructions submit 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 fri 08 aug 2008 031953 0500 uai cpsweek workshop eventbased semantics