Västerås, Sweden
7,8 April 2025
##########################

-- About FSEN --

Fundamentals of Software Engineering (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. Additionally, this conference seeks to
facilitate the transfer of experience, adaptation of methods, and where possible,
foster collaboration among different groups. The topics of interest cover all aspects
of formal methods, especially those related to advancing the application of formal methods
in the software industry and promoting their integration with practical engineering
techniques.

This year, FSEN will take place in Västerås, Sweden, on 7 and 8 April 2025.

The event includes four keynote talks.

The preliminary conference program can be found at:

https://conf.researchr.org/program/fsen-2025/program-fsen-2025/

January 31st 23:59 CET: Early-bird registration deadline for paper presenters and participants without presentation
February 21st 23:59 CET: Early-bird registration deadline for poster presenters
March 14th 23:59 CET: Registration deadline

-- Keynote Speakers --

Işıl Dillig, University of Texas at Austin, United States
Philipp Rümmer, University of Regensburg, Germany, and Uppsala University, Sweden
Alexander Serebrenik, Eindhoven University of Technology, Netherlands
Marielle Stoelinga, University of Twente, Neterlands, and Radboud University, Nijmegen, Netherlands

-- Program Chairs --

Georgiana Caltais, University of Twente, Netherlands

Hossein Hojjat, Tehran Institute for Advanced Studies, Iran