From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA12129; Sun, 14 Mar 2004 21:27:27 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA12213 for ; Sun, 14 Mar 2004 21:27:26 +0100 (MET) Received: from pluto.semdesigns.local (ip236.131.realtime.net [205.238.131.236]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2EKRnKW009423 for ; Sun, 14 Mar 2004 21:27:49 +0100 Message-Id: <200403142027.i2EKRnKW009423@nez-perce.inria.fr> Received: from mercury.semdesigns.local [192.168.1.102] by pluto.semdesigns.local with XWall v3.29 ; Sun, 14 Mar 2004 14:30:38 -0600 From: ICFEM2004 To: caml-list@inria.fr Date: Sun, 14 Mar 2004 14:30:40 -0600 X-Mailer: bmail 1.06 (http://www.beyondlogic.org) Subject: [Caml-list] ICFEM 2004 -- Call for Papers, Tutorials, Workshops, Seattle, USA X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2004:99 2004:99 seattle:99 seattle:99 abstraction:01 model:01 abstraction:01 modelling:01 conceptual:01 selects:01 springer:01 lncs:01 satellite:99 wolfram:01 satellite:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 133 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 ======================================================================= ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners