From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 33D4282095 for ; Mon, 5 Aug 2013 09:45:40 +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: AgkFAJBX/1HBVEO1/2dsb2JhbABZgkJENVC+eR2BARZ0giYFAQEBGhAZChgGAwsDAQIFAQIBAUAGCAMBFwwxAQQTBQ+HfAQItHUEjluBLYQhA4hykBiQJYMYgik X-IPAS-Result: AgkFAJBX/1HBVEO1/2dsb2JhbABZgkJENVC+eR2BARZ0giYFAQEBGhAZChgGAwsDAQIFAQIBAUAGCAMBFwwxAQQTBQ+HfAQItHUEjluBLYQhA4hykBiQJYMYgik X-IronPort-AV: E=Sophos;i="4.89,816,1367964000"; d="scan'208,217";a="28494369" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Aug 2013 09:45:38 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 893996FF17; Mon, 5 Aug 2013 09:45:12 +0200 (CEST) X-Env-Sender: h.treharne@surrey.ac.uk X-Msg-Ref: server-12.tower-72.messagelabs.com!1375443330!10942371!1 X-Originating-IP: [131.227.200.43] X-StarScan-Received: X-StarScan-Version: 6.9.11; banners=-,-,- X-VirusChecked: Checked To: Date: Fri, 2 Aug 2013 12:35:35 +0100 Thread-Topic: 11-13 Septmber AVOCS2013 Call for Participation Thread-Index: Ac6PdGQ2lPIoO8OGTxqLfUG69vH4oA== Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, en-GB MIME-Version: 1.0 X-Spam-Report: * -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at http://www.dnswl.org/, * medium trust * [193.109.254.107 listed in list.dnswl.org] * -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: Mon, 05 Aug 2013 09:37:55 +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="===============0964685787840132667==" 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] 11-13 Septmber AVOCS2013 Call for Participation --===============0964685787840132667== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_A52329D8FA766245B32F7D08F80D925701CB08CC477EEXMB01CMSsu_" --_000_A52329D8FA766245B32F7D08F80D925701CB08CC477EEXMB01CMSsu_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable AVOCS 2013 Call for Participation ********************************************************************** 13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop http://www.avocs2013.org.uk 11-13th September, 2013 University of Surrey, UK ********************************************************************** REGISTRATION The registration to AVOCS2013 can be done on the web through the Surrey onl= ine store: http://www.avocs2013.org.uk Note: Early Bird Registration deadline (including accommodation): 8th Augus= t 2013 INVITED SPEAKERS - Marcio Roveri, Senior Researcher Fondazione Bruno Kessler, Italy= . His talk will be on software model checking with explicit scheduler and s= ymbolic threads. The talk will refer to the software model checker Kratos a= nd 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 v= erification of multi-agent systems via model checking. - Sofia Guerra, Adelard. She is a Partner in Adelard and responsib= le for Adelard's Quality Assurance System. Her industrial talk will be on s= oftware assessment of smart sensors. PRESENTATIONS We have 14 regular papers and 2 short papers. Details of the accepted paper= s are on the website. OBJECTIVES OF WORKSHOP The aim of Automated Verification of Critical Systems (AVoCS) 2013 is to co= ntribute to the interaction and exchange of ideas among members of the inte= rnational research community on tools and techniques for the verification o= f critical systems. The subject is to be interpreted broadly and inclusivel= y. It covers all aspects of automated verification, including model checkin= g, theorem proving, SAT/SMT constraint solving, abstract interpretation, an= d refinement pertaining to various types of critical systems which need to = meet stringent dependability requirements (safety-critical, business-critic= al, 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 ************************************************************************* This call for participation and additional information about the conference= can be found at http://www.avocs2013.org.uk For information regarding the conference you can contact: info@avocs2013.or= g.uk ************************************************************************* - - - - - - Dr Helen Treharne Senior Lecturer Department of Computing University of Surrey GU2 7XH Phone: +44 1483 683161 --_000_A52329D8FA766245B32F7D08F80D925701CB08CC477EEXMB01CMSsu_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

AVOC= S 2013 Call for Participation

 

