This will be the sixth in the Automated Formal Methods (AFM) workshop series. Earlier workshops were AFM06, AFM07, AFM08, AFM09, and AFM10 It is colocated with the NASA Formal Methods (NFM) 2017 symposium. 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.
This workshop was originally initiated as a users' group meeting for the SRI formal verification tools, which now include PVS, SAL, HybridSAL, SALLY, Yices, NL-Yices, Joogie, Bixie, and SeaHorn, together with technologies under development, such as ARSENAL, Radler, PCE, and ETB However, topics are not restricted to these tools: we welcome contributions on all aspects of state of the art automation.
We welcome position papers, research papers, and reports on work in progress on the topics listed above, particularly those that report on experiments, tool integration and evaluation, and case studies. Papers must be fewer than 8 pages long in the ACM SIG Proceedings style (http://www.acm.org/sigs/publications/proceedings-templates) and should be submitted to http://www.easychair.org/conferences/?conf=afm17).
|Position papers due||April 3, 2017|
|Reviews/decisions||April 24, 2017|
|Camera ready versions due||May 8, 2017|
|AFM17 Workshop||May 19, 2017|
|AFM17 Tutorials||May 20, 2017|
The program includes contributed papers and invited talks selected by the international program committee.
|Maria Paola Bonacina||Verona|
|Alessandro Coglio||Kestrel Institute|
|Bruno Dutertre||SRI, co-Chair|
|Stephane Graham-Lengrand||Ecole Polytechnique|
|Arie Gurfinkel||U. of Waterloo|
|Ben Hocking||Dependable Computing|
|Temesghen Kahsai||CMU West|
|Aditya Kanade||IISc, Bangalore|
|Wenchao Li||Boston University|
|Paolo Masci||Queen Mary|
|Cesar Munoz||NASA Langley|
|Anitha Murugesan||Honeywell Research|
|Natarajan Shankar||SRI, co-Chair|
|Alan Wassyng||McMaster University|