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:<div>\n  <p>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.</p>\n\n  <p>It 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.</p>
 \n</div><div>\n  <p>We welcome position papers, re
 search papers, and reports on work in progress on 
 the topics listed above and all other aspects of s
 tate of the art automation, particularly those tha
 t report on experiments, tool integration and eval
 uation, and case studies.</p>\n</div>
URL:http://fm.csl.sri.com/AFM17/
END:VEVENT
END:VCALENDAR