From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2394 Path: news.gmane.org!not-for-mail From: mailinglist-admin@fmeurope.org Newsgroups: gmane.science.mathematics.categories Subject: FM 2003 Call for Participation Date: Wed, 16 Jul 2003 17:20:42 +0200 Message-ID: Reply-To: mailinglist@fmeurope.org NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed X-Trace: ger.gmane.org 1241018630 3931 80.91.229.2 (29 Apr 2009 15:23:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:50 +0000 (UTC) To: catgeories@mta.ca Original-X-From: rrosebru@mta.ca Thu Jul 17 11:50:14 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 17 Jul 2003 11:50:14 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19dA1Z-0001zH-00 for categories-list@mta.ca; Thu, 17 Jul 2003 11:46:25 -0300 List-Archive: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 22 Original-Lines: 56 Xref: news.gmane.org gmane.science.mathematics.categories:2394 Archived-At: Sorry if some of you receive multiple copies of this message. Stefania Gnesi (FM2003 General Chair) ============================================================================== Call for Participation ------------------------------------------------------------------------------ The 12th International FME Symposium Pisa, Italy - September 8-14, 2003 http://fme03.isti.cnr.it - fme03@isti.cnr.it ------------------------------------------------------------------------------ FM 2003 is the twelfth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. These symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical methods for software development as well as industrial users. Formal methods have been controversial throughout their history, and the realization of their full potential remains, in the eyes of many practitioners, merely a promise. Have they been successful in industry? If so, under which conditions? Has any progress been made in dispelling the skepticism that surrounds them? Are they worth the effort? Which aspects of formal methods have become so well established in the industrial practices to loose the "formal method" label in the meanwhile? FM 2003 aims to answer these questions, by contributions not only from the Formal Methods community but also from outsiders and even from skeptical people who are most welcome to explain, document, and motivate the source of their reluctance. Satellite Events FM 2003, will host 7 Workshops, 8 Tutorials and 1 Day dedicated to the Industry besides the 3 days of the FME Symposium. Tool demonstrations will also take place during the symposium, with the opportunity of holding presentations for each tool. For full details on the Symposium organization and to register please see the web site http://fme03.isti.cnr.it, or send your query to fme03@isti.cnr.it. _______________________________________________ Mailinglist mailing list Mailinglist@fmeurope.org http://www.fmeurope.org/mailman/listinfo/mailinglist