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

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

                          CALL FOR PAPERS
                      AFM10 (Automated Formal Methods)
                        July 14, 2010, Edinburg, UK

              In association with Computer-Aided Verification 2010
                     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

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

  Bruno Dutertre and Hassen Saidi


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