[FOM] Automated Formal Methods (AFM) 2017 Call for papers

Sam Owre owre at csl.sri.com
Mon Jan 30 17:32:40 EST 2017

The sixth Automated Formal Methods (AFM) workshop will be held during
May 19-20, 2017, at SRI International in Menlo Park.  The earlier
workshops were AFM06, AFM07, AFM08, AFM09, and AFM10.
The 2017 workshop immediately follows the NASA Formal Methods (NFM) 2017
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.

Workshop Description

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.

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,
Occam, PCE, and ETB.  However, topics are not restricted to these tools:
we welcome contributions on all aspects of state of the art automation.
The proceedings of the workshop will be published through the ACM
Digital Library.

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

Important Dates
Position papers due	March 27, 2017
Reviews/decisions	April 17, 2017
Camera ready versions due	May 1, 2017
AFM17 Workshop	May 19, 2017
AFM17 Tutorials May 20, 2017

Workshop Program

The program includes contributed papers and invited talks selected by
the international program committee on May 19, and a series of tutorials on
May 20, 2017.

Program Committee

Saddek Bensalem (Verimag)
Matthew Bolton (Buffalo)
Maria Paola Bonacina (Verona)
Alessandro Coglio (Kestrel Institute)
Bruno Dutertre (SRI, co-Chair)
Leonard Gerard (SRI)
Stephane Graham-Lengrand (Ecole Polytechnique)
Arie Gurfinkel (U. of Waterloo)
Liana Hadarean (Synopsys)
Ben Hocking (Dependable Computing)
Susmit Jha (SRI)
Dejan Jovanovic (SRI)
Temesghen Kahsai (CMU West)
Aditya Kanade (IISc, Bangalore)
Wenchao Li (Boston University)
Paolo Masci (Queen Mary)
Mariano Moscato (NIA)
Cesar Munoz (NASA Langley)
Anitha Murugesan (Honeywell Research)
Jorge Navas (SRI)
Natasha Neogi (NIA)
Sam Owre (SRI)
Lee Pike (Galois)
Elvinia Riccobene (Milan)
Kristin Rozier (Iowa)
John Rushby (SRI)
Martin Schaef (SRI)
Natarajan Shankar (SRI, co-Chair)
Wilfried Steiner (TTTech)
Ashish Tiwari (SRI)
Alan Wassyng (McMaster University)

More information about the FOM mailing list