BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/8525/29- April-2017-2nd-International-Workshop-on-Causal-Re asoning-for-Embedded-and-Safety-critical-Systems-T echnologies-CREST-2017-Uppsala-Sweden DTSTAMP:20170109T140105 SUMMARY:2nd International Workshop on Causal Reaso ning for Embedded and Safety-critical Systems Tech nologies (CREST 2017), Uppsala, Sweden DTSTART;VALUE=DATE:20170429 DTEND;VALUE=DATE:20170429 LOCATION:Uppsala, Sweden DESCRIPTION:Today's IT systems, and the interactio ns between them, become increasingly complex. Powe r grid blackouts, airplane crashes, failures of me dical devices and malfunctioning automotive system s are just a few examples of incidents that affect system safety. Determining the root cause(s) of a system-level failure and elucidating the exact sc enario that led to the failure is today a complex and tedious task that requires significant experti se. Formal approaches for automated causality anal ysis, fault localization, explanation of events, a ccountability and blaming have been proposed indep endently by several communities - in particular, A I, concurrency, model-based diagnosis, software en gineering, security engineering and formal methods . Work on these topics has significantly gained sp eed during the last years. The goals of this works hop are to bring together and foster exchange betw een researchers from the different communities, an d to present and discuss recent advances and new i deas in the field. CREST 2017 is a satellite even t of ETAPS 2017. All contributed papers will be r eviewed by at least 3 PC members. Revised versions of selected papers will be published as formal po st-workshop proceedings in the Electronic Proceedi ngs in Theoretical Computer Science (EPTCS). At le ast one of the authors of an accepted paper needs to register for the workshop and present the paper in order for it to be included in the post-worksh op proceedings. X-ALT-DESC;FMTTYPE=text/html:
Today's I T systems, and the interactions between them, beco me increasingly complex. Power grid blackouts, air plane crashes, failures of medical devices and mal functioning automotive systems are just a few exam ples of incidents that affect system safety. Deter mining the root cause(s) of a system-level failure and elucidating the exact scenario that led to th e failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localizat ion, explanation of events, accountability and bla ming have been proposed independently by several c ommunities - in particular, AI, concurrency, model -based diagnosis, software engineering, security e ngineering and formal methods. Work on these topic s has significantly gained speed during the last y ears. The goals of this workshop are to bring toge ther and foster exchange between researchers from the different communities, and to present and disc uss recent advances and new ideas in the field.
\n\nCREST 2017 is a satellite event of ETAPS 2017.
All contributed papers will be reviewed by at least 3 PC members. Revise d versions of selected papers will be published as formal post-workshop proceedings in the Electroni c Proceedings in Theoretical Computer Science (EPT CS). At least one of the authors of an accepted pa per needs to register for the workshop and present the paper in order for it to be included in the p ost-workshop proceedings.