****************************************************************
CALL FOR (VIRTUAL) PARTICIPATION
The 26th International Conference on
Formal Methods for Industrial Critical Systems
(FMICS 2021)
August 24-26
https://qonfest2021.lacl.fr/fmics21.php<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fqonfest2021.lacl.fr%2Ffmics21.php&data=04%7C01%7Civan.perezdominguez%40nasa.gov%7C62da6f23da2243b487d108d956b3e101%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637636152829190210%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=U3qeL8tjYODmEvF%2F9i54Thv3AnGPVnF4TQ0gvjFgfVs%3D&reserved=0>
Joint event with CONCUR, FORMATS and QEST.
** Free Registration **
****************************************************************
FMICS is the ERCIM Working Group conference on Formal Methods for Industrial
Critical Systems, and it is the key conference in the intersection of
industrial applications and Formal Methods. The aim of the FMICS conference
series is to provide a forum for researchers who are interested in the
development and application of formal methods in industry. FMICS brings
together scientists and engineers who are active in the area of formal methods
and interested in exchanging their experiences in the industrial usage of these
methods. The FMICS conference series also strives to promote research and
development for the improvement of formal methods and tools for industrial
applications.
Keynote
-------------------------
- Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US)
- Title: Haunting Tales of Applied Formal Methods from Academia and Industry.
- Abstract: You learn a lot after being a formal methods researcher and
practitioner for 25 years. Half of that time was spent in academia, creating
formal processes, methodologies, and tools that I hoped I could secretly impact
engineers. Half of that time has been spent in industry, working at companies
to transition concepts, tools, and technologies in rigorous digital engineering
(RDE) with applied formal methods. These days I work at two companies, Galois
and Free & Fair, leading R&D in RDE that focus on problems in national security
and nationally critical infrastructure. I also work with many of our other
Galois spin-outs, such as Muse (now Sonotype Lift) and Niobium Microsystems on
these same topics. In this talk I’ll tell a small number of stories about these
many years in the field, each of which has, I hope, an actionable nugget of
wisdom for the audience at FMICS.
Accepted papers
-------------------------
Davide Basile, Alessandro Fantechi and Irene Rosadi
Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink and Giorgio
Oronzo Spagnolo
Spatial Model Checking for Smart Stations: Research Challenges
Jens Bendisposto, David Geleßus, Michael Leuschel and Fabian Vu
ProB2-UI: A Java-based User Interface for ProB
Roberto Bruttomesso
Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van
de Pol and - Jim Woodcock
Verification of Co-Simulation Algorithms Subject to Algebraic Loops and
Adaptive Steps
Hamid Jahanian
Parametric Faults in Safety Critical Programs
Andrej Kiviriga, Ulrik Nyman and Kim Guldstrand Larsen
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed
Systems
Daniel Larraz, Mickaël Laurent and Cesare Tinelli
Merit and Blame Assignment with Kind 2
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David
Mentré and Hiroaki Inoue
Automated Verification of Temporal Properties of Ladder Programs
Ismail Mendil, Yamine Ait Ameur, Neeraj Kumar Singh, Dominique Méry and
Philippe Palanque
Standard Conformance-by-Construction with Event-B
Baptiste Pollien, Xavier Thirioux, Christophe Garion, Gautier Hattenberger and
Pierre Roux
Verifying the Mathematical Library of an UAV Autopilot with Frama-C
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy,
Koushik Chakraborty and Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip
System
Robert Rubbens, Sophie Lathouwers and Marieke Huisman
Modular Transformation of Java Exceptions Modulo Errors
Joshua Schmidt and Michael Leuschel
Improving SMT Solver Integrations for the Validation of B and Event-B Models
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli and
Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for
Cyber-Physical Systems
Bernd Westphal
On education and training in formal methods for industrial critical systems
Registration
-------------------------
There is no registration fee charged to participants. All interested
individuals are welcome to attend; however, all attendees must register here:
https://qonfest2021.lacl.fr/registration.php<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fqonfest2021.lacl.fr%2Fregistration.php&data=04%7C01%7Civan.perezdominguez%40nasa.gov%7C62da6f23da2243b487d108d956b3e101%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637636152829200166%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=TdQx%2BHm3%2FxV0%2FcVj0A5XstHRvqNlYVcbzMxdSVMkhtI%3D&reserved=0>
PC Chairs
-------------------------
Alberto Lluch Lafuente (Technical University of Denmark, DK)
Anastasia Mavridou (KBR / NASA Ames Research Center, US)
PC Members
-------------------------
Erika Abraham (RWTH Aachen University, DE)
Massimo Bartoletti (University of Cagliari, IT)
Maurice ter Beek (ISTI-CNR, IT)
Simon Bliudze (INRIA, FR)
Yu-Fang Chen (Academia Sinica, TW)
Silvia Crafa (University of Padova, IT)
Hubert Garavel (INRIA, FR)
Diego Garbervetsky (University of Buenos Aires/CONICET, AR)
Ákos Hajdu (Budapest University of Technology and Economics, HU)
Klaus Havelund (NASA JPL, US)
Anne Haxthausen (Technical University of Denmark, DK)
Fritz Henglein (University of Copenhagen/ Deon Digital , DK)
Fuyuki Ishikawa (National Institute of Informatics, JP)
Xiaoqing Jin (Apple Inc., US)
Joe Kiniry (Galois Inc. and Free & Fair, US)
Thierry Lecomte (ClearSy, FR)
Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE)
Diego Marmsoler (University of Exeter, UK)
Radu Mateescu (INRIA, FR)
Dejan Nickovic (Austrian Institute of Technology, AT)
Corina Pasareanu (CMU/ NASA Ames Research Center, US)
Anna Philippou (University of Cyprus, CY)
Jaco van de Pol (Aarhus University, DK)
Clara Schneidewind (Vienna University of Technology, AT)
Cristina Seceleanu (Mälardalen University, SE)
Carolyn Talcott (SRI International, US)
Virginie Wiels (ONERA / DTIM, FR)
Steering Committee
-------------------------
Maurice ter Beek (ISTI-CNR, IT)
Alessandro Fantechi (University of Florence, IT)
Hubert Garavel (INRIA, FR)
Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE)
Radu Mateescu (INRIA, FR)
Jaco van de Pol (Aarhus University, DK)
---
To opt-out from this mailing list, send an email to
fm-announcements-requ...@lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting
fm-announcements-ow...@lists.nasa.gov
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
