[ecoop-info] it-fmeurope-events Digest Tue, 08 Aug 2017

Tue Aug 8 19:00:25 CEST 2017

it-fmeurope-events digest Tue, 08 Aug 2017

Table of contents:

* 1 - [FME Events] SAC-SVT 2018: Call for Papers - Yliès Falcone
  <ylies.falcone at univ-grenoble-alpes.fr>
* 2 - [FME Events] RV 2017 - 2nd Call for Participation - Ayoub Nouri
  <ayoub.nouri at univ-grenoble-alpes.fr>

----------------------------------------------------------------------

Message-ID: <DB76B471-9D91-4440-BF66-8136A1090145 at univ-grenoble-alpes.fr>
Date: Fri, 4 Aug 2017 09:41:04 +0200
From: Yliès Falcone <ylies.falcone at univ-grenoble-alpes.fr>
Subject: [FME Events] SAC-SVT 2018: Call for Papers

[Please accept our apologies for duplicates]

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
Pau, France
April 9 - 13, 2018

More information:
http://sac-svt-2018.imag.fr and
https://www.sigapp.org/sac/sac2018/

Important dates

Sept 15, 2017: Submission of regular papers and SRC research abstracts
Sept 25, 2017: Submission of Tutorial Proposals
Oct 25, 2017: Notification of Tutorials Acceptance
Nov 10, 2017: Notification of paper and SRC acceptance/rejection
Nov 25, 2017: Camera-ready copies of accepted papers/SRC
Dec 10, 2017: Author registration due date

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists from
different areas of computing over the last thirty years. The forum represents
an opportunity to interact with different communities sharing an interest in
applied computing.

SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing
(SIGAPP), and will be hosted by the Université de Pau et des Pays de l'Adour
(UPPA), Bayonne, France.

Software Verification and Testing Track

The Software Verification and Testing track aims at contributing to the
challenge of improving the usability of formal methods in software
engineering. The track covers areas such as formal methods for verification
and testing, based on theorem proving, model checking, static analysis, and
run-time verification. We invite authors to submit new results in formal
verification and testing, as well as development of technologies to improve
the usability of formal methods in software engineering. Also are welcome
detailed descriptions of applications of mechanical verification to large
scale software. Possible topics include, but are not limited to:

– model checking
– theorem proving
– correct by construction development
– model-based testing
– software testing
– symbolic execution
– static and dynamic analysis
– abstract interpretation
– analysis methods for dependable systems
– software certification and proof carrying code
– fault diagnosis and debugging
– verification and validation of large scale software systems
– real world applications and case studies applying software testing and
verification
– benchmarks and data sets for software testing and verification

Submissions Guidelines

Paper submissions must be original, unpublished work. Author(s) name(s) and
address(es) must not appear in the body of the paper, and self-reference
should be avoided and made in the third person. Submitted paper will undergo a
blind review process. Authors of accepted papers should submit an editorial
revision of their papers that fits within six two-column pages (an extra two
pages, to a total of eight pages, may be available at a charge). Please comply
to this page limitation already at submission time. Accepted papers will be
published in the ACM SAC 2018 proceedings.

Paper registration is required, allowing the inclusion of papers, posters, or
SRC abstracts in the conference proceedings. An author or a proxy attending
SAC MUST present the work. This is a requirement for the presented work to be
included in the ACM/IEEE digital library. No-show of registered papers,
posters, and SRC abstracts will result in excluding them from the ACM/IEEE
digital library.

Student Research Competition

As previous editions, SAC 2018 organises a Student Research Competition (SRC)
Program to provide graduate students the opportunity to meet and exchange
ideas with researchers and practitioners in their areas of interest.
Guidelines and information about the SRC program can be found at
http://www.sigapp.org/sac/sac2018/.

Program Committee Chairs

Yliès Falcone, Université Grenoble Alpes, Inria, France
Leonardo Mariani, University of Milano Bicocca, Italy

Program Committee

See http://sac-svt-2018.imag.fr.

------------------------------
Message-ID: <3d62bf1f-0989-f643-1729-fc97b9c662ee at univ-grenoble-alpes.fr>
Date: Tue, 8 Aug 2017 17:23:33 +0200
From: Ayoub Nouri <ayoub.nouri at univ-grenoble-alpes.fr>
Subject: [FME Events] RV 2017 - 2nd Call for Participation

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
<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 --

------------------------------

*********************************************

End of it-fmeurope-events Digest Tue, 08 Aug 2017