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 192CF820A2 for ; Sat, 24 Aug 2013 08:18:47 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: ArMBADRPGFLBVEO1nGdsb2JhbABZgzxRwSIWDgEBAQEBCBQJPIImBQEBARopChgGAwsDAQIGAgEBRggDASMxAQQTBQ+HbQQItliPNYVaA4h5kCKTUoIp X-IPAS-Result: ArMBADRPGFLBVEO1nGdsb2JhbABZgzxRwSIWDgEBAQEBCBQJPIImBQEBARopChgGAwsDAQIGAgEBRggDASMxAQQTBQ+HbQQItliPNYVaA4h5kCKTUoIp X-IronPort-AV: E=Sophos;i="4.89,946,1367964000"; d="scan'208";a="30227660" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Aug 2013 08:18:46 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id E377D6FF08; Sat, 24 Aug 2013 08:18:37 +0200 (CEST) X-Env-Sender: s.schneider@surrey.ac.uk X-Msg-Ref: server-8.tower-78.messagelabs.com!1377264822!33323749!1 X-Originating-IP: [131.227.200.39] X-StarScan-Received: X-StarScan-Version: 6.9.11; banners=-,-,- X-VirusChecked: Checked To: Date: Fri, 23 Aug 2013 14:33:36 +0100 Thread-Topic: AVOCS 2013 Call for Participation, September 11-13, University of Surrey Thread-Index: Ac6gBWF7oOPyZt1MQqWS7ZHnJ3IUVA== Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.2.4.120824 acceptlanguage: en-US, en-GB MIME-Version: 1.0 X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [195.245.230.166 listed in list.dnswl.org] * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 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: Sat, 24 Aug 2013 08:04:23 +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: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.97.8 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] AVOCS 2013 Call for Participation, September 11-13, University of Surrey 13th Automated Verification of Critical Systems (AVOCS) Workshop 11-13th September, 2013 University of Surrey, UK http://www.avocs2013.org.uk Registration via the conference website: Regular =A3220, PhD =A3170 INVITED SPEAKERS - Marcio Roveri, Senior Researcher Fondazione Bruno Kessler, Italy. His talk will be on software model checking with explicit scheduler and symbolic threads. The talk will refer to the software model checker Kratos and its use in the railway domain. - Alessio Lomuscio, Professor in logic for multi-agent systems in the Department of Computing, Imperial College London. His talk will be on verification of multi-agent systems via model checking. - Sofia Guerra, Adelard. Partner in Adelard and responsible for Adelard=B9s Quality Assurance System. Her industrial talk will be on software assessment of smart sensors. PRESENTATIONS We have 14 regular papers and 2 short papers. Details of the programme are on the website. OBJECTIVES OF WORKSHOP The aim of Automated Verification of Critical Systems (AVoCS) 2013 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). The workshop will be relatively informal, with an emphasis on discussion. PROGRAMME COMMITTEE Phil Brooke (University of Teeside, UK) Radu Calinescu (University of York, UK) Alessandro Fantechi (University of Florence, Italy) Michael Goldsmith (University of Oxford, UK) Gudmund Grov (Heriot-Watt, Edinburgh, UK) Anne Haxthausen (TU, Denmark) Constance Heitmeyer (Naval Research Laboratory, US) Thai Son Hoang (ETH, Zurich) Cliff Jones (Newcastle University, UK) Temesghen Kahsai (NASA Ames Research Center, USA) Gerald L=FCttgen (University of Bamberg, Germany) Stephan Merz (INRIA Nancy & LORIA, France) Alice Miller (University of Glasgow, UK) Hoang Nga Nguyen (University of Swansea, UK) Jaco van de Pol (University of Twente, The Netherlands) Kristin Yvonne Rozier, (NASA Ames Research Center, USA) Markus Roggenbach (Swansea University, UK) Marco Roveri (Fondazione Bruno Kessler, Italy) Thomas Santen (Microsoft Research Aachen, Germany) Steve Schneider (University of Surrey, UK, Co-Chair) Helen Treharne (University of Surrey, UK, Co-Chair) Laurent Voisin (Systerel, France) Lijun Zhang (TU, Denmark) STEERING COMMITTEE Michael Goldsmith (University of Oxford, UK) Stephan Merz (INRIA Nancy & LORIA, F) Markus Roggenbach (Swansea University, UK) ORGANIZATION COMMITTEE Helen Treharne Steve Schneider ---- Professor Steve Schneider Department of Computing University of Surrey Guildford, Surrey, GU2 7XH +44 1483 689637=20 _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events