FACS 2021 : Formal Aspects of Component Software

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <title>FACS 2021 : Formal Aspects of Component Software</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="description" content="FACS 2021 : Formal Aspects of Component Software"> <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" selected="selected" > 2025</option> <option value="n" > 2026 </option> <option value="f" > 2025+ </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> <SCRIPT language="JavaScript" type="text/javascript"> function display(ind) { elem = document.getElementById(ind); if (elem.style.display == 'none') { elem.style.display = 'inline'; } else if (elem.style.display == 'inline') { elem.style.display = 'none'; } } function OnSubmitForm() { if (!confirm("You cannot undo this operation. \nAre you sure you want to delete the items?")){ return false; } return true; } function returnObjById( id ) { if (document.getElementById) var returnVar = document.getElementById(id); else if (document.all) var returnVar = document.all[id]; else if (document.layers) var returnVar = document.layers[id]; return returnVar; } function AutoFill() { var dest = returnObjById("ExpeSf_destination"); if (dest != null){ dest.onfocus(); dest.value = "Virtual/Online"; dest.onchange(); } var origin = returnObjById("ExpeSf_origin"); if (origin == null){ setTimeout("AutoFill()", 5000); } return true; } window.onload=function(){setTimeout("AutoFill()", 1000)}; </SCRIPT> <div class="contsec"> <center> <table cellpadding="0" cellspacing="0" width="100%"> <tr><td> <table cellpadding="0" cellspacing="0" width="100%"><tr valign="middle" > <td align="left"> <table cellpadding="0" cellspacing="1"><tr><td align="left"> posted by user: <a href="/cfp/servlet/event.showlist?lownerid=169923&ltype=w">facs</a> || 2178 views || tracked by 2 users: <span id='more_button' style='display:inline'>[<a href="javascript:display('more_users');display('more_button');">display</a>]</span><span id='more_users' style='display:none'><a href="/cfp/servlet/event.showlist?lownerid=169923&ltype=w">facs</a>, <a href="/cfp/servlet/event.showlist?lownerid=45745&ltype=w">adambryant11</a> [<a href="javascript:display('more_users');display('more_button');">hide</a>]</span> </td></tr></table> </td> <td align="right"> <table cellpadding="0" cellspacing="0"><tr valign="baseline"> <td nowrap></td> <td align="center" nowrap="nowrap"> <form method="get" action="/cfp/servlet/event.copycfp"> <input name="getaddress" type="hidden" value="event.showcfp"> <input name="eventid" type="hidden" value="137873"> <input name="copyownerid" type="hidden" value="169923"> <input name="option" type="hidden" value="x"> <input type="submit" value="Add to My List"> </form> </td> <td align="center" nowrap="nowrap"> <form method="get" action="/cfp/servlet/event.orgcfp"> <input align="middle" type="submit" value="I'm Organizer" DISABLED> </form> </td> <td align="center" nowrap="nowrap"> <form method="get" action="/cfp/servlet/event.updcfp"> <input align="middle" type="submit" value="Modify" DISABLED> </form> </td> </tr></table> </td> </tr></table> </td></tr> <tr><td align="center" > <br> <h2> <span xmlns:v="http://rdf.data-vocabulary.org/#" typeof="v:Event"> <span property="v:summary" content="FACS 2021"></span> <span property="v:eventType" content="Conference"></span> <span property="v:startDate" content="2021-10-28T00:00:00"></span> <span property="v:endDate" content="2021-10-29T23:59:59"></span> <span resource="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873" rel="v:url"></span> <span rel="v:location"><span typeof="v:Address"><span property="v:locality" content="Virtual/Online"></span></span></span> <span property="v:description"> FACS 2021 : Formal Aspects of Component Software</span> </span> </h2> <h3> <span id="share-buttons"> <a href="http://www.facebook.com/sharer.php?u=http://wikicfp.com/cfp/servlet/event.showcfp?eventid=137873&copyownerid=169923" target="_blank"><img src="/cfp/images/share/facebook.png" alt="Facebook"/></a><a href="http://twitter.com/share?url=http://wikicfp.com/cfp/servlet/event.showcfp?eventid=137873&copyownerid=169923&text=FACS 2021 : 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/servlet/event.showcfp?eventid=137873&copyownerid=169923" target="_blank"><img src="/cfp/images/share/linkedin.png" alt="LinkedIn" /></a><a href="https://plus.google.com/share?url=http://wikicfp.com/cfp/servlet/event.showcfp?eventid=137873&copyownerid=169923" target="_blank"><img src="/cfp/images/share/google.png" alt="Google" /></a></span> </h3> <br>Conference Series : <a href='/cfp/program?id=1006&s=FACS&f=Formal Aspects of Component Software'>Formal Aspects of Component Software</a><br>  </td></tr> <tr><td align="center" > Link: <a href="https://facs2021.inria.fr/" target="_newtab">https://facs2021.inria.fr/</a> </td></tr> <tr><td> </td></tr> <tr><td> <table cellpadding="0" cellspacing="5" align="center"> <tr valign="middle"> <td align="center"> <table cellpadding="0" cellspacing="0" align="center"> <tr valign="middle"><td align="center"> <table class="gglu" cellpadding="3" cellspacing="1" align="center"> <tr bgcolor="#e6e6e6"> <th>When</th> <td align="center"> Oct 28, 2021 - Oct 29, 2021 </td> </tr><tr bgcolor="#f6f6f6"> <th>Where</th> <td align="center">Virtual/Online</td> </tr> <tr bgcolor="#e6e6e6"> <th>Abstract Registration Due</th> <td align="center"> <span xmlns:v="http://rdf.data-vocabulary.org/#" typeof="v:Event"> <span property="v:summary" content="Abstract Registration Due"></span> <span resource="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873" rel="v:url"></span> <span property="v:startDate" content="2021-07-09T00:00:00">Jul 9, 2021</span> </span> </td> </tr> <tr bgcolor="#f6f6f6"> <th>Submission Deadline</th> <td align="center"> <span xmlns:v="http://rdf.data-vocabulary.org/#" typeof="v:Event"> <span property="v:summary" content="Submission Deadline"></span> <span resource="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873" rel="v:url"></span> <span property="v:startDate" content="2021-07-16T00:00:00">Jul 16, 2021</span> </span> </td> </tr> <tr bgcolor="#e6e6e6"> <th>Notification Due</th> <td align="center"> <span xmlns:v="http://rdf.data-vocabulary.org/#" typeof="v:Event"> <span property="v:summary" content="Notification Due"></span> <span resource="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873" rel="v:url"></span> <span property="v:startDate" content="2021-08-20T00:00:00">Aug 20, 2021</span> </span> </td> </tr> <tr bgcolor="#f6f6f6"> <th>Final Version Due</th> <td align="center"> <span xmlns:v="http://rdf.data-vocabulary.org/#" typeof="v:Event"> <span property="v:summary" content="Final Version Due"></span> <span resource="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873" rel="v:url"></span> <span property="v:startDate" content="2021-08-31T00:00:00">Aug 31, 2021</span> </span> </td> </tr> </table> </td></tr> <tr><td align="center" > <table class="gglu" cellpadding="3" cellspacing="1" align="center"> <tr><td></td></tr> <tr bgcolor="#f6f6f6"> <td align="center"> <h5><a class="blackbold" href="/cfp/allcat"><b>Categories</b></a>    <a href="../call?conference=formal methods">formal methods</a>   <a href="../call?conference=software engineering">software engineering</a>   <a href="../call?conference=component software">component software</a></h5> </td></tr> </table> </td></tr> </table> </td> </tr> </table> </td></tr> <tr><td> </td></tr> <tr><td align="center" > <div xmlns:dc="http://purl.org/dc/elements/1.1/"> <span property="dc:title" content="FACS 2021"></span> <span property="dc:description" content="Formal Aspects of Component Software"></span> <span property="dc:identifier" content="http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=137873"></span> <span property="dc:source" content="https://facs2021.inria.fr/"></span> <span property="dc:publisher" content="WikiCFP"></span> </div> <h3>Call For Papers</h3> </td></tr> <tr><td align="center" > <div class="cfp" align="left"> ============================================================================= <br>** <br>** Final Call for Papers: FACS 2021 <br>** <br>** 17th International Conference on Formal Aspects of Component Software <br>** <br>** Virtual Event <br>** <br>** https://facs2021.inria.fr <br>** <br>============================================================================= <br> <br>## OVERVIEW <br> <br>Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. <br> <br>FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. <br> <br>## INVITED SPEAKERS <br> <br> * Radu Calinescu (University of York, UK) <br> * Corina Pasareanu (NASA Ames, CMU, USA) <br> <br>## DATES <br> <br> * Abstract: July 9, 2021 (extended) <br> * Paper: July 16, 2021 (extended) <br> * Notification: August 20, 2021 <br> * Conference: October 28-29, 2021 <br> <br>All deadlines are AoE. <br> <br>## SCOPE <br> <br>The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: <br> <br>* formal models for software components and their interaction; <br>* formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; <br>* formal syntax and semantics of modeling languages; <br>* design and verification methods for software components and services; <br>* composition and deployment: models, calculi, languages; <br>* formal methods and modeling languages for components and services; <br>* (behavioral) type systems for components and services; <br>* models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; <br>* components for real-time, safety-critical, secure, and/or embedded systems; <br>* rigorous model-based analysis; <br>* components for the Internet of things and cyber-physical systems; <br>* artificial intelligence and machine learning for components and services; <br>* probabilistic techniques for modeling and verification of component-based systems; <br>* model-based testing of components and services; <br>* case studies and experience reports; <br>* tools supporting formal methods for components and services. <br> <br>## SUBMISSION & PUBLICATION <br> <br>We solicit submissions related to the topics mentioned above in the following categories: <br> <br> * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); <br> * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). <br> <br>Paper submission is done via EasyChair at: <br>https://easychair.org/conferences/?conf=facs2021. <br> <br>All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. <br> <br>The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. 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. <br> <br>The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). <br> <br> <br>## CHAIRS <br> <br>Gwen Salaün, University Grenoble Alpes, France <br>Anton Wijs, Eindhoven University of Technology, The Netherlands <br> <br>## PROGRAM COMMITTEE <br> <br>Kyungmin Bae, Pohang University of Science and Technology, Korea <br>Christel Baier, TU Dresden, Germany <br>Luís Soares Barbosa, University of Minho, Portugal, <br>Simon Bliudze, Inria Lille, France <br>Javier Camara, University of York, UK <br>Francisco Duran, University of Malaga, Spain <br>Fatemeh Ghassemi, University of Tehran, Iran <br>Sung-Shik Jongmans, Open University and CWI, the Netherlands <br>Olga Kouchnarenko, University of Franche-Comté, France <br>Alfons Laarman, Leiden University, The Netherlands <br>Ivan Lanese, University of Bologna, Italy <br>Zhiming Liu, Southwest University, China <br>Alberto Lluch-Lafuente, Technical University of Denmark, Denmark <br>Markus Lumpe, Swinburne University of Technology, Australia <br>Eric Madelaine, Inria Sophia Antipolis, France <br>Mieke Massink, CNR ISTI, Italy <br>Hernán Melgratti, University of Buenos Aires, Argentina <br>Fabrizio Montesi, University of Southern Denmark <br>Peter Csaba Ölveczky, University of Oslo, Norway <br>Jun Pang, University of Luxembourg <br>José Proença, CISTER, Portugal <br>Jorge Pérez, University of Groningen, The Netherlands <br>Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia <br>Gwen Salaün, Université Grenoble Alpes, France <br>Ana Sokolova, University of Salzburg, Austria <br>Jacopo Soldani, University of Pisa, Italy <br>Anton Wijs, Eindhoven University of Technology, The Netherlands <br>Shoji Yuen, Nagoya University, Japan <br> </div> </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=182556">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=181913">ACM SAC 2025</a>   40th ACM/SIGAPP Symposium On Applied Computing </td></tr> <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=185779">SETTA 2025</a>   11th Symposium on Dependable Software Engineering: Theories, Tools and Applications </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182042">IEEE ICMLT 2025</a>   IEEE--2025 10th International Conference on Machine Learning Technologies (ICMLT 2025) </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185216">ISCMI 2025</a>   2025 12th International Conference on Soft Computing & Machine Intelligence (ISCMI 2025) </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185139">DSA 2025</a>   The 12th International Conference on Dependability Systems and Their Applications </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182695">ICSOFT 2025</a>   20th International Conference on Software Technologies </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=181379">ISORC 2025</a>   International Symposium on Real-Time Distributed Computing </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>

CINXE.COM

FACS 2021 : Formal Aspects of Component Software