Universiteit van Amsterdam


Institute for Logic, Language and Computation

19 - 20 May 2017, The sixth Automated Formal Methods workshop (AFM 2017), Menlo Park CA, U.S.A.

Date: 19 - 20 May 2017
Location: Menlo Park CA, U.S.A.
Deadline: Monday 27 March 2017

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.

For more information, see http://fm.csl.sri.com/AFM17/.