The Forma liSE conference series promotes work at the inters ection of the formal methods and software engineer ing communities, providing a venue to exchange ide as, experiences, techniques, and results. We belie ve more collaboration between these two communitie s can be mutually beneficial by fostering the crea tion of formal methods that are practically useful and by helping develop higher-quality software.\n
Originally a workshop event, since 2018, FormaliSE has been organized as a conference co-lo cated with ICSE. The 14th edition of FormaliSE wil l also take place as a co-located conference of IC SE 2026.
\n\n
W
e accept papers in four categories:
\n * Full
research papers (10 pages of content + 2 pages of
references) describing original research work and
results.
\n * Case study papers (10 pages of c
ontent + 2 pages of references) discussing a signi
ficant application that suggests general lessons l
earned and motivates further research, or empirica
lly validates theoretical results (such as a techn
ique's scalability).
\n * Research ideas paper
s (4 pages of content + 1 page of references) desc
ribing new ideas in preliminary form, in a way tha
t can stimulate interesting discussions at the con
ference, and suggest future work.
\n * (New) E
xtended Abstract (4 pages of content + 1 page of r
eferences) presenting ongoing research or new rese
arch ideas without a mature evaluation.
All papers submitted to the FormaliSE 2026 confere nce must be written in English, must be unpublishe d original work, and must not be under review or s ubmitted elsewhere at the time of submission. Subm issions must comply with FormaliSE's lightweight d ouble-anonymous review process.
\n