From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CDC9D7F890 for ; Tue, 25 Mar 2014 17:16:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Iain.Whiteside@newcastle.ac.uk) identity=pra; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Iain.Whiteside@newcastle.ac.uk"; x-sender="Iain.Whiteside@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Iain.Whiteside@newcastle.ac.uk designates 128.240.234.22 as permitted sender) identity=mailfrom; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Iain.Whiteside@newcastle.ac.uk"; x-sender="Iain.Whiteside@newcastle.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cheviot22.ncl.ac.uk) identity=helo; client-ip=128.240.234.22; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Iain.Whiteside@newcastle.ac.uk"; x-sender="postmaster@cheviot22.ncl.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqcBANaqMVOA8OoWnGdsb2JhbABPChaCT1xXuziIUBYOAQEBAQEICwkJFCiCLB02OAFHOQ4GEwQTh3kBDJ1vlHSWDoZbF44MBgsBgwUPZ4EUBIkai0eQV4h1gXI5 X-IPAS-Result: AqcBANaqMVOA8OoWnGdsb2JhbABPChaCT1xXuziIUBYOAQEBAQEICwkJFCiCLB02OAFHOQ4GEwQTh3kBDJ1vlHSWDoZbF44MBgsBgwUPZ4EUBIkai0eQV4h1gXI5 X-IronPort-AV: E=Sophos;i="4.97,728,1389740400"; d="scan'208,217";a="64686070" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Mar 2014 17:16:49 +0100 Received: from exhubvm02.ncl.ac.uk ([128.240.234.9] helo=EXHUBVM02.campus.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1WSU1w-0004KE-Cz for caml-list@inria.fr; Tue, 25 Mar 2014 16:16:48 +0000 Received: from EXMBCT02.campus.ncl.ac.uk ([fe80::5031:551d:4014:8606]) by EXHUBVM02.campus.ncl.ac.uk ([2002:80f0:ea09::80f0:ea09]) with mapi id 14.03.0158.001; Tue, 25 Mar 2014 16:16:45 +0000 From: Iain Whiteside To: "caml-list@inria.fr" Thread-Topic: AI4FM 2014: Call for Participation Thread-Index: AQHPSEWdy2tg2Ouvs0y81wVqlfn/XQ== Date: Tue, 25 Mar 2014 16:16:44 +0000 Message-ID: <3EDD9DC8-C1A3-4681-8029-55696CD48BCB@newcastle.ac.uk> Reply-To: "ai4fm2014@ai4fm.org" Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.4.160.7] Content-Type: multipart/alternative; boundary="_000_3EDD9DC8C1A34681802955696CD48BCBnewcastleacuk_" MIME-Version: 1.0 Subject: [Caml-list] AI4FM 2014: Call for Participation --_000_3EDD9DC8C1A34681802955696CD48BCBnewcastleacuk_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ------------------------------------------------- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 ------------------------------------------------- --- Call For Participation --- Workshop information --------------- Workshop: May 13th, 2014 Registration: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html Confirmed Speakers --------------- Gerwin Klein, NICTA Rustan Leino, Microsoft Research Chin Wei Ngan, National University of Singapore Dominique M=E9ry, LORIA and Universit=E9 de Lorraine Andrius Velykis, Newcastle University Ligia Nistor and Jonathan Aldrich, CMU Cliff Jones, Newcastle University Gudmund Grov, Heriot-Watt University About the workshop --------------- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. A desirable outcome of the workshop is to identify key areas where AI can help with such issues as well as discussions about how it can be utilised. Organisers --------------- * Leo Freitas (Newcastle University, UK) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2014@ai4fm.org --_000_3EDD9DC8C1A34681802955696CD48BCBnewcastleacuk_ Content-Type: text/html; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable
-------------------------------------------------
 AI4FM 2014 - the 5th International Workshop on
   the use of AI in Formal Methods
      http://www.ai4fm.org/ai4fm-2014/

   Singapore, 13th May, 2014
   In association with FM 2014
-------------------------------------------------
    --- Call For Participation ---


Workshop information
---------------
Workshop: May 13th, 2014
Registration: http://www.comp.nus.edu.sg/~pat/FM2014/regis= tration.html

Confirmed Speakers
---------------
Gerwin Klein, NICTA
Rustan Leino, Microsoft Research
Chin Wei Ngan, National University of Singapore
Dominique M=E9ry, LORIA and Universit=E9 de Lorraine
Andrius Velykis, Newcastle University
Ligia Nistor and Jonathan Aldrich, CMU
Cliff Jones, Newcastle University
Gudmund Grov, Heriot-Watt University

About the workshop
---------------
This workshop will bring together researchers from formal methods, 
automated reasoning and AI; it will address the issue of how AI can  be used to support the formal software development process, including =
requirement analysis, modelling and proof. Previous AI4FM workshops  have included a mix of industrial and academic participants and we 
anticipate attracting a similarly diverse audience. 

Rigorous software development using formal methods allows the construction&= nbsp;
of an accurate characterisation of a problem domain that is firmly based&nb= sp;
on mathematics; by applying standard mathematical analyses, these methods&n= bsp;
can be used to prove that systems satisfy formal specifications. Research&n= bsp;
has shown that with tools backed by mature theory, formal methods are =
becoming cost effective and their use is easier to justify, not as an =
academic exercise, legal requirement or niche markets -- but as part of&nbs= p;
a business case. However, while industrial use of formal methods is  increasing, in order to make it more mainstream, the cost of applying =
formal methods, in terms of mathematical skill level and development <= br>
time, must still be reduced. A desirable outcome of the workshop is to=  
identify key areas where AI can help with such issues as we= ll as 
discussions about how it can be utilised.

Organisers
---------------
* Leo Freitas (Newcastle University, UK)
* Gudmund Grov (Heriot-Watt University, UK)
* Iain Whiteside (Newcastle University, UK)


Contact Details
----------------
If you have any queries, please email the organisers at the following =
email address:

 ai4fm2014@ai= 4fm.org
--_000_3EDD9DC8C1A34681802955696CD48BCBnewcastleacuk_--