<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Calibri Light";
panose-1:2 15 3 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=EN-US link="#0563C1" vlink=purple style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal> <span style='font-family:"Calibri Light",sans-serif;color:black'>****************************************************************</span><o:p></o:p></p><p style='margin:0in'><span style='font-family:"Calibri Light",sans-serif;color:black'> The 26th International Conference on </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> Formal Methods for Industrial Critical Systems</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> (FMICS 2021)</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> <a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fqonfest2021.lacl.fr%2Ffmics21.php&data=04%7C01%7Ccesar.a.munoz%40nasa.gov%7Cdfe39ef077a74097f0c408d8ca2c4e4b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637481638935211623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=vlCL3eCOq9jDq%2FzjN1laI40a63LyW%2FBlsFgqECYckm8%3D&reserved=0" title="https://qonfest2021.lacl.fr/fmics21.php"><span style='color:#954F72'>https://qonfest2021.lacl.fr/fmics21.php</span></a></span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>****************************************************************</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>About</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>The aim of the FMICS conference series (<a href="https://gcc02.safelinks.protection.outlook.com/?url=http%3A%2F%2Ffmics.inria.fr%2F&data=04%7C01%7Ccesar.a.munoz%40nasa.gov%7Cdfe39ef077a74097f0c408d8ca2c4e4b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637481638935221575%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=90yOz7U5tKBctor4%2FmVdFB91ZF%2B3VclVGkkkTGBZCN4%3D&reserved=0">http://fmics.inria.fr/</a>) 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><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>FMICS 2021 is part of the QONFEST umbrella conference comprising:</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- CONCUR 2021: 32nd International Conference on Concurrency Theory</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- FORMATS 2021: 19th International Conference on Formal Modeling and Analysis of Timed Systems</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- QEST 2021: 18th International Conference on Quantitative Evaluation of SysTems</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>QONFEST takes place from August 23 to August 27, 2021.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Topics</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Topics of interest include (but are not limited to):</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems.</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues).</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums.</span><o:p></o:p></p><p class=MsoNormal style='margin-bottom:12.0pt;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>New this year! Special track papers on Formal Methods for Blockchain-based Smart Contracts </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;text-align:justify;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>We invite submissions in topics related to the formal specification, analysis, and verification of blockchain-based smart contracts. For this occasion, the Program Committee has been enlarged with experts from the blockchain domain. Formatting instructions and the review procedure are the same as the ones for regular papers. However, the authors will need to specifically indicate their interest in the special track during the submission. Papers accepted for the special track will be included in a special session at FMICS 2021 along with a panel on this topic, while they will be published in the conference proceedings together with papers accepted for the regular track.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Submission and Publication</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>We welcome contributions of different categories:</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references.</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references.</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references.</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>- Journal-first papers that summarize a paper recently published in a journal and not yet presented in a conference. The main aim of this category is to allow authors present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>With the exception of the journal-first category, submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Submissions should clearly motivate relevance to industrial application. Case-Deastudy papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Submissions should be formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee members who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site:<span class=apple-converted-space> </span><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfmics2021&data=04%7C01%7Ccesar.a.munoz%40nasa.gov%7Cdfe39ef077a74097f0c408d8ca2c4e4b%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637481638935231531%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=mSz%2FIGgH5Rqb43E7Y63pHm%2BS0Cd4TEx8Mxc97CnY1mg%3D&reserved=0"><span style='color:#1155CC;background:#EFF2F6'>https://easychair.org/conferences/?conf=fmics2021</span></a></span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>The conference proceedings will be published by Springer in the LNCS series. Contributions of the journal-first category will not be included in the proceedings.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Authors should consult Springer’s authors guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>At least one author of each accepted paper is expected to present the paper at the conference as a registered participant.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Best paper award: A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Special issue: The Program Committee of FMICS 2021 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Concerning the COVID-19 Pandemic:</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Due the pandemic situation, the organization committee of QONFEST 2021 decided that all conferences will take place online.</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Important Dates</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Abstract submission: May 7, 2021</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Paper submission: May 14, 2021 (23:59:59 AoE)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Author notification: June 28, 2021</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Camera-ready version: July 5, 2021</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Conference: August 23-27, 2021</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>NOTE: the actual conference dates will be announced on the webpage. Most likely, it will be 2-3 days within the QONFEST week (August 23-27, 2021)</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Keynote Speaker</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Joe Kiniry (Galois Inc. and Free & Fair, US)</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>PC Chairs</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Alberto Lluch Lafuente (Technical University of Denmark, DK)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Anastasia Mavridou (KBR/ NASA Ames Research Center, US)</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>PC Members</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Erika Abraham (RWTH Aachen University, DE)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Massimo Bartoletti (University of Cagliari, IT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Maurice ter Beek (ISTI-CNR, IT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Simon Bliudze (INRIA, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Yu-Fang Chen (Academia Sinica,<span class=apple-converted-space> </span></span><span style='font-family:"Calibri Light",sans-serif;color:#202124;background:white'>TW</span><span style='font-family:"Calibri Light",sans-serif;color:black'>)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Silvia Crafa (University of Padova, IT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Hubert Garavel (INRIA, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Diego Garbervetsky (University of Buenos Aires/CONICET, AR) </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Ákos Hajdu (Budapest University of Technology and Economics, HU)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Klaus Havelund (NASA JPL, US)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Anne Haxthausen (Technical University of Denmark, DK)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Fritz Henglein (University of Copenhagen/ Deon Digital , DK)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Fuyuki Ishikawa (National Institute of Informatics, JP)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Xiaoqing Jin (Apple Inc., US)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Joe Kiniry (Galois Inc. and Free & Fair, US)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Thierry Lecomte (ClearSy, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Diego Marmsoler (University of Exeter, UK)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Radu Mateescu (INRIA, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Dejan Nickovic (Austrian Institute of Technology, AT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Corina Pasareanu (CMU/ NASA Ames Research Center, US)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Anna Philippou (University of Cyprus, CY)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Jaco van de Pol (Aarhus University, DK)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Clara Schneidewind (Vienna University of Technology, AT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Cristina Seceleanu (Mälardalen University, SE)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Carolyn Talcott (SRI International, US)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Virginie Wiels (ONERA / DTIM, FR)</span><o:p></o:p></p><p class=MsoNormal style='margin-bottom:12.0pt;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Steering Committee</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>-------------------------</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Maurice ter Beek (ISTI-CNR, IT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Alessandro Fantechi (University of Florence, IT)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Hubert Garavel (INRIA, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE) </span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Radu Mateescu (INRIA, FR)</span><o:p></o:p></p><p style='margin:0in;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'>Jaco van de Pol (Aarhus University, DK)</span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p class=MsoNormal style='caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px'><span style='font-family:"Calibri Light",sans-serif;color:black'> </span><o:p></o:p></p><p class=MsoNormal> <o:p></o:p></p><p class=MsoNormal> <o:p></o:p></p><p class=MsoNormal> <o:p></o:p></p></div></body></html>