FinanSE 2025

Accepted Papers

Call for Papers

FinanSE’25 welcomes research papers presenting:

• Original and innovative ideas to resolve software engineering challenges in financial firms leveraging AI power
• Open research problems to pursue
• Experience reports, case studies, and tool demonstrations

We invite submissions at the intersection of financial services and AI for Software Engineering. Topics of interest include but are not limited to:

• AI/ML for Software system monitoring and analytics
• Software reliability, automated testing, and high-value defects prediction
• Software modernisation and cloud migration
• Code translation from “low resource” programming languages
• Programming without coding (natural language to software)
• Search-based software engineering and optimisation
• Model extraction for legacy software systems in low-data and highly-regulated environments
• Model explainability and fairness
• Human aspects of AI for Software Engineering in a financial market

FinanSE’25 workshop accepts both research papers and extended abstracts, presenting original contributions:

• Research papers (8 pages max, including text, figures, tables, references, and appendix) on novel approaches, tools, datasets, or studies.
• Extended abstracts (2 pages max, including text, figures, tables, references, and appendix) on novel ideas and preliminary results that have yet to be fully developed.

Motivation and Relevance

We encourage submissions that clearly articulate the software engineering challenge in financial context and practical implications of the proposed research. Authors should not only describe the technical contributions but also address why their work is essential in a financial setting, highlighting specific software engineering challenges or opportunities in areas such as trading, risk management, compliance, financial data management, or any other relevant domain.

Submission

Each submission will be reviewed by the program committee with respect to suitability for the workshop, following a double-blind process. This means that the identity of the authors must not be revealed in their submissions. Please follow the IEEE conference proceedings template to prepare your submissions, as specified in the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options).

At least one author of each accepted paper should register for the workshop and present the paper in the workshop.

Title: Revisiting the triptychs of software engineering in the FinTech and RegTech realms

Abstract:

The finance field is a heavily regulated area that has seen continuous regulatory changes in the aftermath of the 2008 crisis, as well as an ever-increasing demand for establishing compliance and supervision processes, to ensure proper conduct by companies and their employees. We observe a gap between financial activities, now highly automated and at scale, and most of the financial compliance and supervision processes, which still rely on manual human evaluation and as such do not scale and fall behind. This prompts the need to investigate the use of IT technologies to fill this gap and make the new financial ecosystem safe and sustainable. In this talk, I will discuss how triptychs of software engineering activities can be applied to automate change impact analysis of financial regulations, supervision of fund activities, and compliance checking of financial documents.

Speaker: Domenico Bianculli

Domenico Bianculli is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, where he heads the Software Verification and Validation (SVV) research group. He holds a PhD degree from Università della Svizzera italiana. Domenico’s research focuses on the specification and verification of evolvable software systems. His research interests include: run-time verification and monitoring, temporal logics and specification languages, log analysis, program analysis, and regulatory compliance.