[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>
Date:
From: <georg.weissenbacher at tuwien.ac.at>
Subject: [FME Events] FMCAD 2017 Call for Participation (Early registration
ends Sept 2)
FMCAD 2017: CALL FOR PARTICIPATION
International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017
http://www.fmcad.org/FMCAD17
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/)
CONFERENCE SCOPE
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
verification,
specification, synthesis, and testing.
REGISTRATION
Early Registration Deadline: September 02, 2017
Registration Deadline: September 29, 2017
Registration details are available on
http://fmcad.org/FMCAD17/registration
TECHNICAL PROGRAM
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
KEYNOTES
- 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"
TUTORIALS
- 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"
STUDENT FORUM AND HELMUT VEITH SYMPOSIUM
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.
SPONSORS
- 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
LAST 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/
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.
=== 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.
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
=== 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 Mon, 04 Sep 2017
More information about the ecoop-info
mailing list