[TYPES] ICFEM 2004 -- Call for Participation, Seattle, USA, Nov 8-12, 2004 ICFEM 2004 CALL FOR PARTICIPATION

[Hongjun Zheng]

      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
=======================================================================