All conferences / FORTE / 2024
FORTE 2024
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Submission timeline
-
16 Feb 2024
Abstract registration
AoE
2 Feb 2024→ 16 Feb 2024 +14 days -
23 Feb 2024
Full paper
AoE
9 Feb 2024→ 23 Feb 2024 +14 days -
5 Apr 2024
Notification
29 Mar 2024→ 5 Apr 2024 +7 days
- 17 Jun 2024 Conference opens
What to submit
- Format
- 15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)
- Proceedings
- Springer LNCS IFIP — Paywalled, for-profit
A DisCoTec Member Conference. The best papers will be invited after the conference to contribute to a special issue of LMCS. Recent acceptance rates: 41% (20/49, 2013), 36% (18/50, 2014), 28% (15/53, 2015), 41% (18/44, 2016), 40% (13 long + 3 short + 1 tool/42) in 2017, 36% (10/28) in 2018, 43% (18/42) in 2019, 44% (11/25) in 2020, 43% (12/28) in 2022.
Call for papers
- After a deadline extension FORTE-2024-extended.txt · TXT · shown below
- As first published FORTE-2024.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.discotec.org/2024/forte.
=================================================================== JOINT CALL FOR PAPERS DisCoTec 2024 19th International Federated Conference on Distributed Computing Techniques June 17-21, 2024 Groningen, The Netherlands Sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). Submission deadline: February 23, 2024 (Extended!) https://www.discotec.org/2024 =================================================================== DisCoTec 2024 will gather three conferences that cover a broad spectrum of distributed computing subjects: from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. == COORDINATION == (https://www.discotec.org/2024/coordination) 26th International Conference on Coordination Models and Languages Chairs: - Ilaria Castellani (INRIA Sophia Antipolis, FR) - Francesco Tiezzi (University of Florence, IT) == DAIS == (https://www.discotec.org/2024/dais) 24th International Conference on Distributed Applications and Interoperable Systems Chairs: - Rolando Martins (University of Porto, PT) - Mennan Selimi (South East European University, MK) == FORTE == (https://www.discotec.org/2024/forte) 44th International Conference on Formal Techniques for Distributed Objects, Components and Systems Chairs: - Valentina Castiglioni (Eindhoven University of Technology, NL) - Adrian Francalanza (University of Malta, MT) === Artefact Evaluation (all conferences) === Chair: - Roberto Casadei (University of Bologna, IT) === Keynote Speakers === - Marieke Huisman (University of Twente, NL) - Laura Kovács (Vienna University of Technology, AT) - Paulo Veríssimo (KAUST, SA) === Important Dates (for all main conferences) - EXTENDED === - Abstract submission: February 16, 2024 (Extended) - Paper submission: February 23, 2024 (Extended) - Paper notification: April 5, 2024 (Extended) - Camera-ready: April 24, 2024 - DisCoTec conference: June 17-21, 2024 Deadlines expire at 23:59 (AoE, anywhere on earth) on the dates displayed above. See each conference site for topics of interest, paper categories, and submission instructions. === Satellite Events === We invite the community to submit proposals for one day workshops and tutorials on topics related to the distributed computing field. Details: http://www.discotec.org/2024/csep - Proposal submission deadline: February 12, 2024 === Proceedings === The proceedings of COORDINATION, DAIS, and FORTE will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. === Journal Special Issues === Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals: - Logical Methods in Computer Science (https://lmcs.episciences.org) - Science of Computer Programming (TBC). === Organizing Committee === - Jorge A. Pérez (University of Groningen, NL — General Chair) - Ivan Bliznets (University of Groningen, NL) - Anton Chernev (University of Groningen, NL) - Dan Frumin (University of Groningen, NL — Workshops and Tutorials Co-chair) - Helle Hvid Hansen (University of Groningen, NL) - Bas van den Heuvel (Karlsruhe University of Applied Sciences and University of Freiburg, DE — Publicity Chair) - Juan C. Jaramillo (University of Groningen, NL) - Claudio Antares Mezzina (University of Urbino, IT — Workshops and Tutorials Co-chair) - Revantha Ramanayake (University of Groningen, NL)