FSEN
Mon 24 - Tue 25 May 2027 Enschede, NetherlandsFSEN 2027About FSEN FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topic ... |
Mon 7 - Tue 8 April 2025 Västerås, SwedenFSEN 2025About FSEN FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The top ... |

Farhad Arbab
CWI and Leiden University
Netherlands

Christel Baier
TU Dresden, Germany
Germany

Hossein Hojjat
Tehran Institute for Advanced Studies (TeIAS)
Iran

Mieke Massink
CNR-ISTI Pisa, Italy

Mohammad Reza Mousavi
King's College London
United Kingdom
Ali Movaghar
Hamid Sarbazi/azad
IPM

Marjan Sirjani
Malardalen University
Sweden
Carolyn Talcott
SRI International

Martin Wirsing
Ludwig Maximilian University of Munich
Germany