Sponsor of the Day:
Jerkmate
https://2025.formalise.org/profile/nunopolicarpo
Nuno Policarpo - FormaliSE 2025
No description available
formalise 2025nunopolicarpo
https://2025.formalise.org/profile/chengsongtan
Chengsong Tan - FormaliSE 2025
No description available
formalise 2025tan
https://2025.formalise.org/attending/gettingAroundOttawa
Getting Around Ottawa - FormaliSE 2025
No description available
getting aroundformalise 2025ottawa
https://2025.formalise.org/
FormaliSE 2025 - Research Track - FormaliSE 2025
Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains...
formalise 2025research track