ICFEM 2004 CALL FOR PAPERS, and Tutorials, Workshops
[apologies for multiple copies]
Please help to distribute.
Sixth International Conference on
Formal Engineering Methods (ICFEM 2004),
November 8-12, 2004, Seattle,USA
http://research.microsoft.com/conferences/ICFEM2004
Important Dates:
Submission of paper: 15th May 2004
Notification of acceptance: 1st July 2004
Final copy for Proceedings: 1st August 2004
Conference: 8-12 November, 2004
Tutorials, Workshops:
Submission of Proposals: 1 June 2004
Acceptance notification: 30 June 2004
Formal engineering methods are changing the way that systems are
developed. With language and tool support, these methods are being
used for semi-automatic code generation, and for the automatic
abstraction and checking of implementations. In the future, they
will be used at every stage of development: requirements,
specification, design, implementation, testing, and documentation.
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.
Any submissions whose content is relevant to the field of formal
engineering methods will be considered, but submissions whose subject
matter is related to one of the following themes will be
particularly welcome:
* applications in
o model-based development and code generation
o testing and test-case generation
o real-time, hybrid, and critical systems
o service-based architectures
* techniques for
o verification and validation
o model checking
o theorem proving
o automatic abstraction and refinement
* links with
o object modelling and the model-driven architecture
o development methodologies
o tool environments
o emerging technologies
Since ICFEM addresses a heterogeneous audience, potential authors are
strongly encouraged to make their ideas as accessible as possible.
In addition, reports of case studies should have a conceptual message,
theory papers should have a clear link to application, and papers
describing tools should include an account of practical results.
The ICFEM 2004 Program Committee selects original technical papers
for publication in the proceedings of the conference to be published
by Springer in its Lecturer Notes in Computer Science (LNCS) series.
Important Dates:
Submission of paper: 15th May 2004
Notification of acceptance: 1st July 2004
Final copy for Proceedings: 1st August 2004
Conference: 8-12 November, 2004
Satellite Events (Tutorials, Workshops):
Submission of Proposals: 1 June 2004
Acceptance notification: 30 June 2004
Events: 8-9 November, 2004
Website:
http://research.microsoft.com/conferences/icfem2004/
Conference Chair
Dines Bjørner Technical University of Denmark, DK
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 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 German NRC for Information Technology, 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, CA
T.H. Tse University of Hong Kong, CH
Yi Wang Uppsala University, SE
Farn Wang National Taiwan University, Taiwan
Jeannette Wing University of Carnegie Mellon, US
Jim Woodcock University of Kent, UK
=======================================================================
|
