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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B39FF7EE5B for ; Sun, 25 May 2014 11:06:23 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwHAFyxgVPBVEO1/2dsb2JhbABZgkJFHzNYqWwBAQEBAQeDPItSgUIBhmhRIGQWdIInBQEBARoQGQoeDgMBAgUBAgEBNQEBCQYIAwEXDDEBBBMFiEEJuhCdQRcEhVGFboEVgXQXCAGCIQ9EgTkEmzCRaoM4bIEDBxci X-IPAS-Result: AkwHAFyxgVPBVEO1/2dsb2JhbABZgkJFHzNYqWwBAQEBAQeDPItSgUIBhmhRIGQWdIInBQEBARoQGQoeDgMBAgUBAgEBNQEBCQYIAwEXDDEBBBMFiEEJuhCdQRcEhVGFboEVgXQXCAGCIQ9EgTkEmzCRaoM4bIEDBxci X-IronPort-AV: E=Sophos;i="4.98,905,1392159600"; d="scan'208,217";a="63844488" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 May 2014 11:06:22 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 31BB06FF49; Sun, 25 May 2014 11:05:37 +0200 (CEST) X-Env-Sender: h.treharne@surrey.ac.uk X-Msg-Ref: server-3.tower-78.messagelabs.com!1400929768!26381654!1 X-Originating-IP: [131.227.200.39] X-StarScan-Received: X-StarScan-Version: 6.11.3; banners=-,-,- X-VirusChecked: Checked To: Thread-Topic: AVOCS 2013 SCP Special Issue - Final Call for Papers Thread-Index: Ac93QJMJVU9e3vu4RMexOjMOZYG1cg== Date: Sat, 24 May 2014 11:09:26 +0000 Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [86.128.6.254] x-forefront-prvs: 02213C82F8 x-forefront-antispam-report: SFV:NSPM; SFS:(428001)(189002)(199002)(2656002)(46102001)(86362001)(21056001)(15975445006)(81542001)(99396002)(16236675002)(76482001)(33646001)(79102001)(92566001)(31966008)(4396001)(74502001)(74662001)(74482001)(80022001)(101416001)(87936001)(19625215002)(54356999)(74316001)(15202345003)(77096999)(50986999)(16601075003)(83072002)(85852003)(66066001)(83322001)(19580395003)(77982001)(76576001)(20776003)(64706001)(19300405004)(19273905006)(225293001)(24736002)(19607625008); DIR:OUT; SFP:; SCL:1; SRVR:AMSPR06MB519; H:AMSPR06MB517.eurprd06.prod.outlook.com; FPR:; MLV:sfv; PTR:InfoNoRecords; MX:1; A:1; LANG:en; MIME-Version: 1.0 X-OrganizationHeadersPreserved: AMSPR06MB519.eurprd06.prod.outlook.com X-CrossPremisesHeadersFiltered: EXHY012v.surrey.ac.uk X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [195.245.230.169 listed in list.dnswl.org] * -0.0 SPF_PASS SPF: sender matches SPF record * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message * 0.0 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Sun, 25 May 2014 10:57:26 +0200 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============4899414453101484897==" Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.98.1 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] AVOCS 2013 SCP Special Issue - Final Call for Papers --===============4899414453101484897== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_d401b7c485e241acb5f873b676f9f830AMSPR06MB517eurprd06pro_" --_000_d401b7c485e241acb5f873b676f9f830AMSPR06MB517eurprd06pro_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Call For Papers - Reminder Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Steve Schneider, Helen Treharne Submission deadline: 7 June 2014 Notification: 30 September 2014 This special issue is devoted to the scope of the international workshop on= Automated Verification of Critical Systems (AVoCS 2013 - see http://www.av= ocs2013.org.uk) which the University of Surrey, UK, hosted in September 201= 3. AVoCS is devoted to tools and techniques for the verification of critica= l systems. These topics are to be interpreted broadly and inclusively. Typical, but not exclusive topics of interest are: * Model Checking * Automatic and Interactive Theorem Proving * SAT, SMT or Constraint Solving for Verification * Abstract Interpretation * Specification and Refinement * Requirements Capture and Analysis * Verification of Software and Hardware * Specification and Verification of Fault Tolerance and Resilience * Probabilistic and Real-Time Systems * Dependable Systems * Verified System Development * Industrial Applications Submission to this special issue is completely open. We expect original art= icles (typically 20-30 pages) that present high-quality contributions that = have not been previously published in an archival venue and that must not b= e simultaneously submitted for publication elsewhere. Submissions must comply with SCP's author guidelines (see http://www.elsevi= er.com/wps/find/journaldescription.cws_home/505623/authorinstructions) and = be written in English. Submission is via the SCP website: http://ees.elsevier.com/scico/default.as= p. This is a login page; you will need to register first if you do not have= an account already. When submitting your paper please choose the article t= ype "SI:AVOCS'13" (towards the bottom of the list). - - - - - - Dr Helen Treharne Senior Lecturer Department of Computing University of Surrey GU2 7XH Phone: +44 1483 683161 --_000_d401b7c485e241acb5f873b676f9f830AMSPR06MB517eurprd06pro_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Call For Papers - Reminder=

 

Science of Computer Programming

 

Special Issue on Automated Verification of C= ritical Systems

Guest editors:  Steve Schneider, Helen = Treharne

 

Submission deadline: 7 June 2014<= /span>

Notification: 30 September 2014

 

This special issue is devoted to the scope o= f the international workshop on Automated Verification of Critical Systems = (AVoCS 2013 - see http://www.avocs2013.org.uk) which the University of Sur= rey, UK, hosted in September 2013. AVoCS is devoted to tools and techniques for the verification of critical systems. These topics are = to be interpreted broadly and inclusively.

 

Typical, but not exclusive topics of interes= t are:

 

·        Model Checking

·        Automatic and Interactive Theorem Proving

·        SAT, SMT or Constraint Solving for Verification

·        Abstract Interpretation

·        Specification and Refinement

·        Requirements Capture and Analysis

·        Verification of Software and Hardware

·        Specification and Verification of Fault Tolerance = and Resilience

·        Probabilistic and Real-Time Systems

·        Dependable Systems

·        Verified System Development

·        Industrial Applications

 

 

Submission to this special issue is complete= ly open. We expect original articles (typically 20-30 pages) that present h= igh-quality contributions that have not been previously published in an archival venue and that must not be simult= aneously submitted for publication elsewhere.

 

Submissions must comply with SCP's author gu= idelines (see http://www.elsevier.com/wps/find/journaldesc= ription.cws_home/505623/authorinstructions) and be written in En= glish.

 

Submission is via the SCP website: http://ees.elsevier.com/scico/default.asp. This is a l= ogin page; you will need to register first if you do not have an account already. When submitting your paper please choose the arti= cle type "SI:AVOCS’13” (towards the bottom of= the list).

 

 

- - - - -= -

Dr Helen = Treharne

Senior Le= cturer

Departmen= t of Computing

Universit= y of Surrey

GU2 7XH

Phone: &#= 43;44 1483 683161

 

--_000_d401b7c485e241acb5f873b676f9f830AMSPR06MB517eurprd06pro_-- --===============4899414453101484897== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events --===============4899414453101484897==--