posted by system || 200 views

FORTE 2022 : International Conference on Formal Techniques for Distributed Objects, Components, and Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Description Techniques for Distributed Systems and Communication Protocols
 
Link: https://www.discotec.org/2022/forte
 
When Jun 13, 2022 - Jun 17, 2022
Where Lucca, Italy
Abstract Registration Due Jan 28, 2022
Submission Deadline Feb 2, 2022
Notification Due Mar 25, 2022
Final Version Due Apr 24, 2022
 

Call For Papers

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

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.

--------------------------------------------------------------

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 after a 3 years embargo.

Special Issue

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

Submission Link
https://easychair.org/conferences/?conf=forte2022

--------------------------------------------------------------

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

Related Resources

FORTE 2022   42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
DisCoTec - 2022   17th International Federated Conference on Distributed Computing Techniques
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
FORMATS 2022   Formal Modeling and Analysis of Timed Systems
NETYS 2022   NETYS 2022 : THE 10th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
COORDINATION 2022   24th International Conference on Coordination Models and Languages
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
HPDC 2022   ACM HPDC 2022 (The 31th International Symposium on High-Performance Parallel and Distributed Computing)