[TYPES/announce] CFP: FORTE 2022 (Abstract Deadline: January 28, Submission Deadline: February 4)

[Giorgio Audrito]

=======================================================
First Call for Papers

42nd International Conference on Formal Techniques for Distributed Objects,
Components, and Systems (FORTE 2022)

13-17 June 2022, Lucca, Italy
=======================================================

*COVID-19*

FORTE 2022 is planned as a physical, in-person event, with certain support
for remote presence, both for speakers and for other participants who are
unable or unwilling to come. Depending on the pandemic situation, we may
have to make a decision whether to cancel the physical component of the
event or not.


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

The conference solicits original contributions that advance the science and
technology for distributed systems, with special interest in:

● Component- and model-based design
● Cyber-physical systems, autonomous systems, and AI-enabled systems design
and trustworthiness
● Object technology, modularity, software adaptation
● Self-stabilization and self-healing/organizing
● Software quality, reliability, availability, and safety
● Security, privacy, and trust in distributed and/or communicating systems
● Service-oriented, ubiquitous, and cloud computing systems
● Verification, validation, formal analysis, and testing of the above.

Aligned with the above, FORTE covers *models and formal specification,
testing* and *verification methods* for distributed computing. Application
domains are multiple, and include all kinds of application-level
distributed systems, telecommunication services, Internet, embedded and
real-time systems, as well as networking and communication security and
reliability.

Contributions that *combine theory and practice* and that exploit formal
methods and theoretical foundations to present novel solutions to problems
arising from the development of distributed systems are very much
encouraged.


*Main Topics of Interest*
Topics of interest include but are not limited to:

   - *Languages and semantic foundations*
   New modeling and language concepts for distribution and concurrency;
   semantics for different types of languages, including programming
   languages, modeling languages, and domain-specific languages; real-time and
   probability aspects

   -
*Rigorous analysis techniques *Design, specification, analysis,
   verification, validation, testing and runtime verification of various types
   of distributed systems, including communications and network protocols,
   service-oriented systems, adaptive distributed systems, cyber-physical
   systems and sensor networks

   -
*Foundations of security *New principles for qualitative and quantitative
   security analysis of distributed systems, including formal models based on
   probabilistic concepts

   -
*Applications of formal methods *Applying formal methods and techniques for
   studying quality, reliability, availability, and safety of distributed
   systems

   -
*Practical experience with formal methods *Industrial applications, case
   studies and software tools for applying formal methods and description
   techniques to the development and analysis of real distributed systems

   - *Emerging challenges and hot topics in distributed systems* (broadly
   construed)
   Formal specification, verification and analysis of emerging systems and
   applications, such as, for instance, software-defined networks, distributed
   ledgers, smart contracts, and blockchain technologies.


*Submission, Publication, and Special Issue*

*Submission dates*
● Abstract submission: January 28, 2022
● Paper submission: February 4, 2022
● Paper notification: March 25, 2022
● Camera-ready: April 24, 2022
● DisCoTec conference: June 13-17, 2022

*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
<https://urldefense.com/v3/__https://www.ifip.org/index.php?option=com_content&task=view&id=219&Itemid=564__;!!IBzWLUs!Ft0KXitnndXmC36qOWARf-Wb52ztgY6HFAJtYVUVMelvNIZbpeL66A4Muy5Sqcu0Xw0HBvow7QkLDg$ >,
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.


*Submission Categories*
FORTE accepts contributions in three categories: *full papers*, *short
papers*, and *journal-first papers*. These categories and their associated
criteria are described in detail below.

Notice that *short* and *journal-first* papers must be explicitly marked as
such in the submission’s title.

   1. *Full papers* (page limit: up to 15 pages + 2 pages references)
   A full paper submission describes thorough and complete research results
   in the scope of the conference.

   2. *Short papers* (page limit: up to 6 pages + 2 pages references)
   Short paper submissions must be marked as such in the submission’s
   title. A short paper submission can be one of the following:
      - *Rough diamonds*: Extended abstracts presenting innovative and
      promising ideas, possibly in an early form and without
supporting evidence.
      - *Tool (demonstration) papers*: Extended abstracts describing (or
      demonstrating) new tools (or tool components) that implement (or build
      upon) theoretical foundations.
      - *Position papers*: Extended abstracts describing (i) calls to
      action, or (ii) substantiated reflections on current and/or
