From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9E78B7ED26; Sun, 3 Jun 2012 15:57:09 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CACBsy0+A8OoMmWdsb2JhbABEDqskAYhvIgEBAQEBCAsLBxQnghkBBR1LCRgCAU4yJQIEJwIGh28BCqxAiQSLERSFHGADiA2OHZEOOYFW X-IronPort-AV: E=Sophos;i="4.75,707,1330902000"; d="scan'208,217";a="146324371" Received: from cheviot12.ncl.ac.uk ([128.240.234.12]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Jun 2012 15:57:08 +0200 Received: from exhubvm01.ncl.ac.uk ([128.240.234.5] helo=EXHUBVM01.campus.ncl.ac.uk) by cheviot12.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1SbBI7-000898-AC; Sun, 03 Jun 2012 14:56:23 +0100 Received: from EXMBDB02.campus.ncl.ac.uk ([fe80::c039:e17:9d60:9f3]) by EXHUBVM01.campus.ncl.ac.uk ([2002:80f0:ea05::80f0:ea05]) with mapi id 14.02.0247.003; Sun, 3 Jun 2012 14:56:09 +0100 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: Event-B workshop at ICFEM 2012 Thread-Index: AQHNQZCfuhVjs17ae0CYsD+HSAxKkg== Date: Sun, 3 Jun 2012 13:56:07 +0000 Message-ID: References: <000201cd412b$504c4fb0$f0e4ef10$@nii.ac.jp> In-Reply-To: <000201cd412b$504c4fb0$f0e4ef10$@nii.ac.jp> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.4.160.6] Content-Type: multipart/alternative; boundary="_000_BDC1B29DFCE54A6C9346D630CF990844home_" MIME-Version: 1.0 X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] CfP: Event-B workshop at ICFEM 2012 --_000_BDC1B29DFCE54A6C9346D630CF990844home_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable *** Call for Papers: DS-Event-B-2012 *** Workshop on experience and advances in developing dependable systems in Event-B Nov 13 2012, Kyoto, Japan http://research.nii.ac.jp/eventb2012/ In conjunction with ICFEM 2012 --- Aims ant Scope --- Event-B is a formal method for system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based toolset called Rodin, that has been developed in a series of European projects (notably DEPLOY). Recently a wide community of users, developers, researchers and educators has been formed with a strong interest in these method and tools. The workshop aims to bring this community together to discuss new and emerging issues in application and advancing the Event-B method and the Rodin platform and to address the questions that the industrial takers are facing during their deployment. One of the aims of this workshop is to expand the community of researchers and practitioners working with Event-B/Rodin. This will be achieved in two ways: by addressing general scientific challenges and providing information valuable for the newcomers. In doing this this workshop will complement the ongoing series of informal Rodin workshops focusing on technical exchange among Rodin users and developers. The organisers are specifically interested in submissions from the industrial partners from Asia. --- Topics --- The topics of interest include, but are not limited to: * Theoretical foundations: refinement, composition, verification and proofs * Engineering methods: modeling strategy, refinement strategy, integration with other methods * Applications: practical usage, case study, use for critical systems, use for emerging computing paradigms * Education: teaching and training, positioning in SE or FM educations --- Submission Types --- All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers of the following types are solicited. * Research papers: focus on advanced and novel theories, methodologies, or mechanisms * Tool papers: focus on useful and practical tools * Experience papers: focus on evaluation and lessons learned Submissions must contain no more than 10 pages for Research papers and 6 pages for Tool/Experience papers in the LNCS format (including all the materials) - http://www.springer.de/comp/lncs/authors.html The PDF versions of papers should be submitted through the easychair system. https://www.easychair.org/conferences/?conf=3Ddseventb2012 --- Important Dates --- Submission Deadline: Aug 10, 2012 Notification: Sep 10, 2012 Workshop: Nov 13, 2012 --- Publication --- The proceedings will be published as a technical report of Newcastle University (UK). They will also be made available online in the ACM Computing Research Repository (CORR) before the workshop. --- Organisation --- Workshop Co-Chairs: Fuyuki Ishikawa (National Institute of Informatics, Japan) Alexander Romanovsky (Newcastle University, UK). Program Committee - http://research.nii.ac.jp/eventb2012/organization.html --_000_BDC1B29DFCE54A6C9346D630CF990844home_ Content-Type: text/html; charset="iso-8859-1" Content-ID: Content-Transfer-Encoding: quoted-printable
*** Call for Papers: DS-Event-B-2012 ***

Workshop on experience and advances in developing dependable systems in
Event-B
Nov 13 2012, Kyoto, Japan
http://research.nii.ac.jp= /eventb2012/
In conjunction with ICFEM 2012


--- Aims ant Scope ---
Event-B is a formal method for system level modelling and analysis of
dependable applications. It is supported by an open and extendable
Eclipse-based toolset called Rodin, that has been developed in a series of<= br> European projects (notably DEPLOY). Recently a wide community of users,
developers, researchers and educators has been formed with a strong interes= t
in these method and tools.

The workshop aims to bring this community together to discuss new and
emerging issues in application and advancing the Event-B method and the
Rodin platform and to address the questions that the industrial takers are<= br> facing during their deployment.

One of the aims of this workshop is to expand the community of researchers<= br> and practitioners working with Event-B/Rodin. This will be achieved in two<= br> ways: by addressing general scientific challenges and providing information=
valuable for the newcomers. In doing this this workshop will complement the=
ongoing series of informal Rodin workshops focusing on technical exchange among Rodin users and developers.

The organisers are specifically interested in submissions from the
industrial partners from Asia.


--- Topics ---
The topics of interest include, but are not limited to:

* Theoretical foundations: refinement, composition, verification and proofs=
* Engineering methods: modeling strategy, refinement strategy, integration<= br> with other methods
* Applications: practical usage, case study, use for critical systems, use<= br> for emerging computing paradigms
* Education: teaching and training, positioning in SE or FM educations


--- Submission Types ---
All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Papers of the following types are solicited.

* Research papers: focus on advanced and novel theories, methodologies, or<= br> mechanisms
* Tool papers: focus on useful and practical tools
* Experience papers: focus on evaluation and lessons learned

Submissions must contain no more than 10 pages for Research papers and 6
pages for Tool/Experience papers in the LNCS format (including all the
materials) - http://www.springer.de/comp/lncs/authors.html

The PDF versions of papers should be submitted through the easychair system= .
http= s://www.easychair.org/conferences/?conf=3Ddseventb2012


--- Important Dates ---
Submission Deadline: Aug 10, 2012
Notification: Sep 10, 2012
Workshop: Nov 13, 2012


--- Publication ---
The proceedings will be published as a technical report of Newcastle
University (UK). They will also be made available online in the ACM
Computing Research Repository (CORR) before the workshop.


--- Organisation ---
Workshop Co-Chairs:
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Alexander Romanovsky (Newcastle University, UK).


--_000_BDC1B29DFCE54A6C9346D630CF990844home_--