***********************************************************************
FORTE 2019: 
39th International Conference on 
Formal Techniques for Distributed Objects, Components, and Systems

Kongens Lyngby, Denmark, 18-21 June 2019

http://www.discotec.org/2019/forte
***********************************************************************

HIGHLIGHTS (see below for details):

- Submission deadline: February 15 (abstracts), February 22 (papers).

- Three submission categories: full papers, short papers, and (new) journal-first papers will all appear in the LNCS proceedings.

- Special issue in Logical Methods in Computer Science (LMCS).

- Invited speakers:   
   David Basin (ETH Zürich, Switzerland)
   Anne-Marie Kermarrec (INRIA Rennes, France)
   Marta Kwiatkowska (University of Oxford, UK)
   Silvio Micali (MIT, USA)
   Martin Wirsing (LMU, Germany) 

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


FORTE 2019 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 dates *

- February 15, 2019: Submission of abstract
- February 22, 2019: Submission of papers
- April 12, 2019: Notification of accepted papers
- June 18-21, 2019: Conference


* Keynote Speakers *

  - David Basin (ETH Zürich, Switzerland)
  - Anne-Marie Kermarrec (INRIA Rennes, France)
  - Marta Kwiatkowska (University of Oxford, UK)
  - Silvio Micali (MIT, USA)
  - Martin Wirsing (LMU, Germany)


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

This year, 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 regular 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 is a new category, which aims at including published journal papers
    in the FORTE 2019 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, 2017 (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.

    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, regardless of category, will be published in the
FORTE 2019 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.


* Submission Link *

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


* Program committee chairs *

    Jorge A. Pérez (University of Groningen, The Netherlands)
    Nobuko Yoshida (Imperial College London, UK)


* Program comitteee members *

    Samik Basu    (Iowa State University, USA)
    Annette Bieniusa    (University of Kaiserslautern, Germany)
    Stefano Calzavara    (Università Ca’ Foscari Venezia, Italy)
    Natalia Chechina    (Bournemouth University, UK)
    Mila Dalla Preda    (University of Verona, Italy)
    Rayna Dimitrova (University of Leicester, UK)
    Patrick Eugster    (University of Lugano, Switzerland)
    Ichiro Hasuo    (National Institute of Informatics, Japan)
    Thomas Hildebrandt    (University of Copenhagen, Denmark)
    Sophia Knight    (University of Minnesota Duluth, USA)
    Etienne Lozes    (University of Nice & CNRS, France)
    Emanuela Merelli    (University of Camerino, Italy)
    Roland Meyer    (TU Braunschweig, Germany)
    Uwe Nestmann    (TU Berlin, Germany)
    Gustavo Petri    (IRIF - Paris Diderot - Paris 7, France)
    Willard Rafnsson    (IT University of Copenhagen, Denmark)
    Anne Remke (WWU Münster, Germany and University of Twente, The
Netherlands)
    Guido Salvaneschi    (TU Darmstadt, Germany)
    Cesar Sanchez    (IMDEA Software Institute, Spain)
    Ana Sokolova    (University of Salzburg, Austria)
    Alexander J. Summers    (ETH Zurich, Switzerland)
    Peter Thiemann    (Universität Freiburg, Germany)
    Tim Willemse    (Eindhoven University of Technology, The Netherlands)
    Lukasz Ziarek    (SUNY Buffalo, USA)
    Jaco van de Pol    (Aarhus University, Denmark and University of
Twente, The Netherlands)


* Steering committee *

    Erika Abraham (Aachen University, Germany)
    Elvira Albert (Complutense University of Madrid, Spain)
    Christel Baier (Universität Dresden, Germany)
    Frank de Boer (CWI, Netherlands)
    Luís Caires (Universidade Nova de Lisboa, Portugal)
    Einar Broch Johnsen (University of Oslo, Norway)
    Ivan Lanese (University of Bologna/INRIA, Italy)
    Catuscia Palamidessi (INRIA Paris, France)
    Jean-Bernard Stefani (INRIA Grenoble, France) - Chair
    Heike Wehrheim (Paderborn University, Germany)


* More Information * 

For additional information, please contact the Program Committee
Co-chairs: forte19@easychair.org