CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <title>FACS: Formal Aspects of Component Software 2025 2024 2023 ...</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="description" content="FACS: Formal Aspects of Component Software 2025 2024 2023 ..."> <meta name="ROBOTS" content="INDEX,NOFOLLOW"> <link rel="stylesheet" type="text/css" href="/cfp/styles/wikicfp.css?v=2"> <link rel="shortcut icon" href="/cfp/images/wikicfp.ico">  <script async src="https://www.googletagmanager.com/gtag/js?id=UA-2351831-1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-2351831-1'); </script> <script type="text/javascript"> function recordOutboundLink(link, category, action, newtab) { try { _gaq.push(['_trackEvent', category, action]); if (newtab > 0) setTimeout('window.open("' + link.href + '", "_newtab")', 100); else setTimeout('document.location="' + link.href + '"', 100); }catch(err){} } </script> <script src="https://www.semanticscholar.org/js/wikicfp-embed.js" async></script> </head> <body bgcolor="#ffffee"> <div style="padding: 0px; position: absolute; top:1px; left:2px; right:11px; max-width:1251px; min-width: 995px"> <div class="logo"> <table cellspacing="0"><tr valign="bottom"> <td align="left"> <img src="/cfp/images/wikicfplogo-90.png" style="cursor:pointer; vertical-align:-7px;" onclick="document.location.href='/'" width="265" height="90" alt="WikiCFP"> </td> </tr></table> </div> <div class="topright" style="float: right;"> <div id="s2-search" style="margin-top: 20px;"></div> </div> </div> <div class="topright" style="height: 81px;"> </div> <div class="navsec"> <div class="menusec"> <a class="nav" href="/cfp/home" accesskey="h">Home</a> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.regin?mode=login">Login</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.regin?mode=register">Register</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.profile">Account</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.logout">Logout</a></li> </ul> <a class="nav" href="/cfp/allcat" accesskey="c">Categories</a><br> <a class="nav" href="/cfp/allcfp" accesskey="p">CFPs</a> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/event.trycfp">Post a CFP</a></li> </ul> <a class="nav" href="/cfp/series?t=c&i=A" accesskey="p">Conf Series</a>  <br>  <a class="nav" href="/cfp/servlet/event.showlist?ltype=w">My List</a><br> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/event.showtl?">Timeline</a></li> </ul> <a class="nav" href="/cfp/servlet/event.showlist?ltype=a">My Archive</a><br> <a class="nav" href="http://www.todordimitrov.de/cfp-app/index.html" target="_blank">On iPhone</a><br> <a class="nav" href="https://play.google.com/store/apps/details?id=net.kuratkoo.wikicfp" target="_blank">On Android</a><br> <hr> <div class="searchbox"> <form method="get" action="/cfp/servlet/tool.search" STYLE="margin: 0px; padding: 0px;"> <table align="center" cellpadding="0" cellspacing="0"> <tr><td align="center" colspan="2"> <input name="q" placeholder="search CFPs" type="text" style="width:136px" value="" TABINDEX=100> </td></tr> <tr> <td align="left"><select class="searchbox" name="year" TABINDEX=101> <option value="t" > 2024</option> <option value="n" selected="selected" > 2025 </option> <option value="f" > 2024+ </option> <option value="a" > all </option> </select></td> <td align="right"><input class="searchbox" type="submit" value="Search" TABINDEX=102></td> </tr> </table> </form> </div> </div> <div class="infosec" style="width: 160px; margin: 0px; padding: 0px; margin-top: 5px;"> <a href="https://www.semanticscholar.org/?utm_source=WikiCFP&utm_medium=Display&utm_term=home&utm_content=semantic-scholar-rail-try-it&utm_campaign=WikiCFP%20Test"><img src="/cfp/images/wikicfp_creative.jpg" width="160" height="600" border="0" alt=""></a> </div>   </div> <div class="contsec"><center> <table cellpadding="1" cellspacing="1" align="center" width="100%"> <tr><td><table cellpadding="0" cellspacing="0" align="left"> <tr><td align="left"><h2> FACS: Formal Aspects of Component Software </h2></td></tr> <tr><td align="left"><h3> <span id="share-buttons"> <a href="http://www.facebook.com/sharer.php?u=http://wikicfp.com/cfp/program?id=1006&s=FACS&f=Formal" target="_blank"><img src="/cfp/images/share/facebook.png" alt="Facebook"/></a><a href="http://twitter.com/share?url=http://wikicfp.com/cfp/program?id=1006&s=FACS&f=Formal&text=FACS: Formal Aspects of Component Software" target="_blank"><img src="/cfp/images/share/twitter.png" alt="Twitter" /></a><a href="http://www.linkedin.com/shareArticle?mini=true&url=http://wikicfp.com/cfp/program?id=1006&s=FACS&f=Formal" target="_blank"><img src="/cfp/images/share/linkedin.png" alt="LinkedIn" /></a><a href="https://plus.google.com/share?url=http://wikicfp.com/cfp/program?id=1006&s=FACS&f=Formal" target="_blank"><img src="/cfp/images/share/google.png" alt="Google" /></a></span> </h3></td></tr> <tr><td> </td></tr> </table></td></tr> <tr><td><table cellpadding="0" cellspacing="0" align="left" width="100%"> <tr><td align="left"><h3><span class="theme">Past:</span>   Proceedings on <a href="http://dblp.uni-trier.de/db/conf/facs2/index.html" target="_newtab">DBLP</a></h3></td></tr> <tr><td align="left"><h3> <span class="theme">Future:</span>  <span> Post a CFP for <a href="/cfp/servlet/event.postcfp?fullname=Formal Aspects of Component Software&shortname=FACS&year=2025&sid=1006">2025 or later</a>   |   Invite the Organizers <a href="http://www.addthis.com/bookmark.php" class="addthis_button_email"> <img src="http://s7.addthis.com/button1-email.gif" width="54" height="16" border="0" alt="Email" style="vertical-align:-8%;" /> </a> </span> <script src="http://s7.addthis.com/js/300/addthis_widget.js#async=1" type="text/javascript"></script> </h3></td></tr> </table></td></tr> <tr><td> </td></tr> <tr><td> </td></tr> <tr><td width="98%" align="center" nowrap> <h3><span class="theme">All CFPs on WikiCFP</span></h3> </td></tr> <tr><td align="center"> <table cellpadding="3" cellspacing="1" align="center" width="100%"> <tr align="center" bgcolor="#bbbbbb" ><td> Event </td><td> When </td><td> Where </td><td> Deadline</td></tr><tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=180141&copyownerid=186816">FACS 2024</a></td> <td align="left" colspan="3">20th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Sep 9, 2024 - Sep 10, 2024</td> <td align="left">Milan, Italy</td> <td align="left">May 15, 2024 (May 8, 2024)</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=175908&copyownerid=183099">FACS 2023</a></td> <td align="left" colspan="3">19th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Oct 19, 2023 - Oct 20, 2023</td> <td align="left">online</td> <td align="left">Jul 17, 2023</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=159178&copyownerid=74770">FACS 2022</a></td> <td align="left" colspan="3">18th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Nov 10, 2022 - Nov 11, 2022</td> <td align="left">Oslo, Norway (online)</td> <td align="left">Jul 4, 2022 (Jun 24, 2022)</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=137873&copyownerid=169923">FACS 2021</a></td> <td align="left" colspan="3">Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Oct 28, 2021 - Oct 29, 2021</td> <td align="left">Virtual/Online</td> <td align="left">Jul 16, 2021 (Jul 9, 2021)</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=87847&copyownerid=147046">FACS 2019</a></td> <td align="left" colspan="3">Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Oct 23, 2019 - Oct 25, 2019</td> <td align="left">Amsterdam</td> <td align="left">Jul 12, 2019 (Jul 5, 2019)</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=73476&copyownerid=23071">FACS 2018</a></td> <td align="left" colspan="3">15th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Oct 10, 2018 - Oct 12, 2018</td> <td align="left">Pohang, Korea</td> <td align="left">Jun 25, 2018</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=61690&copyownerid=20162">FACS 2017</a></td> <td align="left" colspan="3">14th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Oct 10, 2017 - Oct 13, 2017</td> <td align="left">Braga, Portugal</td> <td align="left">May 26, 2017 (May 19, 2017)</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=58076&copyownerid=68487">FACS 2016</a></td> <td align="left" colspan="3">International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Oct 19, 2016 - Oct 21, 2016</td> <td align="left">Besan莽on, France</td> <td align="left">Jul 1, 2016</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=43610&copyownerid=23071">FACS 2015</a></td> <td align="left" colspan="3">12th International Conference on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Oct 14, 2015 - Oct 16, 2015</td> <td align="left">Rio de Janeiro</td> <td align="left">Jul 12, 2015</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=35841&copyownerid=60715">FACS 2014</a></td> <td align="left" colspan="3">11th International Symposium on Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Sep 10, 2014 - Sep 12, 2014</td> <td align="left">Bertinoro, Italy</td> <td align="left">Jun 16, 2014 (Jun 9, 2014)</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=27280&copyownerid=45179">FACS 2013</a></td> <td align="left" colspan="3">The 10th International Symposium on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Oct 28, 2013 - Oct 30, 2013</td> <td align="left">Nanchang, China</td> <td align="left">Jul 15, 2013 (Jul 8, 2013)</td> </tr> <tr bgcolor="#e6e6e6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=21073&copyownerid=34570">FACS 2012</a></td> <td align="left" colspan="3">9th International Symposium on Formal Aspects of Component Software</td></tr> <tr bgcolor="#e6e6e6"> <td align="left">Sep 12, 2012 - Sep 14, 2012</td> <td align="left">Mountain View, USA</td> <td align="left">Jun 15, 2012 (Jun 8, 2012)</td> </tr> <tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=10467&copyownerid=9819">FACS 2010</a></td> <td align="left" colspan="3">7th International Workshop on Formal Aspects of Component Software</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Oct 14, 2010 - Oct 16, 2010</td> <td align="left">Guimar茫es, Portugal</td> <td align="left">Jul 9, 2010 (Jul 2, 2010)</td> </tr> </table> </td></tr> <tr><td> </td></tr> <tr><td> </td></tr> <tr><td width="98%" align="center" nowrap> <h3><span class="theme">Present CFP : 2024</span></h3> </td></tr> <tr><td align="center" > <div class="cfp" align="left"> [ Please distribute, apologies for multiple postings. ] <br> <br>========================================================================= <br> <br>20th International Conference on Formal Aspects of Component Software <br>(FACS) - Second Call <br> <br>https://facs-conference.github.io/2024/ <br> <br>September 09-10, 2024, Milan, Italy <br> <br>Co-located with the 26th international symposium on formal methods <br>(FM 2024) <br> <br>https://www.fm24.polimi.it/ <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>OVERVIEW <br>-------------------------------------------------------------------------- <br> <br>FACS 2024 is concerned with how formal methods can be applied to component- <br>based software and system development. Formal methods have provided <br>foundations for component-based software through research on mathematical <br>models for components, composition and adaptation, and rigorous approaches <br>to verification, deployment, testing, and certification. <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>TOPICS <br>-------------------------------------------------------------------------- <br> <br>The conference seeks to address the applications of formal methods in all <br>aspects of software components and services. FACS aims at developing a <br>community-based understanding of relevant and emerging research problems <br>through formal paper presentations and lively discussions. FACS 2024 <br>welcomes contributions including but not limited to: <br> <br>- Formal methods, models, and languages for software-intensive systems, <br> components and services, including verification techniques (e.g., model <br> checking, theorem proving, testing, constraint solving, runtime analysis), <br> probabilistic techniques, (co-)simulation techniques, composition and <br> deployment, component interaction, software variability, QoS and other <br> nonfunctional properties (e.g., trust, compliance, security, privacy); <br>- Formal aspects of concrete software-intensive systems, including service- <br> oriented architectures, business processes, cloud or edge computing, real- <br> time/safety-critical systems, hybrid and cyber physical systems, quantum <br> systems, components that use artificial intelligence; <br>- Tools supporting formal methods for components and services; <br>- Case studies and experience reports over the above topics; <br>- **Special track: Formal Methods of Component Software in the context of <br> emerging computational paradigms** (e.g. cyber physical human systems, <br> quantum computations, AI systems, blockchain systems, etc) . <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>SUBMISSION AND PUBLICATION <br>-------------------------------------------------------------------------- <br> <br>We solicit high-quality submissions reporting on: <br> <br>A - full papers: original research, applications and experiences, or <br> surveys (16 pages); <br>B - short papers: tools and demonstrations (6 pages); <br>C - Special track papers (16 pages); <br> <br>The page limit excludes references and appendices. Papers should be prepared <br>in LaTeX, adhering to the Springer LNCS format and Guidelines. Papers should <br>be submitted through the easychair link: <br> <br>https://easychair.org/conferences/?conf=facs2024 <br> <br>All submitted papers should be in LNCS format and unpublished and not <br>submitted for publication elsewhere. All accepted papers will have to be <br>presented at the conference by one of their authors. Accepted papers in <br>all categories will be published in the FACS proceedings and published <br>as a volume in Springer LNCS series. <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>SPECIAL ISSUE <br>-------------------------------------------------------------------------- <br> <br>The authors of a selected subset of accepted papers will be invited to <br>submit an extended version of their papers to a special issue of the Science <br>of Computer Programming journal. <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>BEST PAPER AWARD <br>-------------------------------------------------------------------------- <br> <br>FACS 2024 will recognize the most outstanding submissions with a best paper award. <br> <br>-------------------------------------------------------------------------- <br>-------------------------------------------------------------------------- <br>IMPORTANT DATES <br>-------------------------------------------------------------------------- <br> <br>Abstract submission: 8 May, 2024 <br>Full paper submission: 15 May, 2024 <br>Notification: 26 June, 2024 <br>Final version due: 17 July, 2024 <br>Conference: 9-10 September, 2024 <br> <br>-------------------------------- <br>-------------------------------- <br>INVITED SPEAKERS <br>-------------------------------- <br> <br>- Ana Cavalcanti (University of York, UK) <br>- David Parker (University of Oxford, UK) <br>- Geguang Pu (ECNU, China) <br> <br>-------------------------------- <br>-------------------------------- <br>PROGRAM CO-CHAIRS <br>-------------------------------- <br> <br>- Diego Marmsoler (University of Exeter, United Kingdom) <br>- Meng Sun (Peking University, China) <br> <br>-------------------------------- <br>-------------------------------- <br>PROGRAM COMMITTEE <br>-------------------------------- <br> <br>- Achim Brucker (University of Exeter, United Kingdom) <br>- Ant贸nia Lopes (Universidade de Lisboa, Portugal) <br>- Anton Wijs (Eindhoven University of Technology, Netherlands) <br>- Arpit Sharma (IISERB, India) <br>- Brijesh Dongol (University of Surrey, United Kingdom) <br>- Camilo Rocha (Pontificia Universidad Javeriana Cali, Colombia) <br>- Clemens Dubslaff (Eindhoven University of Technology, Netherlands) <br>- Fatemeh Ghassemi (University of Tehran, Iran) <br>- Giorgio Audrito (University of Turin, Italy) <br>- Gwen Sala眉n (University of Grenoble Alpes, France) <br>- Ivan Lanese (University of Bologna/INRIA, Italy) <br>- Jacopo Mauro (University of Southern Denmark, Denmark) <br>- Jos茅 Proen莽a (University of Porto, Portugal) <br>- Keigo Imai (DeNA Co., Japan) <br>- Kenneth Johnson (Auckland University of Technology, New Zealand) <br>- Kyungmin Bae (POSTECH, South Korea) <br>- Lu铆s Soares Barbosa (University of Minho, Portugal) <br>- Marie Farrell (The University of Manchester, United Kingdom) <br>- Mario Gleirscher (Universit盲t Bremen, Germany) <br>- Mieke Massink (CNR-ISTI, Italy) <br>- Olga Kouchnarenko (University of Franche-Comt茅, France) <br>- Peter 脰lveczky (University of Oslo, Norway) <br>- Samir Genaim (Universidad Complutense de Madrid, Spain) <br>- Shoji Yuen (Nagoya University, Japan) <br>- Simon Bliudze (INRIA Lille, France) <br>- Simon Foster (University of York, United Kingdom) <br>- Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) <br>- Xiyue Zhang (Oxford University, United Kingdom) <br>- Zhenbang Chen (NUDT, China) </div> </td></tr> <tr><td> </td></tr> </table> </center></div> <div class="contsec"> <center><h3> Related Resources </h3></center> <div class="cfp" align="left"> <table cellpadding="0" cellspacing="0px" align="center" width="100%"> <tr valign="top"> <td> <table cellpadding="4" cellspacing="3" align="center" width="100%"> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182557">TASE 2025</a>   19th International Symposium on Theoretical Aspects of Software Engineering </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=127474">IEEE-Ei/Scopus-ITCC 2025</a>   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182556">TASE 2025</a>   19th International Symposium on Theoretical Aspects of Software Engineering </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=127472">SPIE-Ei/Scopus-DMNLP 2025</a>   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=171907">IEEE-Ei/Scopus-CNIOT 2025</a>   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=180347">SOMET 2025</a>   24th International Conference on Intelligent Software Methodologies Tools and Techniques </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=181913">ACM SAC 2025</a>   40th ACM/SIGAPP Symposium On Applied Computing </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=183260">SPIN 2025</a>   31st International Symposium on Model Checking Software </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=172661">IEEE CACML 2025</a>   2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025) </td></tr> </table> </td> </tr> </table> </div> </center> </div> <DIV class="footer"> <center> <table cellpadding="0" cellspacing="0" width="100%"><tr valign="top"> <td align="left"> <table cellpadding="0"> <tr><td align="left"> <a href="/cfp/about.jsp">About Us</a> | <a href="mailto:wikicfp@gmail.com">Contact Us</a> | <a href="/cfp/data.jsp">Data</a> | <a href="/cfp/privacy.jsp">Privacy Policy</a> | <a href="/cfp/terms.jsp">Terms and Conditions</a> </td></tr> <tr><td align="left"> Partners: <a href="https://www.semanticscholar.org/?utm_source=WikiCFP&utm_medium=Display&utm_term=home&utm_content=semantic-scholar-rail-try-it&utm_campaign=WikiCFP%20Test">AI2's Semantic Scholar</a> </td></tr> <tr><td align="left"> This wiki is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-Share Alike 3.0 License</a>. </td></tr></table> </td> <td align="right" style="width:1%">   </td> </tr></table> </center> </div> <script type="text/javascript"> function loadAddThis() { addthis.init() } loadAddThis(); </script>  <script type="text/javascript"> _qoptions={ qacct:"p-bavkT9R1uB7qI" }; </script> <script type="text/javascript" src="http://edge.quantserve.com/quant.js"></script> <noscript> <img src="http://pixel.quantserve.com/pixel/p-bavkT9R1uB7qI.gif" style="display: none;" border="0" height="1" width="1" alt="Quantcast"/> </noscript>  </body> </html>