FormaliSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Conference Editions
Sat 25 - Fri 31 May 2019, Montreal, QC, Canada

FormaliSE 2019 with ICSE 2019

This page will soon grow in content and contain information about the scope of this research track.

Sat 2 Jun 2018, Gothenburg, Sweden

FormaliSE 2018 with * ICSE 2018 *

The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, even considering the current technologies, the success of software projects is often not guaranteed. Many of the approaches used for large complex problems have not been able to assure the correct behavior of the delivered software, despite the efforts of the (often very ...