FormaliSE 2027 — 15th IEEE/ACM International Conference on Formal Methods in Software Engineering (co-located with ICSE 2027) (FormaliSE)

FormaliSE is the IEEE/ACM conference on the interplay of formal methods and software engineering, co-located with ICSE. It invites original contributions on formal verification, model checking, formal specification, theorem proving, model-based engineering, formal methods for AI, requirements formalization. Submissions may take the form of full research papers, extended abstracts and poster presentations reporting theoretical, computational and experimental work, as well as industrial case studies and applications. The meeting brings together researchers, engineers, industry practitioners and students to exchange recent results and discuss emerging directions in the field. Accepted papers are published in the conference proceedings and submitted to IEEE Xplore.