future research
      perspectives related to FORTE.
      3. *“Journal-first” papers* (page limit: up to 4 pages, including
   references)
   This category aims at including published journal papers in the FORTE
   2022 program. The objective is to offer FORTE attendees a richer program
   and further opportunities for interaction.
   Authors of published papers in high-quality journals can submit a
   proposal to present their journal paper in FORTE. The journal paper must
   adhere to the following four criteria:

   ○ It should be clearly in the scope of the conference.
   ○ It should be recent: only journal papers available after January 1,
   2020 (online or paper) can be presented.
   ○ It reports new research results that significantly extend prior work.
   As such, the journal paper does not simply extend prior work with material
   presented for completeness only (such as omitted proofs, algorithms, minor
   enhancements, or empirical results).
   ○ It has not been presented at, and is not under consideration for,
   journal-first programs of other similar conferences or workshops.

   A journal-first submission is a concise but compelling summary of the
   published journal paper, which makes it clear why a related presentation
   would enrich the program of FORTE.
   Journal-first submissions must be marked as such in the submission’s
   title, and must explicitly include pointers to the journal publication
   (such as a DOI) but also to related conference and workshop papers, as
   appropriate. They will be judged on the basis of the above criteria, but
   also considering relevance and the potential of enriching and complementing
   the conference program.

*Publication*

All accepted papers, including short papers and journal-first submissions,
will be published in the FORTE 2022 formal proceedings, which will appear
in Springer’s LNCS-IFIP volume series. As such, they will be accessible
free of charge from the IFIP Digital Library (https://urldefense.com/v3/__https://dl.ifip.org/__;!!IBzWLUs!Ft0KXitnndXmC36qOWARf-Wb52ztgY6HFAJtYVUVMelvNIZbpeL66A4Muy5Sqcu0Xw0HBvqG66xM2g$ ) after a
3 years embargo.


*Special Issue*
Selected papers will be invited to a special issue of Logical Methods in
Computer Science <https://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!Ft0KXitnndXmC36qOWARf-Wb52ztgY6HFAJtYVUVMelvNIZbpeL66A4Muy5Sqcu0Xw0HBvqcYqNpFA$ >.

*Submission Link*

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=forte2022__;!!IBzWLUs!Ft0KXitnndXmC36qOWARf-Wb52ztgY6HFAJtYVUVMelvNIZbpeL66A4Muy5Sqcu0Xw0HBvrdfyJ84g$ 

*Committee members and contacts*

*Program committee chairs*

● Mohammad Mousavi, King’s College London, UK
● Anna Philippou, University of Cyprus, Cyprus

*Program committee members*

● Étienne André, Université de Lorraine, CNRS, Inria, France
● Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique, France
● Georgiana Caltais, University of Konstanz, Germany
● Yu-Fang Chen, Academia Sinica, China
● Louise Dennis, University of Manchester, UK
● Adrian Francalanza, University of Malta, Malta
● Hubert Garavel, Inria, France
● Fatemeh Ghassemi, University of Tehran, Iran
● Ebru Aydın Göl, Middle East Technical University, Turkey
● Ákos Hajdu, Budapest University of Technology and Economics, Hungary
● Arnd Hartmanns, University of Twente, The Netherlands
● Marieke Huisman, University of Twente, The Netherlands
● Peter Höfner, Australian National University, Australia
● Wen Kokke,  University of Edinburgh, Scotland, UK
● Barbara  König, University of Duisburg-Essen, Germany
● Annabelle McIver, Macquarie University, Australia
● Massimo  Merro, University of Verona, Italy
● Claudio Mezzina, Università di Urbino, Italy
● Catuscia Palamidessi, École Polytechnique, France
● Kirstin Peters, TU Darmstadt, Germany
● Sanjiva Prasad, Indian Institute of Technology Delhi, India
● António Ravara, Universidade Nova de Lisboa, Portugal
● Ana Sokolova, University of Salzburg, Austria
● Mahsa Varshosaz, IT University of Copenhagen, Denmark
● Mahesh Viswanathan, University of Illinois, USA
● Tim Willemse, Eindhoven University of Technology, The Netherlands
● Ingrid Chieh Yu, University of Oslo, Norway

*Steering committee*

● Ahmed Bouajjani (University Paris Diderot, France)
● Christel Baier (University Dresden, Germany)
● 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)
● Kirstin Peters (Technical University of Darmstadt, Germany)
● 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
at:
forte2022 at easychair.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211227/576ce441/attachment-0001.htm>