| 2026 | 13 | Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts - 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part III | Kos | |
| 2024 | 12 | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V | Crete | |
| 2022 | 11 | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III | Rhodes | |
| 2021 | 10 | Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings | Rhodes | |
| 2020 | 9 | Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III | Rhodes | |
| 2018 | 8 | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ISOLA, ISoLA 2018 | Limassol | 2018-11-05/09 |
| 2016 | 7 | International Symposium on Leveraging Applications of Formal Methods ISoLA | Corfu | 2016-10-10/14 |
| 2014 | 6 | International Symposium on Leveraging Applications of Formal Methods ISoLA 2014, ISoLA | Corfu | 2014-10-08/11 |
| 2014 | 6 | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II | Corfu | |
| 2014 | 6 | Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers | Heraklion | |
| 2012 | 5 | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA | Heraklion | 2012-10-15/18 |
| 2011 | | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA | Vienna | 2011-10-17/18 |
| 2010 | 4 | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, ISoLA | Heraklion | 2010-10-18/21 |
| 2008 | 3 | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA | Kassandra Municipality | 2008-10-13/15 |
| 2007 | | ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 ISOLA | France | 2007-12-12/14 |
| 2006 | | Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 ISOLA | Paphos | 2006-11-15/19 |
| 2005 | | Leveraging Applications of Formal Methods ISOLA | Columbia | 2005-01-01 |
| 2004 | 1 | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2004, ISoLA | Paphos | 2004-10-30 to 2004-11-02 |
| 2004 | | International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings | | |
