CALL FOR PAPERS
AFM10 (Automated Formal Methods)
July 14, 2010, Edinburg, UK
http://fm.csl.sri.com/AFM10/
In association with Computer-Aided Verification 2010
http://www.floc-conference.org/CAV-home.html
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
------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
