From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9287 Path: news.gmane.org!.POSTED!not-for-mail From: Ayoub Nouri Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.comp.lang.haskell.general,gmane.comp.lang.lambda-prolog Subject: RV 2017 - 2nd Call for Participation Date: Tue, 8 Aug 2017 17:23:33 +0200 Message-ID: <3d62bf1f-0989-f643-1729-fc97b9c662ee@univ-grenoble-alpes.fr> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============0588766764041334234==" X-Trace: blaine.gmane.org 1502213232 14487 195.159.176.226 (8 Aug 2017 17:27:12 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 8 Aug 2017 17:27:12 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 To: aco-list-7dzC2OYva9x5owakhnrrOQ@public.gmane.org, hipeac-publicity-6FfcMAW6/+GsTnJN9+BGXg@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, announce-jNDFPZUTrfTs/wu/ztDUQnmj43O/BPlP@public.gmane.org, bull-i3-KCLWzrSfvcA@public.gmane.org, announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, cse-cfp-Fyj1ndWKI00sA/PxXw9srA@public.gmane.org, curry-jNDFPZUTrfSXniK3Ndhi0w6eETEdhBfRs0AfqQuZ5sE@public.gmane.org, dfsci-kbNT0qdlGY/YcbmPjxwkIw@public.gmane.org, easst-members-wE+tr93vHrbQzY9nttDBhA@public.gmane.org, easst-members-0Lw5bexNw1wqIlM9+NIdVS5tBLDd1YuL@public.gmane.org, ec-digest-l-/w26Bj3dx6bQjUSlxSEPGw@public.gmane.org, ecoop-info-khN00PUlwG3YtjvyW6yDsg@public.gmane.org, embedded_news-LzjI1I19FwmELgA04lAiVw@public.gmane.org, emo-list-JoWug7O7JtJeoWH0uzbU5w@public.gmane.org, emsoft-authors-dahvxzPDL2RPSEYXltEZZrDks+cytr/Z@public.gmane.org, events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, evolutionary-computing-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, fmindia-JAs4fLK2nhr/PtFMR13I2A@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, gdr.gpl-wMUr/XMoy4A@public.gmane.org, haskell-HC+Z4NTRIlBAfugRpC6u6w@public.gmane.org, hellas-PUEESwEgIC7gpn9g0Uvcdg@public.gmane.org, hpc-l-6CFqe/ZG/KCO52ekkHWlcQ@public.gmane.org, info-ic-MZpvjPyXg2s@public.gmane.org, kuvs-l-JX7+OpRa80SHHA0pyY7fhKKyXA2ic5XChC4ANOJQIlc@public.gmane.org, lics-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org, jet-MZpvjPyXg2s@public.gmane.org, lpro Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Tue Aug 08 19:27:04 2017 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1df8HV-0003Fq-NM for gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org; Tue, 08 Aug 2017 19:27:02 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from RHIZOME.seas.upenn.edu (unknown [158.130.69.24]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTP id cb4ecc9c-7c5e-11e7-9d96-b499baa2b07a; Tue, 08 Aug 2017 17:27:05 +0000 (UTC) Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v78HLnB6002325; Tue, 8 Aug 2017 13:21:54 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v78FNl9G029023 for ; Tue, 8 Aug 2017 11:23:47 -0400 Original-Received: from zm-mta-out-1.u-ga.fr (zm-mta-out-1.u-ga.fr [152.77.200.56]) by psychopathy.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id v78FNe1p022664 for ; Tue, 8 Aug 2017 11:23:46 -0400 Original-Received: from zm-mta-out.u-ga.fr (zm-mta-out.u-ga.fr [152.77.200.58]) by zm-mta-out-1.u-ga.fr (Postfix) with ESMTP id AEA84A0351; Tue, 8 Aug 2017 17:23:33 +0200 (CEST) Original-Received: from smtps.univ-grenoble-alpes.fr (mailhost.u-ga.fr [152.77.1.30]) by zm-mta-out.u-ga.fr (Postfix) with ESMTP id 8B4A6E0095; Tue, 8 Aug 2017 17:23:33 +0200 (CEST) Original-Received: from [129.88.43.100] (fournache.imag.fr [129.88.43.100]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: nouria-qbcZu8HgmqaWC1GZLas19uHGaUG8sDQT@public.gmane.org) by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTPSA id 78BAC125EB9; Tue, 8 Aug 2017 17:23:33 +0200 (CEST) X-Greylist: Whitelist-UJF SMTP Authentifie (nouria-qbcZu8HgmqaWC1GZLas19uHGaUG8sDQT@public.gmane.org) via submission-587 ACL (111) X-Proofpoint-Virus-Version: vendor=nai engine=5600 definitions=5800 signatures=585085 X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 suspectscore=2 phishscore=0 adultscore=0 bulkscore=100 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1410280000 definitions=main-1708080250 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Tue, 08 Aug 2017 13:16:43 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:7041 gmane.science.mathematics.categories:9287 gmane.comp.lang.haskell.general:21423 gmane.comp.lang.lambda-prolog:3393 Archived-At: This is a multi-part message in MIME format. --===============0588766764041334234== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============0588766764041334234== Content-Type: multipart/alternative; boundary="------------F66FD23C3635CD6CBA9AFDCD" This is a multi-part message in MIME format. --------------F66FD23C3635CD6CBA9AFDCD Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit CALL FOR PARTICIPATION RV’17 - RUNTIME VERIFICATION 2017 The 17th International Conference on Runtime Verification September 13-16 2017, Seattle, WA, USA Website: http://rv2017.cs.manchester.ac.uk Program: http://easychair.org/smart-program/RV2017/ Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools === Early Registration and Accommodation Deadline === *** August 13 *** === OVERVIEW === Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: specification languages monitor construction techniques program instrumentation logging, recording, and replay combination of static and dynamic analysis specification mining and machine learning over runtime traces monitoring techniques for concurrent and distributed systems runtime checking of privacy and security policies statistical model checking metrics and statistical information gathering program/system execution visualization fault localization, containment, recovery and repair integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. === INVITED TALKS === Rodrigo Fonseca, Brown University, USA: “The Design and Applications for a Tracing Plane for Distributed Systems” Vlad Levin and Jakob Lichtenberg, Microsoft, USA: “Windows Driver Verification Platform” Andreas Zeller, Saarland University, Germany: “Learning Input Languages for Runtime Verification” === TUTORIALS === Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: “P : Modular and Safe Asynchronous Programming” Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: “Machine-learning State Properties” Adrian Francalanza, University of Malta, Malta: “Foundations For Runtime Monitoring” === VENUE === The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle’s public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass. === REGISTRATION === Registration is available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017. Different possibilities of registration are available: Tutorial Day Only (13th September): 210 USD Conference including tutorial day and RV-CuBES (13-16th September) Full Registration Early: 680 USD, Late (after 13 August): 780 USD Student Registration Early: 480 USD, Late (after 13 August): 580 USD === CHAIRS AND ORGANIZERS === General Chair Klaus Havelund, NASA Jet Propulsion Laboratory, USA Program Chairs Shuvendu Lahiri, Microsoft Research, USA Giles Reger, University of Manchester, UK Finance Chair Oleg Sokolsky, University of Pennsylvania, USA Publicity Chair Ayoub Nouri, University of Grenoble Alpes, France Local Organisation Chairs Grigory Fedyukovich, University of Washington, USA Rahul Kumar, Microsoft Research, USA RV-CuBES, PC chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA === SPONSORS === Microsoft Springer --- end -- --------------F66FD23C3635CD6CBA9AFDCD Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit

