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/8342/13- --14-July-2017-24th-International-Symposium-on-Mod el-Checking-of-Software-SPIN-2017-Santa-Barbara-CA -U-S-A- DTSTAMP:20170112T143118 SUMMARY:24th International Symposium on Model Chec king of Software (SPIN 2017), Santa Barbara CA, U. S.A. DTSTART;VALUE=DATE:20170713 DTEND;VALUE=DATE:20170714 LOCATION:Santa Barbara CA, U.S.A. DESCRIPTION:The SPIN symposium aims at bringing to gether researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The sympo sium specifically focuses on concurrent software, but does not exclude analysis of sequential softwa re. The SPIN symposium originated as a workshop f ocusing on explicit state model checking, specific ally as related to the Spin model checker. However , over the years it has evolved to a broadly scope d symposium for software analysis using any automa ted techniques, including model checking, automate d theorem proving, symbolic execution, etc. SPIN 2 017 will be arranged as a ACM SIGSOFT event, collo cated with the International Symposium on Software Testing and Analysis (ISSTA 2017). Submissions a re solicited on theoretical results, novel algorit hms, tool development, and empirical evaluation. W ith the exception of survey and history papers, su bmissions must be original and should not have bee n published previously or be under consideration f or publication while being evaluated for this symp osium. We are soliciting two categories of papers: Full Research Papers (describing fully developed work and complete results) and Short Papers (prese nting tools, technology, experiences with lessons learned, new ideas, work in progress with prelimin ary results, and novel contributions to formal met hods education). X-ALT-DESC;FMTTYPE=text/html:
The SPIN symposium aims at bringing together researchers an d practitioners interested in automated tool-based techniques for the analysis of software as well a s models of software, for the purpose of verificat ion and validation. The symposium specifically foc uses on concurrent software, but does not exclude analysis of sequential software.
\n\nThe S PIN symposium originated as a workshop focusing on explicit state model checking, specifically as re lated to the Spin model checker. However, over the years it has evolved to a broadly scoped symposiu m for software analysis using any automated techni ques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will b e arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing a nd Analysis (ISSTA 2017).
Sub missions are solicited on theoretical results, nov el algorithms, tool development, and empirical eva luation. With the exception of survey and history papers, submissions must be original and should no t have been published previously or be under consi deration for publication while being evaluated for this symposium. We are soliciting two categories of papers: Full Research Papers (describing fully developed work and complete results) and Short Pap ers (presenting tools, technology, experiences wit h lessons learned, new ideas, work in progress wit h preliminary results, and novel contributions to formal methods education).