Alexandra Mendes participates in Dagstuhl Seminar on Specification Engineering

Alexandra Mendes was invited to participate in the Dagstuhl Seminar 25392 on Specification Engineering: Foundations for the Future of Software Development.

The Dagstuhl Seminar 25392 on Specification Engineering: Foundations for the Future of Software Development was held from September 21 to 26, 2025, in Dagstuhl, Germany.

The seminar brought together leading researchers and practitioners in the field of specification engineering to discuss recent advancements, challenges, and future directions. Topics covered included formal methods, requirements engineering, model-driven development, and the integration of specifications into modern software development practices.

This demonstrates Software Reliability Lab’s commitment to advancing the field of software engineering through active participation in high-profile academic events.

Link to seminar: https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/25392