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.

IEEE/ACM 14th International Conference on Formal Methods in Software Engineering (FormaliSE) is technically sponsored by IEEE. The proceedings  of this event are likely to be indexed in  prominent databases such as Scopus, Web of Science (WoS), Ei Compendex, DBLP, Google Scholar, and many others.