FORTE 2023 - 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems

FORTE 2023 is one of the three conferences of DisCoTec 2023, the 18th International Federated Conference on Distributed Computing Techniques.

Topics of Interest

FORTE 2023 is a forum for fundamental research on theory, models, tools, and applications for distributed systems.

We invite submissions focused on foundational aspects of distributed software systems, presenting approaches or tools to formally model, soundly implement, and rigorously validate these demanding but ever more necessary systems and applications. As our dependency on such software systems grow, also our responsibility as researchers grows to provide both trustworthy and usable solutions.

The main topics of interest include:

• Language concepts for concurrency and distribution, supported by rigorous semantics, well-supported pragmatics, and/or expressive illustrative use-cases.
• Analyses techniques, methodologies, and/or algorithms, using testing and/or verification, to validate (aspects of) the soundness of various types of concurrent and distributed systems, including communication and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks.
• Principles for qualitative and quantitative security analysis of distributed systems.
• Applications of formal methods and techniques for studying the quality, reliability, availability, and safety of concrete distributed systems. We are specially interested in “real-life” case studies and industrial applications involving real distributed systems.
• Emerging challenges and hot topics in distributed systems (broadly construed), such as software-defined networks, distributed ledgers, smart contracts, and blockchain technologies, etc.

Submission

Important Dates (AoE)

• Abstract submission: February 11, 2023 February 24, 2023 (Extended)
• Paper submission: February 18, 2023 March 4, 2023 (Extended)
• Artefact and video submission: February 18, 2023 March 11, 2023 (Extended)
• Rebuttal period: March 23 and 24 March 30 and 31
• Paper and artefact notification: March 31, 2023 April 7, 2023
• Camera-ready: April 30, 2023
• DisCoTec conference: June 19-23, 2023

Submission Guidelines

Contributions must be written in English according to one of the three categories described below. Apart from journal-first papers, all papers should report on original, unpublished work, not submitted for publication elsewhere (cf. IFIP codes of conduct, under Links).

Submissions must be prepared as a PDF using Springer’s LNCS style. Submissions not adhering to the specified constraints of their respective category may be rejected without review.

Categories of Papers

All papers should be submitted in LNCS format. We solicit papers in the following categories:

• Regular papers (7-15 pages, not counting references): describing thorough and complete research results and experience reports. Regular papers may be combined with an artefact submission. Companion artefacts to regular submissions will be reviewed by the Artefact Evaluation Committee, but the acceptance of the paper is decoupled from the acceptance of the artefact (does not depend on it). The acceptance of the artefact, however, is conditional to the acceptance of the paper.
• Tool papers (7-15 pages, not counting references): describing technological artefacts in the scope of the research topics of FORTE. The paper should present the underlying theory of the tool, a clear account of the tool’s functionality and limitations, and include case studies (with rigorous experimental evaluation). In addition, the tool artefact must be submitted separately for evaluation. Acceptance of the tool artefact is mandatory for tool papers to be accepted. The artefact will be evaluated by a dedicated committee. The paper must contain a link to a publicly downloadable MPEG-4 demo video of at most 10 minutes, to be submitted until a week after the paper submission deadline.
• Short papers (4-6 pages, not counting references): describing innovative and promising ideas, possibly in an early form, or demonstrating new tools (components), or presenting (i) calls to action, or (ii) substantiated reflections on current and/or future research perspectives related to FORTE, or a summary of a published journal paper clarifying why the presentation would enrich the program of FORTE.

Artefact Submission and Evalution Guidelines

FORTE 2023 includes an artefact evaluation performed by the artefact evaluation committee (AEC). Refer to this page for additional details.

Partial Rebuttal

Some papers that raised doubts the reviewers would like to clarify to consider acceptance, will have 48h to respond to concrete questions. The responses will be taken into account during the PC discussions.

Publication

The conference proceedings, formed by accepted submissions from any category, will be published by Springer as an LNCS-IFIP volume.

Special Issue

Selected papers will be invited to a special issue of Logical Methods in Computer Science.

Submission Link

https://easychair.org/conferences/?conf=forte2023

Keynote Speaker

• Azalea Raad, Imperial College London, UK

Program Committee Chairs

• Marieke Huisman, University of Twente, Netherlands
• António Ravara, NOVA University Lisbon, Portugal

Program Committee Members

• Elvira Albert (Universidad Complutense de Madrid, Spain)
• Jiri Barnat (Masaryk University, Czech Republic)
• Georgiana Caltais (University of Twente, Netherlands)
• Silvia Crafa (Università di Padova, Italy)
• Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
• Adrian Francalanza (University of Malta, Malta)
• Hongfei Fu (Shanghai Jiao Tong University, China)
• Fatemeh Ghassemi (University of Tehran, Iran)
• Rob van Glabbeek (University of Edinburgh, UK)
• Helle Hvid Hansen (University of Groningen, Netherlands)
• Sung-Shik Jongmans (Open University of the Netherlands; Centrum Wiskunde & Informatica, Netherlands)
• Jan Kofron (Charles University, Czech Republic)
• Alfons Laarman (Leiden University, Netherlands)
• Claudio Antares Mezzina (Università di Urbino, Italy)
• Mohammadreza Mousavi (King’s College London, UK)
• Daniele Nantes-Sobrinho (Universidade de Brasília, Brasil)
• Luca Padovani (Università di Camerino, Italy)
• Kirstin Peters (Universität Augsburg, Germany)
• Anna Philippou (University of Cyprus, Cyprus)
• Anne Remke (WWU Münster, Germany)

• Vasco T. Vasconcelos (LaSiGE and Dept. of Informatics, Faculty of Sciences, University of Lisbon, Portugal)

• Yuting Wang (Shanghai Jiao Tong University, China)

Artefact Evaluation Committee Chairs

• Mário Pereira (NOVA University Lisbon, Portugal)
• Tom van Dijk (University of Twente)

Artefact Evaluation Committee

• Andrea Esposito, Università di Urbino
• Ludovico Fusco, University of Urbino “Carlo Bo”
• Luís Horta, NOVA LINCS, University of Beira Interior
• Milan Lopuhaä-Zwakenberg, Universiteit Twente
• Peixin Wang, University of Oxford

Steering committee

• Ahmed Bouajjani (University Paris Diderot, France)
• Christel Baier (University Dresden, Germany)
• Frank de Boer (CWI, Netherlands)
• Luís Caires (Universidade Nova de Lisboa, Portugal)
• Alexey Gotsman (IMDEA Software Institute, Spain)
• Einar Broch Johnsen (University of Oslo, Norway)
• Ivan Lanese (University of Bologna/INRIA, Italy – Chair)
• Jorge A. Pérez (University of Groningen, The Netherlands)
• Alexandra Silva (University College London, UK)
• Ana Sokolova (University of Salzburg, Austria)
• Jean-Bernard Stefani (INRIA, France)
• Nobuko Yoshida (Imperial College London, UK)
• Heike Wehrheim (Paderborn University, Germany)
• Tim Willemse (Eindhoven University of Technology, The Netherlands)

More Information

For additional information, please contact the Program Committee Co-chairs: forte2023 at easychair dot org

Sponsors & Supporters