[SAL] Automated Formal Methods Workshop at FLoC

[Natarajan Shankar]

The Automated Formal Methods workshop at FLoC in Seattle will take place on
Aug 21, 2006.  The deadline for early registration is Monday July 10, 2006
(http://www.easychair.org/FLoC-06). 
Registration is $80 with conference attendance.  AFM will include

* An invited talk by Joe Kiniry of UC Dublin

* A roadmap presentation for PVS, ICS, and SAL.

* Tutorials on some of the new developments in PVS, ICS/Yices, and SAL

* Invited papers on projects applying automated formal methods technology

Hope to see y'all at AFM,
John Rushby
N. Shankar