![]() |
| |||||||||||||||
FORTE 2022 : International Conference on Formal Techniques for Distributed Objects, Components, and SystemsConference Series : Formal Description Techniques for Distributed Systems and Communication Protocols | |||||||||||||||
Link: https://www.discotec.org/2022/forte | |||||||||||||||
| |||||||||||||||
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) |
|