This is just a test alert. Click here to learn more.
FMSE 2023 continued the tradition of bridging the gap between theoretical formal methods and practical software engineering. This year’s conference highlighted a significant paradigm shift: the integration of Formal Methods with Artificial Intelligence (AI). While traditional topics like model checking and theorem proving remained core, the community demonstrated a strong pivot toward verifying Machine Learning (ML) systems and utilizing Large Language Models (LLMs) to automate formal specification.
The consensus indicates that formal methods are moving from "niche academic pursuit" to "critical necessity" for safety-critical and autonomous systems.
FMSE 23 was notable for its practical, hands-on offering. Three sold-out workshops deserve mention: fmse 23
The peer-reviewed proceedings of FMSE 23 (published in the Journal of Financial Simulation, Vol. 14, Issue 2) remain highly cited in 2025. Here are the standout contributions:
Beyond the sessions, FMSE 23 facilitated the creation of the Financial Simulation Standards Working Group (FSSWG). This group, comprising 15 institutions, aims to standardize: FMSE 2023 continued the tradition of bridging the
As of June 2025, the FSSWG has released three draft standards, all traceable to discussions initiated at FMSE 23.
The implementation of the "fmse 23" feature involves the following steps: FMSE 23 was notable for its practical, hands-on offering
The following requirements must be met for the "fmse 23" feature: