14-15 November 2007

Florida Atlantic University
Boca Raton, Florida, USA

A workshop on the Verifiable File Store Mini-Challenge will be held on 13 November 2007 co-located with ICFEM 2007.
This workshop is free to all ICFEM participants. For details see:
http://www.cs.york.ac.uk/circus/mc/icfem2007/

The Conference Proceedings (Springer LNCS 4789) is now available online at

http://www.springerlink.com/content/978-3-540-76648-3/

You can find information about it at

http://www.springeronline.com/978-3-540-76648-3

REGISTRATION OPEN: registration form
Early registration deadline: 5pm EST on 2 November 2007

Paper submission web site is closed