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

[PVS] CFP: AFM08 -- A workshop for PVS, SAL and Yices users



Dear PVS, SAL and Yices Users,

          Call For Papers: AFM08 (Automated Formal Methods)
           Monday 14 July 2008, Princeton, New Jersey, USA

This is *your* workshop: a place to describe what you've done, are
doing, and would like to do with these tools, an opportunity to meet
and interact with their developers and other users, and a forum for
new and provocative ideas about automation in formal methods
generally.

Although the workshop centers on PVS, SAL (with HybidSAL) and Yices,
we are always keen to learn from other systems, so please pass this
call on to anyone with an interest in highly automated formal methods.

The deadline is quite soon (25 May 2008), but this is a workshop, not
a conference, and we are looking for new and stimulating ideas, even
if they are a little rough around the edges.  You'll have another
month to prepare the camera-ready version.

In addition to contributed papers, Gregoire Hamon of Mathworks will
present an invited talk on "Simulink Design Verifier--Applying
Automated Formal Methods to Simulink and Stateflow."

AFM is being held in association with the Conference on Computer Aided
Verification (CAV) and the proceedings will be published in the ACM
Digital Library.  The full call and the link for electronic
submissions are at http://fm.csl.sri.com/AFM08/

Looking forward to your contributions,
John Rushby and N. Shankar