Write a Blog >>
FormaliSE 2020
Mon 25 - Tue 26 May 2020 Yongsan-gu, Seoul, South Korea
co-located with ICSE 2020
Conference Editions
Mon 25 - Tue 26 May 2020 Yongsan-gu, Seoul, South Korea

FormaliSE 2020 with ICSE 2020

The software industry has a long-standing and well-earned reputation for failing to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. Many of the approaches used for developing large, complex software system are still n ...

Mon 27 May 2019 Montreal, QC, Canada

FormaliSE 2019 with ICSE 2019

Welcome to the website of the FormaliSE 2019 conference! The software industry has a long-standing and well-earned reputation for failing to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. Many of the approaches used ...

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 ...