6th International Conference on Formal Engineering Methods
Nov 8-12, 2004, Seattle, USA
http://research.microsoft.com/conferences/icfem2004/
-------------------------------------------------------------------------------
Early Registration Deadline: October 1, 2004
http://research.microsoft.com/conferences/icfem2004/registration.htm
===============================================================================
Conference Advance Program
http://research.microsoft.com/conferences/icfem2004/Agenda.htm
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.
ICFEM 2004 features one workshop five half-day tutorials, 4 invited
talks, 30 technical papers in 9 sessions covering various aspects of
formal engineering: formal specification, verfication, analysis, model
checking.
===============================================================================
Invited Talks
On the Adoption of Formal Methods by Industry: The ACL2 Experience
J Strother Moore
Department of Computer Sciences, University of Texas at Austin
When Can Formal Methods Make a Real Difference?
Peter G. Neumann
Principal Scientist, SRI International Computer Science Lab
Engineering Quality Software
Amitabh Srivastava
Corporate Vice-President, Core Windows, Microsoft Corporation
CLP Approach to Modelling Systems
Joxan Jaffar
Professor and Dean, School of Computing, National University of Singapore
=============================================================================
Workshop
International Workshop on Software Verification and Validation (SVV)
http://www.comp.nus.edu.sg/~abhik/SVV04/
Monday, November 8, 9:00am - 5:30pm (one-day)
The workshop will focus on theoretical techniques, practical methods as well
as case studies for verification of conventional and embedded software systems.
The goal of this workshop is to promote discussion on novel combinations of
different methodologies for verifying and validating software systems,
as well as study the individual contribution of each of thes methodologies.
=============================================================================
Half-Day Tutorials
Tutorial 1: Model-based Development: Combining Engineering Approaches
and Formal Techniques
Bernhard Schatz, Fakultat fur Informatik, TU Munchen
Monday, November 8, 8:30am - 12:00pm
Tutorial 2: Tutorial on the RAISE Language, Method, and Tools
Chris George, UNU/IIST
Monday, November 8, 1:30pm - 5:00pm
Tutorial 3: Model-based Testing with Spec#
Jonathan Jacky, University of Washington
Tuesday, November 9, 8:30am - 12:00pm
Tutorial 4: Formal Engineering for Industrial Software Development
-- An Introduction to the SOFL Specification Language and Method
Shaoying Liu, Hosei University
Tuesday, November 9, 1:30pm - 5:00pm
Tutorial 5 : Software Model Checking
E. Clarke and D. Kroening, Carnegie-Mellon University
Tuesday, November 9, 1:30pm - 5:00pm
============================================================================
Conference Chair
Dines Bj�rner National University of Singapore, SG
Program Co-Chairs
Jim Davies Oxford University, UK
Wolfram Schulte Microsoft Research, US
Local Organization
Mike Barnett Microsoft Research, US
Satellite Event Chair
Hongjun Zheng Semantic Designs, US
Program Committee
Adnan Aziz University of Texas, US
Richard Banach University of Manchester, UK
Egon B�rger University Pisa, IT
Jonathan Bowen London South Bank University, UK
Manfred Broy University of Munich, GE
Michael Butler University of Southampton, UK
Ana Cavalcanti University of Kent, UK
Dan Craigen ORA, CA
Jin Song Dong National University of Singapore, SG
Matthew Dwyer Kansas State University, US
John Fitzgerald University of Newcastle upon Tyne, UK
David Garlan Carnegie Mellon University, Pittsburgh, US
Thomas Jensen IRISA/CNRS Campus de Beaulieu, Rennes, FR
Jim Larus Microsoft Research, US
Mark Lawford McMaster University, CA
Huimin Lin Chinese Academy of Sciences, Bejing, CH
Peter Lindsay University of Queensland, AU
Shaoying Liu Hosei University, JP
Zhiming Liu UNU/IIST, Macau SAR, China
Brendan Mahony Department of Defense, AU
Marc Frappier Universit� de Sherbrooke, Qu�bec, CA
William Bradley Martin National Security Agency, US
David Notkin University of Washington, US
Jeff Offutt George Mason University, US
Harald Ruess Computer Science Laboratory , SRI, US
Augusto Sampaio Universidade Federal de Pernambuco, BR
Thomas Santen Technical University Berlin, GE
Doug Smith Kestrel Institute, US
Graeme Smith The University of Queensland, AU
Paul A. Swatman Stuttgart Inst. of Man & Tech, GE
Sofiene Tahar Concordia University, CA
T.H. Tse The University of Hong Kong, Hong Kong
Yi Wang Uppsala University, SE
Farn Wang National Taiwan University, Taiwan
Jeannette Wing University of Carnegie Mellon, US
Jim Woodcock University of Kent, UK
=======================================================================
