Call for Papers: FormaliSE 2025

The International Workshop on Formal Methods for interactive Systems (FormaliSE 2025) invites submissions for the following paper categories:

• Full research papers: Describing original research work and results, encouraging validation through case studies or experiments. Research papers focusing on tools and tool development are also welcome.
• Case study papers: Discussing significant applications that suggest general lessons learned, motivate further research, or empirically validate theoretical results (e.g., scalability).
• Research ideas papers: Describing new ideas in a preliminary form to stimulate discussion and suggest future work.

Submission Guidelines

• All papers must be written in English, be original, and not under review or submitted elsewhere.
• FormaliSE 2025 uses a lightweight double-anonymous review process. Authors must omit names and institutions from the title page, cite their own work in the third person, and omit acknowledgments that might reveal their identity or affiliation.
• Page Limits:
  • Full research papers and case study papers: up to 10 pages (excluding references).
  • Research ideas papers: up to 4 pages, plus up to 1 additional page solely for references.
  • Slightly exceeding page limits will be considered if the presentation quality is high.
• Format: All submissions must be in PDF format and conform to the IEEE conference proceedings template.
  • LaTeX users: Use \documentclass[10pt,conference]{IEEEtran} without compsoc or compsocconf options.
• Submission Link: Use the HotCRP link provided on the conference website.

Review Process

• Each paper will be reviewed by at least three program committee members.
• Quality will be judged on soundness, significance, novelty, verifiability, and presentation clarity.
• A lightweight response process may be used for borderline papers, where authors may be asked for clarifications by email.

Publication

• All accepted papers will be published as part of the ICSE 2025 Proceedings in the ACM and IEEE Digital Libraries.
• At least one author of each accepted paper must register for the conference and present the paper (physically or virtually).

Keynote Speakers

• Assuring AI in Autonomous Driving: Challenges and Emerging Approaches by Krzysztof Czarnecki (University of Waterloo, Canada)
• Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task by Corina Pasareanu (Carnegie Mellon University Silicon Valley, NASA Ames Research Center)

Important Dates (AoE - UTC-12h)

• Abstract submissions: Mon 18 Nov 2024
• Paper submission deadline: Mon 25 Nov 2024
• Notifications: Mon 13 Jan 2025
• Camera-ready papers due: Wed 5 Feb 2025
• Early registration deadline: Tue 18 Feb 2025

Areas of Interest

• Requirements formalization and formal specification;
• Approaches, methods, and tools for verification and validation;
• Formal approaches to safety and security related issues;
• Analysis of performance and other non-functional properties based on formal approaches;
• Scalability of formal method applications;
• Integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, regression testing, and deployment);
• Model-based engineering approaches;
• Correctness-by-construction approaches for software and systems engineering;
• Application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems;
• Formal methods for AI-based systems (FM4AI), and AI applied in formal method approaches (AI4FM);
• Formal methods in a certification context;
• Case studies developed/analyzed with formal approaches;
• Experience reports on the application of formal methods to real-world problems;
• Guidelines to use formal methods in practice;
• Usability of formal methods.

Contact

For questions, please use the FormaliSE Research Track contact form.