Continuing the tradition of the previous years, FMCAD 2025 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community, and solicit feedback.
Forum Chair
- Tanja Schindler, University of Basel
- Lee A. Barnett, AWS