<html xmlns:v="urn:schemas-microsoft-com:vml" 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=iso-8859-1">
<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;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">[ Please distribute, apologies for multiple postings. ]<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>
<p class="MsoNormal">20th International Conference on Formal Aspects of Component Software<o:p></o:p></p>
<p class="MsoNormal">(FACS) - Third Call<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://facs-conference.github.io/2024/__;!!IBzWLUs!WhdEPUX-nTYI1vHPHDCiR1IRGetiZbPCvzD2bYKo729UwjCkguAMyeqXDhc5F0asmrw6Qbsv7CYEPBpHKOzWPzWwpqqG9k1SLeyMWAIN$">https://facs-conference.github.io/2024/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal">September 09-10, 2024, Milan, Italy<o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal">Co-located with the 26th international symposium on formal methods<o:p></o:p></p>
<p class="MsoNormal"><span lang="DE">(FM 2024)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p></o:p></span></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!WhdEPUX-nTYI1vHPHDCiR1IRGetiZbPCvzD2bYKo729UwjCkguAMyeqXDhc5F0asmrw6Qbsv7CYEPBpHKOzWPzWwpqqG9k1SLQqlW-UH$"><span lang="DE">https://www.fm24.polimi.it/</span></a><span lang="DE"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="DE"><o:p> </o:p></span></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal">OVERVIEW<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FACS 2024 is concerned with how formal methods can be applied to component-<o:p></o:p></p>
<p class="MsoNormal">based software and system development. Formal methods have provided<o:p></o:p></p>
<p class="MsoNormal">foundations for component-based software through research on mathematical<o:p></o:p></p>
<p class="MsoNormal">models for components, composition and adaptation, and rigorous approaches<o:p></o:p></p>
<p class="MsoNormal">to verification, deployment, testing, and certification.<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>
<p class="MsoNormal">TOPICS<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The conference seeks to address the applications of formal methods in all<o:p></o:p></p>
<p class="MsoNormal">aspects of software components and services. FACS aims at developing a<o:p></o:p></p>
<p class="MsoNormal">community-based understanding of relevant and emerging research problems<o:p></o:p></p>
<p class="MsoNormal">through formal paper presentations and lively discussions. FACS 2024<o:p></o:p></p>
<p class="MsoNormal">welcomes contributions including but not limited to:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Formal methods, models, and languages for software-intensive systems,<o:p></o:p></p>
<p class="MsoNormal"> components and services, including verification techniques (e.g., model<o:p></o:p></p>
<p class="MsoNormal"> checking, theorem proving, testing, constraint solving, runtime analysis),<o:p></o:p></p>
<p class="MsoNormal"> probabilistic techniques, (co-)simulation techniques, composition and<o:p></o:p></p>
<p class="MsoNormal"> deployment, component interaction, software variability, QoS and other<o:p></o:p></p>
<p class="MsoNormal"> nonfunctional properties (e.g., trust, compliance, security, privacy);<o:p></o:p></p>
<p class="MsoNormal">- Formal aspects of concrete software-intensive systems, including service-<o:p></o:p></p>
<p class="MsoNormal"> oriented architectures, business processes, cloud or edge computing, real-<o:p></o:p></p>
<p class="MsoNormal"> time/safety-critical systems, hybrid and cyber physical systems, quantum<o:p></o:p></p>
<p class="MsoNormal"> systems, components that use artificial intelligence;<o:p></o:p></p>
<p class="MsoNormal">- Tools supporting formal methods for components and services;<o:p></o:p></p>
<p class="MsoNormal">- Case studies and experience reports over the above topics;<o:p></o:p></p>
<p class="MsoNormal">- **Special track: Formal Methods of Component Software in the context of<o:p></o:p></p>
<p class="MsoNormal"> emerging computational paradigms** (e.g. cyber physical human systems,<o:p></o:p></p>
<p class="MsoNormal"> quantum computations, AI systems, blockchain systems, etc) .<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>
<p class="MsoNormal">SUBMISSION AND PUBLICATION<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal">We solicit high-quality submissions reporting on:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">A - full papers: original research, applications and experiences, or<o:p></o:p></p>
<p class="MsoNormal"> surveys (16 pages);<o:p></o:p></p>
<p class="MsoNormal">B - short papers: tools and demonstrations (6 pages);<o:p></o:p></p>
<p class="MsoNormal">C - Special track papers (16 pages);<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The page limit excludes references and appendices. Papers should be prepared<o:p></o:p></p>
<p class="MsoNormal">in LaTeX, adhering to the Springer LNCS format and Guidelines. Papers should<o:p></o:p></p>
<p class="MsoNormal">be submitted through the easychair link:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=facs2024__;!!IBzWLUs!WhdEPUX-nTYI1vHPHDCiR1IRGetiZbPCvzD2bYKo729UwjCkguAMyeqXDhc5F0asmrw6Qbsv7CYEPBpHKOzWPzWwpqqG9k1SLQMFSfb4$">https://easychair.org/conferences/?conf=facs2024</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All submitted papers should be in LNCS format and unpublished and not<o:p></o:p></p>
<p class="MsoNormal">submitted for publication elsewhere. All accepted papers will have to be<o:p></o:p></p>
<p class="MsoNormal">presented at the conference by one of their authors. Accepted papers in<o:p></o:p></p>
<p class="MsoNormal">all categories will be published in the FACS proceedings and published<o:p></o:p></p>
<p class="MsoNormal">as a volume in Springer LNCS series.<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>
<p class="MsoNormal">SPECIAL ISSUE<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The authors of a selected subset of accepted papers will be invited to<o:p></o:p></p>
<p class="MsoNormal">submit an extended version of their papers to a special issue of the Science<o:p></o:p></p>
<p class="MsoNormal">of Computer Programming journal.<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>
<p class="MsoNormal">BEST PAPER AWARD<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FACS 2024 will recognize the most outstanding submissions with a best paper award.<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>
<p class="MsoNormal">IMPORTANT DATES<o:p></o:p></p>
<p class="MsoNormal">--------------------------------------------------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Abstract submission (extended): 23 May, 2024<o:p></o:p></p>
<p class="MsoNormal">- Full paper submission (extended): 30 May, 2024<o:p></o:p></p>
<p class="MsoNormal">- Notification: 03 July, 2024<o:p></o:p></p>
<p class="MsoNormal">- Final version due: 17 July, 2024<o:p></o:p></p>
<p class="MsoNormal">- Conference: 9-10 September, 2024<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>
<p class="MsoNormal">INVITED SPEAKERS<o:p></o:p></p>
<p class="MsoNormal">--------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Ana Cavalcanti (University of York, UK)<o:p></o:p></p>
<p class="MsoNormal">- David Parker (University of Oxford, UK)<o:p></o:p></p>
<p class="MsoNormal">- Geguang Pu (ECNU, China)<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>
<p class="MsoNormal">PROGRAM CO-CHAIRS<o:p></o:p></p>
<p class="MsoNormal">--------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p></o:p></p>
<p class="MsoNormal">- Diego Marmsoler (University of Exeter, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal">- Meng Sun (Peking University, China)<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>
<p class="MsoNormal">PROGRAM COMMITTEE<o:p></o:p></p>
<p class="MsoNormal">--------------------------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Achim Brucker (University of Exeter, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal">- Antónia Lopes (Universidade de Lisboa, Portugal)<o:p></o:p></p>
<p class="MsoNormal">- Anton Wijs (Eindhoven University of Technology, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">- Arpit Sharma (IISERB, India)<o:p></o:p></p>
<p class="MsoNormal">- Brijesh Dongol (University of Surrey, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal">- Camilo Rocha (Pontificia Universidad Javeriana Cali, Colombia)<o:p></o:p></p>
<p class="MsoNormal">- Clemens Dubslaff (Eindhoven University of Technology, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">- Fatemeh Ghassemi (University of Tehran, Iran)<o:p></o:p></p>
<p class="MsoNormal">- Giorgio Audrito (University of Turin, Italy)<o:p></o:p></p>
<p class="MsoNormal">- Gwen Salaün (University of Grenoble Alpes, France)<o:p></o:p></p>
<p class="MsoNormal">- Ivan Lanese (University of Bologna/INRIA, Italy)<o:p></o:p></p>
<p class="MsoNormal">- Jacopo Mauro (University of Southern Denmark, Denmark)<o:p></o:p></p>
<p class="MsoNormal">- José Proença (University of Porto, Portugal)<o:p></o:p></p>
<p class="MsoNormal">- Keigo Imai (DeNA Co., Japan)<o:p></o:p></p>
<p class="MsoNormal">- Kenneth Johnson (Auckland University of Technology, New Zealand)<o:p></o:p></p>
<p class="MsoNormal">- Kyungmin Bae (POSTECH, South Korea)<o:p></o:p></p>
<p class="MsoNormal">- Luís Soares Barbosa (University of Minho, Portugal)<o:p></o:p></p>
<p class="MsoNormal">- Marie Farrell (The University of Manchester, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal"><span lang="DE">- Mario Gleirscher (Universität Bremen, Germany)<o:p></o:p></span></p>
<p class="MsoNormal">- Mieke Massink (CNR-ISTI, Italy)<o:p></o:p></p>
<p class="MsoNormal">- Olga Kouchnarenko (University of Franche-Comté, France)<o:p></o:p></p>
<p class="MsoNormal">- Peter Ölveczky (University of Oslo, Norway)<o:p></o:p></p>
<p class="MsoNormal">- Samir Genaim (Universidad Complutense de Madrid, Spain)<o:p></o:p></p>
<p class="MsoNormal">- Shoji Yuen (Nagoya University, Japan)<o:p></o:p></p>
<p class="MsoNormal">- Simon Bliudze (INRIA Lille, France)<o:p></o:p></p>
<p class="MsoNormal">- Simon Foster (University of York, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal">- Violet Ka I Pun (Western Norway University of Applied Sciences, Norway)<o:p></o:p></p>
<p class="MsoNormal">- Xiyue Zhang (Oxford University, United Kingdom)<o:p></o:p></p>
<p class="MsoNormal">- Zhenbang Chen (NUDT, China)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b><span style="color:gray;mso-fareast-language:EN-GB">Diego Marmsoler</span></b><span style="color:black;mso-fareast-language:EN-GB">
<br>
</span><span style="color:gray;mso-fareast-language:EN-GB">Lecturer (Education and Research), Computer Science
<br>
University of Exeter, Innovation 1, Room 10<o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="color:gray;mso-fareast-language:EN-GB">www:
<a href="https://urldefense.com/v3/__http://www.marmsoler.com__;!!IBzWLUs!WhdEPUX-nTYI1vHPHDCiR1IRGetiZbPCvzD2bYKo729UwjCkguAMyeqXDhc5F0asmrw6Qbsv7CYEPBpHKOzWPzWwpqqG9k1SLfFnwkKC$">marmsoler.com</a><br>
Twitter: <a href="https://urldefense.com/v3/__https://twitter.com/DiegoMarmsoler__;!!IBzWLUs!WhdEPUX-nTYI1vHPHDCiR1IRGetiZbPCvzD2bYKo729UwjCkguAMyeqXDhc5F0asmrw6Qbsv7CYEPBpHKOzWPzWwpqqG9k1SLUog2ImQ$">@DiegoMarmsoler</a><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>