CALL FOR PARTICIPATION


RV’17 - RUNTIME VERIFICATION 2017


The 17th International Conference on Runtime Verification

September 13-16 2017, Seattle, WA, USA


Website: http://rv2017.cs.manchester.ac.uk


Program: http://easychair.org/smart-program/RV2017/


Affiliated Event:


 RV-CuBES - An International Workshop on Competitions, Usability,

 Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools



=== Early Registration and Accommodation Deadline ===



*** August 13 ***



=== OVERVIEW ===



Runtime verification is concerned with the monitoring and analysis of

the runtime behaviour of software and hardware systems. Runtime

verification techniques are crucial for system correctness, reliability,

and robustness; they provide an additional level of rigor and

effectiveness compared to conventional testing, and are generally more

practical than exhaustive formal verification. Runtime verification can

be used prior to deployment, for testing, verification, and debugging

purposes, and after deployment for ensuring reliability, safety, and

security and for providing fault containment and recovery as well as

online system repair. Topics of interest to the conference include:



   specification languages

   monitor construction techniques

   program instrumentation

   logging, recording, and replay

   combination of static and dynamic analysis

   specification mining and machine learning over runtime traces

   monitoring techniques for concurrent and distributed systems

   runtime checking of privacy and security policies

   statistical model checking

   metrics and statistical information gathering

   program/system execution visualization

   fault localization, containment, recovery and repair

   integrated vehicle health management (IVHM)


