FormaliSE 2026: Advancing Formal Methods in Software Engineering
The 14th International Conference on Formal Methods in Software Engineering (FormaliSE 2026) was held, as always, co-located with ICSE on 12-13 April in Rio de Janeiro, Brasil.
Three types of papers were accepted: 1) Full research papers describing original research work and results. 2) Case study papers discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results, and 3) Research ideas papers describing new ideas in preliminary form and suggest future work.
PC Chairs for the event were Genaína Nunes Rodrigues (University of Brasília) and Claudio Menghi (University of Bergamo and McMaster University).
FormaliSE received 32 submissions with authors coming from 15 different countries. Out of these 32 submissions, 19 papers were accepted: 10 as research paper (34.5%), and 9 as extended abstract (31%). 13 Submissions were were rejected. A Distinguished Paper Award was given to the paper “Domain-Guided Quantifier Instantiation with Yardbird” (Cole Vick (University of Texas at Austin); Samuel Thomas (University of Texas at Austin)). Distinguished Reviewer Awards were given to Logan Murphy (University of Toronto), Shahar Maoz (Tel Aviv University), and Emil Sekerinski (McMaster University).
The program contained five technical sessions: three on the first day and two on the second day. There were two keynote speakers:
- Lina Marsso (Polytechnique Montreal, Canada): Toward Trustworthy AI-Based Systems
- Sebastian Uchitel (UBA, Imperial College): Discrete Event Control for Robotic Mission Adaptation
Participants at FormaliSE 2026.
30 Attendees registered, and the discussion was very lively, with numerous questions after each presentation. Attendees expressed great appreciation for the event.
More details can are here: https://2026.formalise.org/.