I am a member of the Steering Committee of FormaliSE 2025, which will be co-located with ICSE 2025 to take place on April 27–28, 2025 in Ottawa, Ontario, Canada.
The list of accepted papers is now available.
Junior Researcher at the Spirals team of INRIA Lille – Nord Europe
I am a member of the Steering Committee of FormaliSE 2025, which will be co-located with ICSE 2025 to take place on April 27–28, 2025 in Ottawa, Ontario, Canada.
The list of accepted papers is now available.