Please note that this newsitem has been archived, and may contain outdated information or links.
12 - 13 April 2025, 14th International Conference on Formal Methods in Software Engineering (FORMALISE 2026), Rio de Janeiro, Brazil
The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software.
Originally a workshop event, since 2018, FormaliSE has been organized as a conference co-located with ICSE. The 14th edition of FormaliSE will also take place as a co-located conference of ICSE 2026.
We accept papers in four categories:
* Full research papers (10 pages of content + 2 pages of references) describing original research work and results.
* Case study papers (10 pages of content + 2 pages of references) discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability).
* Research ideas papers (4 pages of content + 1 page of references) describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work.
* (New) Extended Abstract (4 pages of content + 1 page of references) presenting ongoing research or new research ideas without a mature evaluation.
All papers submitted to the FormaliSE 2026 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with FormaliSE's lightweight double-anonymous review process.
Please note that this newsitem has been archived, and may contain outdated information or links.