The main objective of the conference is to foster the integration between the formal methods and the software engineering communities, to strengthen .. Read more the --- still too weak --- links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. Originally a successful satellite workshop of ICSE, since 2018 FormaliSE is organised as a conference co-located with ICSE. The 9th edition of FormaliSE will be held online. The conference will be co-located with ICSE 2021.
- Share your Experience