[TYPES/announce] FORTE 2020 @ DisCoTec, June 15-19, Valletta, Malta -- CFP

Sun Jan 19 08:38:59 EST 2020

********************************************************************************************

*FORTE 2020* <https://www.discotec.org/2020/forte> - 40th International
Conference on Formal Techniques for Distributed Objects, Components, and
Systems

June 15-19, 2020, Valletta, Malta

FORTE 2020 is one of the three conferences of DisCoTec 2020
<https://www.discotec.org/2020/>,

the 15th International Federated Conference on Distributed Computing
Techniques

******************************************************************************************

*Keynote Speakers at DisCoTec*

Holger Hermanns, Saarland University

Peter Kriens, OSGi Alliance

Ken McMillan, Microsoft Research, Redmond

*Important dates*

February 3, 2020 - abstract submission

February 14, 2020 - paper submission

April 10, 2020 - notification

April 24, 2020 - camera ready

*Scope*

FORTE 2020 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:

   - Software quality, reliability, availability, and safety;
   - Security, privacy, and trust in distributed and/or communicating
   systems;
   - Service-oriented, ubiquitous, and cloud computing systems
   - Component- and model-based design
   - Object technology, modularity, software adaptation
   - Self-stabilization and self-healing/organizing
   - 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
   - *Formal methods and 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 Guidelines*

Contributions must be written in English according to one of the three
categories described below. They should report on original, unpublished
work, not submitted for publication elsewhere (cf. IFIP codes of conduct
<http://www.ifip.org/index.php?option=com_content&task=view&id=219&Itemid=564>,
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.

*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.

*Short papers* (page limit: up to 6 pages + 2 pages references)

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.

Short paper submissions must be marked as such in the submission’s title.

*“Journal First” papers* (page limit: up to 2 pages, including references)
This category aims at including published journal papers in the FORTE 2020
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,
      2018 (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, except for the journal-first submissions, will be
published in the FORTE 2020 formal proceedings, which will appear in
Springer’s LNCS-IFIP volume series.

*Special Issue*

Selected papers will be invited to a special issue of *Logical Methods in
Computer Science* <https://lmcs.episciences.org/>.

*Submission Link*

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

*Program committee chairs*

   - Alexey Gotsman <https://software.imdea.org/~gotsman/> (IMDEA Software
   Institute, Spain)
   - Ana Sokolova <http://cs.uni-salzburg.at/~anas/> (University of
   Salzburg, Austria)

*Program committee members*

   - Marco Bernardo (University of Urbino, Italy)
   - Nathalie Bertrand (INRIA, France)
   - Marco Carbone (IT University of Copenhagen, Denmark)
   - Andrea Corradini (University of Pisa, Italy)
   - Cezara Dragoi (INRIA and ENS, France)
   - Constantin Enea (University Paris Diderot, France)
   - Javier Esparza (TU Munich, Germany)
   - Philipp Haller (KTH, Sweden)
   - Bart Jacobs (KU Leuven, Belgium)
   - Radha Jagadeesan (DePaul University, USA)
   - Akash Lal (Microsoft Research, India)
   - Mohsen Lesani (University of California, Riverside, USA)
   - Stephan Merz (INRIA, France)
   - Antoine Miné (Sorbonne Université, France)
   - Koko Muroya (RIMS Kyoto University, Japan)
   - Catuscia Palamidessi (INRIA and LIX, France)
   - Kirstin Peters (TU Darmstadt, Germany)
   - Tatjana Petrov (University of Konstanz, Germany)
   - Vincent Rahli (University of Birmingham, UK)
   - Tyler Sorensen (Princeton University and University of California
   Santa Cruz, USA)
   - Marielle Stoelinga (TU Twente, The Netherlands)
   - Sara Tucci-Piergiovanni (CEA LIST, France)
   - Nikos Tzevelekos (Queen Mary University of London, UK)
   - Viktor Vafeiadis (MPI-SWS, Germany)
   - Josef Widder (TU Vienna and Interchain, Austria)

*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)
   - Einar Broch Johnsen (University of Oslo, Norway)
   - Jorge A. Pérez (University of Groningen, The Netherlands)
   - Alexandra Silva (University College London, UK)
   - Jean-Bernard Stefani (INRIA, France)
   - Nobuko Yoshida (Imperial College London, UK)
   - Heike Wehrheim (Paderborn University, Germany)

*More Information*

For additional information, please contact the Program Committee Co-chairs:
forte20 at easychair dot org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200119/fcc7dd03/attachment-0001.html>