CALL FOR PARTICIPATION
*************************************************************
ICFEM 2007: Call for Participation
9th International Conference on Formal Engineering Methods
14-15 November 2007
Florida Atlantic University, Boca Raton, Florida, USA
www.icfem2007.org
*************************************************************
IMPORTANT: Early Registration Deadline is 14 October 2007
Keynote Speakers:
- Prof Jean-Raymond Abrial (ETH Zurich)
- Prof Tom Maibaum (McMaster University)
NEW: 13 November - The Verifiable File Store Mini-Challenge workshop
http://www.cs.york.ac.uk/circus/mc/icfem2007/
The ICFEM proceedings will be available as Springer LNCS 4789.
The ICFEM programme is available at the conference web site
www.icfem2007.org
Topics include Formal Methods for:
---Security and Knowledge
---Embedded Systems
---Testing
---Automated Analysis
---Hardware
---Concurrency
---System Development Processes
---Software Certification
General Chair: Mike Hinchey, NASA GSFC and Loyola College in
Maryland, Baltimore, USA
Program Chairs: Michael Butler, University of Southampton, UK
Maria Petrie, Florida Atlantic University, USA
Publicity Chair: Denis Gracanin, Virginia Tech, US
Sponsored by: Florida Atlantic University
Loyola College in Maryland
Travel and accommodation information: www.icfem2007.org
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
