I am a member of the Steering Committee of FormaliSE 2025, which will be co-located with ICSE 2025 to take place on May 27–28, 2025 in Ottawa, Ontario, Canada.
The submissions deadlines have been extended:
- Abstract submission deadline:
11/11/202518/11/2025 - Paper submission deadline:
18/11/202525/11/2025
Please submit your best work through here!