<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style=""></div>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">****************************************************************</span></p>
<p style="margin:0in;text-indent:.5in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">CALL FOR (VIRTUAL) PARTICIPATION</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in;text-indent:.5in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">The 26th International Conference on </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> Formal Methods for Industrial Critical Systems</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> (FMICS 2021)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">
</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">August
24-26</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><a href="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" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="Original URL: https://qonfest2021.lacl.fr/fmics21.php. Click or tap if you trust this link." data-linkindex="0"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">https://qonfest2021.lacl.fr/fmics21.php</span></a></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> Joint event with CONCUR, FORMATS and QEST.</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in;text-indent:.5in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">** Free Registration **</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">****************************************************************</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">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. </span></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Keynote</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">- Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">- Title:</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Haunting
Tales of Applied Formal Methods from Academia and Industry.</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">- 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.</span></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Accepted papers</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Davide Basile, Alessandro Fantechi and Irene Rosadi</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink and Giorgio Oronzo Spagnolo</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Spatial Model Checking for Smart Stations: Research Challenges</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Jens Bendisposto, David Geleßus, Michael Leuschel and Fabian Vu</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">ProB2-UI: A Java-based User Interface for ProB</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Roberto Bruttomesso</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol and - Jim Woodcock</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Hamid Jahanian</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Parametric Faults in Safety Critical Programs</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Andrej Kiviriga, Ulrik Nyman and Kim Guldstrand Larsen</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Daniel Larraz, Mickaël Laurent and Cesare Tinelli</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Merit and Blame Assignment with Kind 2</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré and Hiroaki Inoue</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Automated Verification of Temporal Properties of Ladder Programs</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Ismail Mendil, Yamine Ait Ameur, Neeraj Kumar Singh, Dominique Méry and Philippe Palanque</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Standard Conformance-by-Construction with Event-B</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Baptiste Pollien, Xavier Thirioux, Christophe Garion, Gautier Hattenberger and Pierre Roux</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Verifying the Mathematical Library of an UAV Autopilot with Frama-C</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty and Zhen Zhang</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Robert Rubbens, Sophie Lathouwers and Marieke Huisman</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Modular Transformation of Java Exceptions Modulo Errors</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Joshua Schmidt and Michael Leuschel</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Improving SMT Solver Integrations for the Validation of B and Event-B Models</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli and Georgios Fainekos</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Bernd Westphal</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">On education and training in formal methods for industrial critical systems</span></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Registration</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">There is no registration fee charged to participants. All interested individuals are welcome to attend; however,
all attendees must register here:</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><a href="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" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="Original URL: https://qonfest2021.lacl.fr/registration.php. Click or tap if you trust this link." data-linkindex="1"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">https://qonfest2021.lacl.fr/registration.php</span></a></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">PC Chairs</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Alberto Lluch Lafuente (Technical University of Denmark, DK)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Anastasia Mavridou (KBR / NASA Ames Research Center, US)</span></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">PC Members</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Erika Abraham (RWTH Aachen University, DE)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Massimo Bartoletti (University of Cagliari, IT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Maurice ter Beek (ISTI-CNR, IT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Simon Bliudze (INRIA, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Yu-Fang Chen (Academia Sinica,</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">TW</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Silvia Crafa (University of Padova, IT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Hubert Garavel (INRIA, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Diego Garbervetsky (University of Buenos Aires/CONICET, AR) </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Ákos Hajdu (Budapest University of Technology and Economics, HU)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Klaus Havelund (NASA JPL, US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Anne Haxthausen (Technical University of Denmark, DK)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Fritz Henglein (University of Copenhagen/ Deon Digital , DK)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Fuyuki Ishikawa (National Institute of Informatics, JP)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Xiaoqing Jin (Apple Inc., US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Joe Kiniry (Galois Inc. and Free & Fair, US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Thierry Lecomte (ClearSy, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Diego Marmsoler (University of Exeter, UK)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Radu Mateescu (INRIA, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Dejan Nickovic (Austrian Institute of Technology, AT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Corina Pasareanu (CMU/ NASA Ames Research Center, US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Anna Philippou (University of Cyprus, CY)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Jaco van de Pol (Aarhus University, DK)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Clara Schneidewind (Vienna University of Technology, AT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Cristina Seceleanu (Mälardalen University, SE)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Carolyn Talcott (SRI International, US)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Virginie Wiels (ONERA / DTIM, FR)</span></p>
<p style="margin-right:0in;margin-bottom:12.0pt;margin-left:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"> </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Steering Committee</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">-------------------------</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Maurice ter Beek (ISTI-CNR, IT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Alessandro Fantechi (University of Florence, IT)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Hubert Garavel (INRIA, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) </span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Radu Mateescu (INRIA, FR)</span></p>
<p style="margin:0in"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);">Jaco van de Pol (Aarhus University, DK)</span></p>
<div>
<div id="Signature">
<div>
<div style="">
<div style="margin: 0px 0in;"><br>
</div>
<span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; line-height: normal; color: rgb(0, 0, 0);"></span></div>
</div>
</div>
</div>
</body>
</html>