********************************= **************************************

13th Automated Verification of Critical Systems (= AVOCS) 2013 Workshop

 

http://www.avocs2013.org.uk

 

11-13th September, 2013

University of Surrey, UK

 

*************************= *********************************************

 

REGISTRATION
The registration to AVOCS2013 can be done on the web t= hrough the Surrey online store:

http://www.avocs2013.org.uk<= o:p>

 =

Note: Early Bird Registration deadline (i= ncluding accommodation): 8th August 2013

 

 

INVITED SPEAKERS

-          = Marcio Rove= ri, Senior Researcher Fondazione Bruno Kessler, Italy. His talk will be on = software model checking with explicit scheduler and symbolic threads. The t= alk will refer to the software model checker Kratos and its use in the rail= way domain.

-         = Alessio Lomuscio, Professor in logic for multi-agent systems in the Dep= artment of Computing, Imperial College London. His talk will be on verifica= tion of multi-agent systems via model checking.

-   =        Sofia Guerra, Adelard. She is a Par= tner in Adelard and responsible for Adelard’s Quality Assurance Syste= m. Her industrial talk will be on software assessment of smart sensors.

 

PRESENTATIONS

We have 14 regular papers and 2 short papers. Details= of the accepted papers are on the website.

 

OBJECTIVES OF WORKSHOP

The aim of Automated Verification of Critical Systems (AVoCS) 2013 is t= o contribute to the interaction and exchange of ideas among members of the = international research community on tools and techniques for the verificati= on of critical systems. The subject is to be interpreted broadly and inclus= ively. It covers all aspects of automated verification, including model che= cking, 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-cr= itical, performance-critical, etc.). The workshop will be relatively inform= al, with an emphasis on discussion.

 

=  

<= span style=3D'font-family:"Times New Roman","serif"'>PROGRAMME COMMITTEE

Phil Bro= oke (University of Teeside, UK)

Radu Calinescu (University of York, UK)

Alessandro Fant= echi (University of Florence, Italy)

Michael Goldsmith (University of Oxford, UK)=

Gudmu= nd Grov (Heriot-Watt, Edinburgh, UK)

Anne Haxthausen (TU, Denmark)

Constance Heitmeyer = (Naval Research Laboratory, US)

Thai Son Hoang (ETH, Zurich)

Cliff Jones (Newcastle Uni= versity, UK)

Temesghen Kahsai (NASA Ames Research Center, USA)<= /p>

Gerald L=FCttgen (Univer= sity 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 P= ol (University of Twente, The Netherlands)

Kristin Yvonne Rozier, (NASA Ames Rese= arch Center, USA)

Markus Roggenbach (Swansea University, UK)

Marco Roveri (Fondazione B= runo Kessler, Italy)

Thomas Santen (Microsoft Research Aachen, Germany)

Steve Schneider= (University of Surrey, UK, Co-Chair)

Helen Treharne (University of Surrey, UK, C= o-Chair)

Lijun Zhang (TU, Denmark)<= /p>

 

STEERING COMMITTEE

 

=A0=A0= =A0 Michael Goldsmith (University of Oxford, UK)

=A0=A0=A0 Stephan Merz (INRIA Nancy & LORIA, F= )

<= span style=3D'font-family:"Times New Roman","serif"'>=A0=A0=A0 Markus Rogge= nbach (Swansea University, UK)

 

ORGANIZATI= ON COMMITTEE

 =

Helen Tre= harne

Steve Schneider

&n= bsp;

************************= *************************************************
This call for particip= ation and additional information about the conference can be found at http:= //www.avocs2013.org.uk
For information regarding the conference you can = contact: info@avocs2013.org.uk
*****************************************= ********************************

 

 

- - - - - -

Dr Helen Treh= arne

Senior Lecturer

Department of Computing=

= University of Surrey

GU2 7XH

Phone: +44 1483 683161

 

<= /html>= --_000_A52329D8FA766245B32F7D08F80D925701CB08CC477EEXMB01CMSsu_-- --===============0964685787840132667== 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 --===============0964685787840132667==--