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/8634/19- --20-May-2017-The-sixth-Automated-Formal-Methods-w orkshop-AFM-2017-Menlo-Park-CA-U-S-A- DTSTAMP:20170202T161824 SUMMARY:The sixth Automated Formal Methods worksho p (AFM 2017), Menlo Park CA, U.S.A. DTSTART;VALUE=DATE:20170519 DTEND;VALUE=DATE:20170520 LOCATION:Menlo Park CA, U.S.A. DESCRIPTION:AFM is a workshop centered around the use and integration of highly automated formal ver ification tools for specification, interactive the orem proving, satisfiability (SAT) and satisfiabil ity modulo theories (SMT), model checking, program verification, static analysis, runtime verificati on, code generation, and testing, as well as inter faces, documentation, and education. It consists of both invited talks and contributed papers on Ma y 19, and tutorials covering recent progress in to ols such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHo rn, Radler, and Bixie. AFM functions both as a use r's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in s tate of the art automation for formal methods gene rally. We welcome position papers, research paper s, and reports on work in progress on the topics l isted above and all other aspects of state of the art automation, particularly those that report on experiments, tool integration and evaluation, and case studies. X-ALT-DESC;FMTTYPE=text/html:
AFM is a workshop centered around the use and integration o f highly automated formal verification tools for s pecification, interactive theorem proving, satisfi ability (SAT) and satisfiability modulo theories ( SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education.
\n\nIt consists of both in vited talks and contributed papers on May 19, and tutorials covering recent progress in tools such a s PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler , and Bixie. AFM functions both as a user's meetin g for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of th e art automation for formal methods generally.
We welcome position papers, rese arch papers, and reports on work in progress on th e topics listed above and all other aspects of sta te of the art automation, particularly those that report on experiments, tool integration and evalua tion, and case studies.