7 - 8 April 2025, Eleventh International Conference on Fundamentals of Software Engineering 2025 (FSEN '25), Västerås (Sweden)
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 eng ineering techniques.
Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen
Authors are invited to submit full papers (up to 15 pages including referen ces) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully valid ated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system.
Contributions must be written in English, should be formatted according to the Springer LNCS style and not exceed the page limit for the category (including figures and refer ences). Each submission will be thoroughly reviewed by at least three reviewers con sidering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere.