[ecoop-info] it-fmeurope-events Digest Mon, 04 Sep 2017

it-fmeurope-events-request at lists.uu.se it-fmeurope-events-request at lists.uu.se
Mon Sep 4 18:00:31 CEST 2017

it-fmeurope-events digest Mon, 04 Sep 2017

Table of contents:

* 1 - [FME Events] FMCAD 2017 Call for Participation (Early registration ends
  Sept 2) - <georg.weissenbacher at tuwien.ac.at>
* 2 - [FME Events] RV 2017 - Last Call for Participation - Ayoub Nouri
  <ayoub.nouri at univ-grenoble-alpes.fr>


Message-ID: <sympa.1504001520.27429.626 at lists.uu.se>
From: <georg.weissenbacher at tuwien.ac.at>
Subject: [FME Events] FMCAD 2017 Call for Participation (Early registration
 ends Sept 2)


International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017


FMCAD Tutorial Day:             October 2, 2017
FMCAD Regular Program:          October 3-6, 2017

Part of the FMCAD 2017 program:
- FMCAD Student Forum
- Hardware Model Checking Competition 2017
- Symposium in memoriam of Helmut Veith

Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/)


FMCAD 2017 is the seventeenth in a series of conferences on the theory and
applications of formal methods in hardware and system verification. FMCAD
provides a leading forum to researchers in academia and industry for
presenting and discussing ground-breaking methods, technologies, theoretical
results, and tools for reasoning formally about computing systems. FMCAD
covers formal aspects of computer-aided system design including
specification, synthesis, and testing.


Early Registration Deadline: September 02, 2017
Registration Deadline: September 29, 2017

Registration details are available on


The program comprises presentations of 25 regular papers and 4 tool
papers, 3 tutorials and 2 keynotes, a student forum, the Hardware
Model Checking Competition, and a symposium in memoriam Helmut Veith.
Details are available on the web-site: http://fmcad.org/FMCAD17


- Byron Cook (Amazon, University College London)
  "Formal Verification, Model Checking, and Constraints
   for Security of the Cloud"

- Wilfried Steiner (TTTech)
  "Formal Methods in Industrial Dependable Systems Design"


- Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network)
  "How Formal Methods and Analysis Helps Security of Entire
   Blockchain-based Systems"

- Cas Cremers (Oxford University)
  "Symbolic Security Analysis using the Tamarin Prover"

- Jade Alglave (Microsoft Research, University College London)
  "Consistency Properties of Parallel/Distributed Programs in cat"


The FMCAD student forum consists of short presentations and posters
of doctoral students presenting their work-in-progress.

The Symposium in memoriam Helmut Veith features talks on
model checking, synthesis, distributed algorithms, and security,
as well as a LogicLounge on Teaching Logic in Computer Science.


- Sponsored by FMCAD, Inc.
- Technical Co-sponsor: IEEE
- In-cooperation with: ACM SIGPLAN/SIGSOFT

- Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue,
  Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys,
  TTTech, WWTF

Message-ID: <f585122e-5577-c906-b3a2-81261eb6141b at univ-grenoble-alpes.fr>
Date: Fri, 1 Sep 2017 15:25:14 +0200
From: Ayoub Nouri <ayoub.nouri at univ-grenoble-alpes.fr>
Subject: [FME Events] RV 2017 - Last Call for Participation



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/

RV-CuBES Program: http://easychair.org/smart-program/RV-CuBES2017/

Affiliated Event:

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

  Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

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


Rodrigo Fonseca, Brown University, USA:

    “The Design and Applications for a Tracing Plane for Distributed

Vlad Levin and Jakob Lichtenberg, Microsoft, USA:

    “Windows Driver Verification Platform”

Andreas Zeller, Saarland University, Germany:

    “Learning Input Languages for Runtime Verification”


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 is available using the web-based registration form,

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


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: 780 USD

            Student Registration: 580 USD

=== Program Committee ===

Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden

Cyrille Artho, KTH Royal Institute of Technology, Sweden

Howard Barringer,The University of Manchester, UK

Ezio Bartocci,Vienna University of Technology, Austria

Andreas Bauer,KUKA Systems, Germany

Saddek Bensalem,VERIMAG (University of Grenoble Alpes), France

Eric Bodden, Paderborn University / Fraunhofer IEM, Germany

Borzoo Bonakdarpour, McMaster University, Canada

Christian Colombo,University of Malta, Malta

Ylies Falcone,University of Grenoble Alpes, France

Grigory Fedyukovich,University of Washington, USA

Lu Feng,University of Virginia, USA

Patrice Godefroid,Microsoft Research, USA

Jean Goubault-Larrecq,CNRS & ENS de Cachan, France

Alex Groce,Northern Arizona University, USA

Radu Grosu,Vienna University of Technology, Austria

Sylvain Hallé,University of Québec at Chicoutimi, Canada

Marieke Huisman, University of Twente, Netherlands

Franjo Ivancic,Google, USA

Bengt Jonsson,Uppsala University, Sweden

Felix Klaedtke,NEC Europe Ltd.

Rahul Kumar,Microsoft Research, USA

Kim Larsen,Aalborg University, Denmark

Insup Lee,University of Pennsylvania, USA

Axel Legay,Inria Rennes, France

Martin Leucker,University of Lübeck, Germany

Ben Livshits,Imperial College, UK

David Lo,Singapore Management University, Singapore

Francesco Logozzo,Facebook, USA

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

Leonardo Mariani, University of Milan Bicocca, Italy

Madan Musuvathi,Microsoft Research, USA

Ayoub Nouri,University of Grenoble Alpes, France

Gordon Pace,University of Malta, Malta

Doron Peled,Bar Ilan University, Israel

Grigore Rosu,University of Illinois at Urbana-Champaign, USA

Veselin Raychev,ETH Zurich, Switzerland

Cesar Sanchez,IMDEA Software Institute, Spain

Gerardo Schneider,Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden

Rahul Sharma,Microsoft Research, India

Julien Signoles,CEA LIST, France

Scott Smolka,Stony Brook University, USA

Oleg Sokolsky,University of Pennsylvania, USA

Bernhard Steffen,University of Dortmund, Germany

Scott Stoller, Stony Brook University, USA

Volker Stolz,Western Norway University of Applied Sciences, Norway

Frits Vaandrager,Radboud University, Netherlands

Neil Walkinshaw,University of Leicester, UK

Chao Wang,University of Southern California, USA

Eugen Zalinescu,Technische Universitat München, Germany


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



--- end --



End of it-fmeurope-events Digest Mon, 04 Sep 2017

More information about the ecoop-info mailing list