From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3760 Path: news.gmane.org!not-for-mail From: Jeremy.Gibbons@comlab.ox.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Integrated Formal Methods 2007: Call for participation Date: Wed, 9 May 2007 08:17:38 GMT Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019505 10173 80.91.229.2 (29 Apr 2009 15:38:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:25 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed May 9 09:21:25 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 09 May 2007 09:21:25 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hll1k-0002Qs-Jx for categories-list@mta.ca; Wed, 09 May 2007 09:12:16 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 20 Original-Lines: 67 Xref: news.gmane.org gmane.science.mathematics.categories:3760 Archived-At: IFM2007: INTEGRATED FORMAL METHODS CALL FOR PARTICIPATION 2nd to 5th July 2007 St Anne's College, Oxford, UK www.ifm2007.org The design and analysis of computing systems presents a significant challenge: systems need to be understood at many different levels of abstraction, and examined from many different perspectives. Formal methods - languages, tools, and techniques with a sound, mathematical basis - can be used to develop a thorough understanding, and to support rigorous examination. Further research into effective integration is required if these methods are to have a significant impact outside academia. The IFM series of conferences seeks to promote that research, to bring together the researchers carrying it out, and to disseminate the results of that research among the wider academic and industrial community. This is the sixth IFM conference. It will be held in the historic university town of Oxford, at St Anne's College - one of the larger colleges of the University, with excellent new conference facilities. Oxford is easily reached from most UK cities, and is 70 minutes from the country's largest airport. Earlier conferences in the series were held at York (1999), Schloss Dagstuhl (2000), Turku (2002), Kent (2004), and Eindhoven (2005). The conference runs for three full days, 3rd to 5th July. Invited speakers include Jifeng He on "UTP Semantics for Web Services" and Daniel Jackson on "Recent Advances in Alloy"; a third invited speaker is yet to be confirmed. There are 32 contributed papers, including a special session on Unifying Theories of Programming. In addition, there are four satellite events, taking place on 2nd and 3rd July - three workshops: * Refinement Workshop * C/C++ Verification * MeMoT (Methods, Models and Tools for Fault Tolerance) and a tutorial: * KeY (Integrating OO Design and Deductive Verification of Software) The full programme is available at: http://www.ifm2007.org/programme-ifm.html Registration for the conference is now open, at: http://www.ifm2007.org/registration.html Special early-registration fees apply until 1st June 2007. For more information, visit the conference web page: http://www.ifm2007.org/ or contact the local organisers: Jim Davies http://www.softeng.ox.ac.uk/Jim.Davies Jeremy Gibbons http://www.softeng.ox.ac.uk/Jeremy.Gibbons