[TYPES/announce] Automated Formal Methods '09: Second Call For Papers

[Natarajan Shankar]

                        CALL FOR PAPERS
                   Automated Formal Methods (AFM09)
                   June 27, 2009, Grenoble, France
                    http://fm.csl.sri.com/AFM09/

         In association with Computer-Aided Verification 2009
	         http://www-cav2009.imag.fr/


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
workshop took place in conjunction with CAV'08.

We welcome position papers on the topics listed above, particularly those
that report on experiments 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=afm09
The post-conference proceedings will be published in the ACM Digital
Library.    

PROGRAM CHAIRS: Hassen Saidi, Natarajan Shankar   

PROGRAM COMMITTEE: Myla Archer, Saddek Bensalem, Supratik Chakraborthy,
Rance de Long, Leonardo de Moura, Jean-Christophe Filliatre, Bernd
Finkbeiner, Michael Gordon, John Harrison, Peter Manolios, David
Monniaux, David Naumann, Corina Pasareanu, Lee Pike, Kazuhiro Ogata,
Sanjit Seshia, Ofer Strichman.

KEY DATES:
  Position papers due: April 30, 2009 
  Reviews/decisions: May 20, 2009
  Camera ready versions due: June 10, 2009
  AFM '09 Workshop: June 27, 2009