The 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) is set to be a key event in the realm of distributed computing. As a core conference within DisCoTec 2024, the 19th International Federated Conference on Distributed Computing Techniques, FORTE 2024 continues its long-standing tradition of fostering innovation and rigorous research in the formal aspects of distributed systems.
Delving into the Heart of Distributed Systems: FORTE 2024 Topics
FORTE 2024 serves as a vital platform for researchers and practitioners to converge and discuss the foundational theories, models, and practical tools essential for distributed systems. The conference emphasizes the growing importance of robust and dependable distributed software systems in our increasingly interconnected world. It calls for submissions that address the fundamental challenges in formally modeling, implementing, and validating these complex systems. The goal is to promote solutions that are not only trustworthy but also practically applicable.
Key areas of interest for FORTE 2024 include, but are not limited to:
- Language Concepts for Concurrency and Distribution: This encompasses research into programming language design that effectively supports concurrency and distribution. Submissions should be backed by solid semantic foundations, pragmatic considerations, and illustrative use-cases to demonstrate their applicability.
- Analysis Techniques for System Validation: The conference seeks innovative analytical methods, techniques, and algorithms for testing and verification. These should be aimed at validating the correctness and robustness of diverse distributed systems. This includes communication protocols, network protocols, service-oriented architectures, adaptive systems, cyber-physical systems, and sensor networks.
- Security Analysis in Distributed Environments: With security being paramount, FORTE 2024 is interested in principles and methodologies for qualitative and quantitative security analysis specific to distributed systems.
- Real-World Applications of Formal Methods: Submissions showcasing the practical application of formal methods in enhancing the quality, reliability, availability, and safety of real distributed systems are highly encouraged. The conference particularly values case studies and industrial applications that demonstrate the impact of formal techniques in real-world scenarios.
- Emerging Trends in Distributed Systems: FORTE 2024 is keen to explore cutting-edge challenges and emerging hot topics within distributed systems. This includes areas like software-defined networks, distributed ledger technologies, smart contracts, blockchain technologies, and other forward-looking domains.
Call for Submissions: Share Your Research at FORTE 2024
FORTE 2024 invites contributions across three distinct categories, each designed to accommodate different types of research and development in formal techniques for distributed systems.
Important Dates for Paper Submissions (Anywhere on Earth – AoE)
Mark your calendars with these crucial deadlines for submitting your research papers:
- Abstract Submission Deadline: February 16, 2024 (Extended)
- Full Paper Submission Deadline: February 23, 2024 (Extended)
- Notification of Paper Acceptance: April 5, 2024 (Extended)
- Camera-Ready Paper Submission: April 24, 2024
Important Dates for Artifact Submissions (Anywhere on Earth – AoE)
For those wishing to submit artifacts to complement their papers, please note these dates:
- Artifact Submission Deadline: March 8, 2024 (Extended)
- Reviewer Feedback (Kick-the-tires phase): March 15, 2024 (Extended)
- Author Response to Reviewers: March 22, 2024 (Extended)
- Artifact Acceptance Notification: April 5, 2024 (Extended)
The broader DisCoTec conference, of which FORTE 2024 is a part, will take place from June 17-21, 2024.
Submission Guidelines: Ensuring Quality and Clarity
All submissions to FORTE 2024 must adhere to rigorous academic standards. The guidelines are as follows:
- Language: All contributions must be written in English to ensure accessibility for the international research community.
- Originality: Submissions should present original, unpublished work that is not under consideration for publication elsewhere. Authors are expected to adhere to the IFIP codes of conduct regarding ethical publishing practices.
- Format: Papers must be prepared in PDF format using Springer’s LNCS style. Submissions not complying with category-specific constraints may be rejected without undergoing the review process.
Paper Categories: Tailoring Your Contribution
FORTE 2024 welcomes submissions in these categories:
- Regular Papers (7-15 pages): Ideal for presenting comprehensive research results and in-depth experience reports. Regular papers can be accompanied by artifact submissions, which will be evaluated separately. Acceptance of the paper is independent of artifact acceptance, but artifact acceptance is contingent on the paper being accepted.
- Tool Papers (7-15 pages): Focused on technological artifacts relevant to FORTE’s research areas. These papers should detail the underlying theory of the tool, its functionality, limitations, and include rigorous case studies with experimental evaluations. Tool papers must include a separate artifact submission for evaluation. A link to a publicly accessible MPEG-4 demo video (maximum 10 minutes) showcasing the tool is required one week after the paper submission deadline.
- Short Papers (up to 6 pages): Designed for innovative and promising early-stage ideas, new tool components, calls to action, well-reasoned reflections on current and future research directions in FORTE, or summaries of already published journal papers that would enrich the FORTE program.
Artifact Evaluation: Enhancing Reproducibility and Practicality
FORTE 2024 incorporates an artifact evaluation process managed by a dedicated Artifact Evaluation Committee (AEC). Detailed guidelines for artifact submission and evaluation can be found on the dedicated page.
Publication and Recognition: Sharing Your Work with the World
Accepted submissions across all categories will be published in the conference proceedings by Springer as volume 14678 of LNCS-IFIP, ensuring broad visibility within the scientific community.
Journal Special Issues: Expanding the Reach of FORTE Research
Select outstanding papers from FORTE and the COORDINATION program will be invited to contribute to special journal issues, further amplifying the impact of presented research:
- Logical Methods in Computer Science (LMCS): A special issue is planned with a tentative submission deadline in October/November 2024 and first-round notifications expected by February 2025. This invitation excludes tool papers.
- Science of Computer Programming (SCP) – Software Track: Selected tool papers will be invited to a special issue within SCP’s Software Track, providing a platform for showcasing practically relevant tools and their underlying principles.
Submission Portal: EasyChair
Submit your contributions through the EasyChair conference management system: https://easychair.org/conferences/?conf=forte2024
Connect with the FORTE 2024 Community
For any further inquiries or additional information, please do not hesitate to contact the Program Committee Co-chairs at forte2024 at easychair dot org.
Generous Sponsors and Supporters
FORTE 2024 is made possible through the generous support of:
[
