📢 We’re honored to welcome Prof. Marsha Chechik from University of Toronto as the keynote speaker at #SPLC2025. She will talk about "Assuring Product Lines", insights on software quality in complex, configurable systems.

🚀 A leading voice in formal methods, her insights are not to be missed! ✨

#SoftwareProductLines #FormalMethods #Keynote