19 - 20 May 2017, The sixth Automated Formal Methods workshop (AFM 2017), Menlo Park CA, U.S.A.
AFM is a workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (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.
It consists of both invited talks and contributed papers on May 19, and tutorials covering recent progress in tools such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler, and Bixie. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of the art automation for formal methods generally.
We welcome position papers, research papers, and reports on work in progress on the topics listed above and all other aspects of state of the art automation, particularly those that report on experiments, tool integration and evaluation, and case studies.