[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Final CFP: 5th Automated Formal Methods Workshop first callfor papers(In association with Computer-Aided Verification 2010 and FLoC 2010)




                          FINAL CALL FOR PAPERS

                      AFM'10 (Automated Formal Methods)
                        July 14, 2010, Edinburgh, UK
                          http://fm.csl.sri.com/AFM10/

              In association with Computer-Aided Verification 2010
                   http://www.floc-conference.org/CAV-home.html
                  part of Federated Logic Conference (FLoC) 2010



AFM is a one-day workshop centered around the use and integration of
formal verification tools for specification, interactive theorem
proving, satisfiability (SAT) and satisfiability modulo theories
(SMT), model checking, program verification, code generation, and
testing, as well as interfaces, documentation, and education.  This
workshop was first initiated as a users' group meeting for the SRI
formal verification tools such as PVS, SAL, and Yices, but the topics
are not restricted to these tools.  The first workshop was held at
FLoC'06, the second workshop with ASE'07, and the third and forth
workshops took place respectively in conjunction with CAV'08 and
CAV'09.

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=afm10).

ORGANIZERS:
  Bruno Dutertre and Hassen Saidi

PROGRAM COMMITTEE: TBD

KEY DATES:
   Position papers due: March 26, 2010
   Reviews/decisions: April 16, 2010
   Camera ready versions due: April 30, 2010
   AFM10 Workshop: July 14, 2010