Fundament als of Software Engineering (FSEN) is an internati onal conference that aims to bring together resear chers, engineers, developers, and practitioners fr om academia and industry to present and discuss th eir research work in the area of formal methods fo r software engineering. Additionally, this confere nce seeks to facilitate the transfer of experience , adaptation of methods, and where possible, foste r collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the applicat ion of formal methods in the software industry and promoting their integration with practical eng in eering techniques.
\nKeynote Speakers (con
firmed):
\n Işıl Dillig, University of Texas a
t Austin
\n Alexander Serebrenik, Eindhoven Un
iversity of Technology
\n Marielle Stoelinga,
University of Twente and Radboud University, Nijme
gen
Authors are invited to submit full papers (up to 15 pages including refer en ces) describing original research, applications and tools; or short papers (up to 6 pages includi ng references) describing ongoing research or new ideas that have not yet been fully valid ated. Bot h categories of papers must be submitted electroni cally in PDF using the online submission process v ia the Easychair conference system.
\nCon tributions must be written in English, should be f ormatted according to the Springer LNCS style and not exceed the page li mit for the category (including figures and refer ences). Each submission will be thoroughly reviewe d by at least three reviewers con sidering scienti fic originality, significance, relevance to the FS EN conference, technical soundness, clarity, self- containedness and discussion of appropriate relate d work. Submissions are required to report on orig inal, unpublished work and should not be submitted simultaneously for publication elsewhere.
\n URL:https://conf.researchr.org/home/fsen-2025 END:VEVENT END:VCALENDAR