<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;}
/* 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;
font-family:"Calibri",sans-serif;
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>
</head>
<body lang="en-NL" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">FORTE 2023 - 43nd International Conference on Formal Techniques for<o:p></o:p></p>
<p class="MsoNormal">Distributed Objects, Components, and Systems<o:p></o:p></p>
<p class="MsoNormal">June 19-23, 2023. Lisbon, Portugal<o:p></o:p></p>
<p class="MsoNormal">Website: <a href="https://urldefense.com/v3/__http://www.discotec.org/2023/forte.html__;!!IBzWLUs!X8FkuuzyfhCZVBHsvKSY_mVvBuejCJ4-vKD_Yc0pi05Gk8OH3nnEWOWUKPBRxEtRkMJnlbrNQD8ritknksywCA7pRPBd1mgZQq3u$">www.discotec.org/2023/forte.html</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FORTE 2023 is one of the three conferences of DisCoTec 2023, the<o:p></o:p></p>
<p class="MsoNormal">18th International Federated Conference on Distributed Computing<o:p></o:p></p>
<p class="MsoNormal">Techniques.<o:p></o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__http://www.discotec.org/2023/__;!!IBzWLUs!X8FkuuzyfhCZVBHsvKSY_mVvBuejCJ4-vKD_Yc0pi05Gk8OH3nnEWOWUKPBRxEtRkMJnlbrNQD8ritknksywCA7pRPBd1vGA_L0I$">www.discotec.org/2023/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Highlights<o:p></o:p></p>
<p class="MsoNormal">----------<o:p></o:p></p>
<p class="MsoNormal">* Extended submission deadlines (all dates below): two extra weeks to prepare your submission<o:p></o:p></p>
<p class="MsoNormal">* Two special issues: one for selected accepted papers with artefacts; one for selected regular papers<o:p></o:p></p>
<p class="MsoNormal">* Partial rebuttal process for all papers<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Highlights of the 1st CfP<o:p></o:p></p>
<p class="MsoNormal">-------------------------<o:p></o:p></p>
<p class="MsoNormal">* Main focus: fundamental research on developing distributed software<o:p></o:p></p>
<p class="MsoNormal">systems, with emphasis on approaches to formally model, soundly<o:p></o:p></p>
<p class="MsoNormal">implement, and rigorously validate such systems and applications.<o:p></o:p></p>
<p class="MsoNormal">* Invited speaker: Azalea Raad (Imperial College London, UK)<o:p></o:p></p>
<p class="MsoNormal">* Special issue in top journal with selected papers<o:p></o:p></p>
<p class="MsoNormal">* Constructive and thorough reviews (at least 3)<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 Link: easychair.org/conferences/?conf=forte2023<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 invite submissions focused on foundational aspects of distributed<o:p></o:p></p>
<p class="MsoNormal">software systems, presenting approaches or tools to formally model,<o:p></o:p></p>
<p class="MsoNormal">soundly implement, and rigorously validate these demanding but ever<o:p></o:p></p>
<p class="MsoNormal">more necessary systems and applications. As our dependency on such<o:p></o:p></p>
<p class="MsoNormal">software systems grow, also our responsibility as researchers grows to<o:p></o:p></p>
<p class="MsoNormal">provide both trustworthy and usable solutions.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The main topics of interest include:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Language concepts for concurrency and distribution, supported by<o:p></o:p></p>
<p class="MsoNormal"> rigorous semantics, well-supported pragmatics, and/or expressive<o:p></o:p></p>
<p class="MsoNormal"> illustrative use-cases.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Analyses techniques, methodologies, and/or algorithms, using testing<o:p></o:p></p>
<p class="MsoNormal"> and/or verification, to validate (aspects of) the soundness of<o:p></o:p></p>
<p class="MsoNormal"> various types of concurrent and distributed systems, including<o:p></o:p></p>
<p class="MsoNormal"> communication and network protocols, service-oriented systems,<o:p></o:p></p>
<p class="MsoNormal"> adaptive distributed systems, cyber-physical systems and sensor<o:p></o:p></p>
<p class="MsoNormal"> networks.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Principles for qualitative and quantitative security analysis of<o:p></o:p></p>
<p class="MsoNormal"> distributed systems.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Applications of formal methods and techniques for studying the<o:p></o:p></p>
<p class="MsoNormal"> quality, reliability, availability, and safety of concrete<o:p></o:p></p>
<p class="MsoNormal"> distributed systems. We are specially interested in "real-life" case<o:p></o:p></p>
<p class="MsoNormal"> studies and industrial applications involving real distributed<o:p></o:p></p>
<p class="MsoNormal"> systems.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Emerging challenges and hot topics in distributed systems (broadly<o:p></o:p></p>
<p class="MsoNormal"> construed), such as software-defined networks, distributed ledgers,<o:p></o:p></p>
<p class="MsoNormal"> smart contracts, and blockchain technologies, 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">Categories of papers<o:p></o:p></p>
<p class="MsoNormal">--------------------<o:p></o:p></p>
<p class="MsoNormal">All papers should be submitted in LNCS format. We solicit papers in<o:p></o:p></p>
<p class="MsoNormal">the following categories:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Regular papers (7-15 pages, not counting references):<o:p></o:p></p>
<p class="MsoNormal"> describing thorough and complete research results and experience<o:p></o:p></p>
<p class="MsoNormal"> reports. Regular papers may be combined with an artefact submission.<o:p></o:p></p>
<p class="MsoNormal"> Companion artefacts to regular submissions will be reviewed by the<o:p></o:p></p>
<p class="MsoNormal"> Artefact Evaluation Committee, but the acceptance of the paper is<o:p></o:p></p>
<p class="MsoNormal"> decoupled from the acceptance of the artefact (does not depend on<o:p></o:p></p>
<p class="MsoNormal"> it). The acceptance of the artefact, however, is conditional to the<o:p></o:p></p>
<p class="MsoNormal"> acceptance of the paper.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Tool papers (7-15 pages, not counting references):<o:p></o:p></p>
<p class="MsoNormal"> describing technological artefacts in the scope of the research<o:p></o:p></p>
<p class="MsoNormal"> topics of FORTE. The paper should present the underlying theory of<o:p></o:p></p>
<p class="MsoNormal"> the tool, a clear account of the tool’s functionality and<o:p></o:p></p>
<p class="MsoNormal"> limitations, and include case studies (with rigorous experimental<o:p></o:p></p>
<p class="MsoNormal"> evaluation). In addition, the tool artefact must be submitted<o:p></o:p></p>
<p class="MsoNormal"> separately for evaluation. Acceptance of the tool artefact is<o:p></o:p></p>
<p class="MsoNormal"> mandatory for tool papers to be accepted. The artefact will be<o:p></o:p></p>
<p class="MsoNormal"> evaluated by a dedicated committee. The paper must contain a link<o:p></o:p></p>
<p class="MsoNormal"> to a publicly downloadable MPEG-4 demo video of at most 10 minutes,<o:p></o:p></p>
<p class="MsoNormal"> to be submitted until a week after the paper submission deadline.<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">* Short papers (4-6 pages, not counting references):<o:p></o:p></p>
<p class="MsoNormal"> describing innovative and promising ideas, possibly in an early<o:p></o:p></p>
<p class="MsoNormal"> form, or demonstrating new tools (components), or presenting (i)<o:p></o:p></p>
<p class="MsoNormal"> calls to action, or (ii) substantiated reflections on current and/or<o:p></o:p></p>
<p class="MsoNormal"> future research perspectives related to FORTE, or a summary of a<o:p></o:p></p>
<p class="MsoNormal"> published journal paper clarifying why the presentation would enrich<o:p></o:p></p>
<p class="MsoNormal"> the program of FORTE. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Partial Rebuttal<o:p></o:p></p>
<p class="MsoNormal">------------<o:p></o:p></p>
<p class="MsoNormal">Some papers that raised doubts the reviewers would like to clarify to<o:p></o:p></p>
<p class="MsoNormal">consider acceptance, will have 48h to respond to concrete<o:p></o:p></p>
<p class="MsoNormal">questions. The responses will be taken into account during the PC<o:p></o:p></p>
<p class="MsoNormal">discussions.<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 (AoE)<o:p></o:p></p>
<p class="MsoNormal">---------------------<o:p></o:p></p>
<p class="MsoNormal">* Abstract submission: February 24, 2023<o:p></o:p></p>
<p class="MsoNormal">* Paper submission: March 4, 2023 (AoE)<o:p></o:p></p>
<p class="MsoNormal">* Artefact and video submission: March 4, 2023 (AoE)<o:p></o:p></p>
<p class="MsoNormal">* Rebuttal period: March 30 and 31<o:p></o:p></p>
<p class="MsoNormal">* Paper and artefact notification: April 7, 2023<o:p></o:p></p>
<p class="MsoNormal">* Camera-ready: April 30, 2023<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Proceedings<o:p></o:p></p>
<p class="MsoNormal">-----------<o:p></o:p></p>
<p class="MsoNormal">The conference proceedings, formed by accepted submissions from *any*<o:p></o:p></p>
<p class="MsoNormal">category, will be published by Springer as an LNCS-IFIP volume.<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 chairs<o:p></o:p></p>
<p class="MsoNormal">------------------------<o:p></o:p></p>
<p class="MsoNormal">Marieke Huisman (University of Twente, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">António Ravara (NOVA University Lisbon, Portugal)<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">Elvira Albert (Universidad Complutense de Madrid, Spain)<o:p></o:p></p>
<p class="MsoNormal">Jiri Barnat (Masaryk University, Czech Republic)<o:p></o:p></p>
<p class="MsoNormal">Georgiana Caltais (University of Twente, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">Silvia Crafa (Università di Padova, Italy)<o:p></o:p></p>
<p class="MsoNormal">Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)<o:p></o:p></p>
<p class="MsoNormal">Adrian Francalanza (University of Malta, Malta)<o:p></o:p></p>
<p class="MsoNormal">Hongfei Fu (Shanghai Jiao Tong University, China)<o:p></o:p></p>
<p class="MsoNormal">Fatemeh Ghassemi (University of Tehran, Iran)<o:p></o:p></p>
<p class="MsoNormal">Helle Hvid Hansen (University of Groningen, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">Sung-Shik Jongmans (Open University of the Netherlands; Centrum<o:p></o:p></p>
<p class="MsoNormal">Wiskunde & Informatica, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">Jan Kofron (Charles University, Czech Republic)<o:p></o:p></p>
<p class="MsoNormal">Alfons Laarman (Leiden University, Netherlands)<o:p></o:p></p>
<p class="MsoNormal">Claudio Antares Mezzina (Università di Urbino, Italy)<o:p></o:p></p>
<p class="MsoNormal">Mohammadreza Mousavi (King's College London, UK)<o:p></o:p></p>
<p class="MsoNormal">Daniele Nantes-Sobrinho (Universidade de Brasília, Brasil)<o:p></o:p></p>
<p class="MsoNormal">Luca Padovani (Università di Camerino, Italy)<o:p></o:p></p>
<p class="MsoNormal">Kirstin Peters (Universität Augsburg, Germany)<o:p></o:p></p>
<p class="MsoNormal">Anna Philippou (University of Cyprus, Cyprus)<o:p></o:p></p>
<p class="MsoNormal">Anne Remke (WWU Münster, Germany)<o:p></o:p></p>
<p class="MsoNormal">Vasco T. Vasconcelos (LaSiGE and Dept. of Informatics, Faculty of<o:p></o:p></p>
<p class="MsoNormal">Sciences, University of Lisbon, Portugal)<o:p></o:p></p>
<p class="MsoNormal">Rob van Glabbeek (Data61 - CSIRO, Australia)<o:p></o:p></p>
<p class="MsoNormal">Yuting Wang (Shanghai Jiao Tong 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">Artefact Evaluation Committee chairs<o:p></o:p></p>
<p class="MsoNormal">------------------------------------<o:p></o:p></p>
<p class="MsoNormal">Mário Pereira (NOVA University Lisbon, Portugal)<o:p></o:p></p>
<p class="MsoNormal">Tom van Dijk (University of Twente)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Artefact Evaluation Committee<o:p></o:p></p>
<p class="MsoNormal">-----------------------------<o:p></o:p></p>
<p class="MsoNormal">TBA<o:p></o:p></p>
</div>
</body>
</html>