Application areas of runtime verification include cyber-physical

systems, safety/mission-critical systems, enterprise and systems

software, autonomous and reactive control systems, health management and

diagnosis systems, and system security and privacy.



=== INVITED TALKS ===



Rodrigo Fonseca, Brown University, USA:


   “The Design and Applications for a Tracing Plane for Distributed Systems”


Vlad Levin and Jakob Lichtenberg, Microsoft, USA:


   “Windows Driver Verification Platform”


Andreas Zeller, Saarland University, Germany:


   “Learning Input Languages for Runtime Verification”



=== TUTORIALS ===



Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:


   “P : Modular and Safe Asynchronous Programming”


Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:


   “Machine-learning State Properties”


Adrian Francalanza, University of Malta, Malta:


   “Foundations For Runtime Monitoring”



=== VENUE ===



The 17th International Conference on Runtime Verification will be held

in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is

within walking distance of the famous Pike Place Market, Seattle Art

Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The

weather in September still permits many open-air opportunities to shop,

eat, and even sail in the Elliott Bay. Exceptionally well organized,

Seattle’s public transport connects the conference venue with the

Seattle Center, which is the home of popular attractions like the Space

Needle, EMP Museum, and Chihuly Garden and Glass.



=== REGISTRATION ===



Registration is available using the web-based registration form,

with online payment on a secure website. Please use one form per

attendee. Early registration means on or before August 13, 2017. Late

registration means after August 13, 2017.


Different possibilities of registration are available:


    Tutorial Day Only (13th September): 210 USD


    Conference including tutorial day and RV-CuBES (13-16th September)

           Full Registration

               Early: 680 USD,

               Late (after 13 August): 780 USD

           Student Registration

               Early: 480 USD,

               Late (after 13 August): 580 USD



=== CHAIRS AND ORGANIZERS ===



General Chair


   Klaus Havelund, NASA Jet Propulsion Laboratory, USA


Program Chairs


   Shuvendu Lahiri, Microsoft Research, USA

   Giles Reger, University of Manchester, UK


Finance Chair


   Oleg Sokolsky, University of Pennsylvania, USA


Publicity Chair


   Ayoub Nouri, University of Grenoble Alpes, France


Local Organisation Chairs


   Grigory Fedyukovich, University of Washington, USA

   Rahul Kumar, Microsoft Research, USA


RV-CuBES, PC chairs


   Giles Reger, University of Manchester, UK

   Klaus Havelund, NASA Jet Propulsion Laboratory, USA



=== SPONSORS ===



 Microsoft

 Springer


--- end --

--------------F66FD23C3635CD6CBA9AFDCD-- --===============0588766764041334234==--