Objectives : ICFEM 2004 aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit. Scope and Topics : We kindly invite you to consider organizing a workshop, giving a tutorial or hosting other related events at the ICFEM 2004 conference. Workshops and Tutorials are welcome on any aspect of the application of Formal Methods, in particular on rigorous methods and industrial strength tools. Seattle is home of many major software companies, so workshops and tutorials that address the needs of practicing software developers are most likely to d raw a lot of attention from local software engineers.