Sylvain Hallé
Posted in Conferences, Students
We are pleased to announce that Rania Taleb, a PhD candidate under the supervision of LIF members Prs. Raphaël Khoury and Sylvain Hallé, has earned the Best Paper Award of the 9th Conference on Formal Methods in Software Engineering (FormaliSE 2021). The event was co-located with the International Conference on Software Engineering (ICSE),
…
Sylvain Hallé
Posted in Conférence
Professors Sylvain Hallé and Hugo Tremblay recently published a paper at the Computer Aided Verification (CAV) conference, held virtually in July 2021. The CAV conference is one of the best in the field of software verification.
The article, titled Foundations of Fine-Grained Explainability, defines the mathematical basis of a concept called “explainability”.
…
Sylvain Hallé
Posted in Cornipickle, Open positions, Students
(This internship will take place in French. For more information, please refer to the French version of this post.)
As part of a collaboration with Eckinox, an agency specialized in web, design, video and marketing, the project consists of developing web applications and integrating into the development process an automated tool for testing graphical interfaces.
…
Sylvain Hallé
Posted in Uncategorized
Professor Sylvain Hallé has received the 2020 Best Reviewer Award from the Journal of Software and Systems Modeling. This award recognizes his effort as one of the top 1% reviewers of the journal for the year 2020.
The Journal of Software and Systems Modeling,
…
Recent Comments