Sylvain Hallé
Posted in Open positions
The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi (https://www.uqac.ca) is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verification for event stream processing and blockchains.
…
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,
…
Sylvain Hallé
Posted in BeepBeep
Professor Sylvain Hallé, member of LIF, won the Best Paper Award at the 24th International IEEE EDOC Conference, which was held virtually in Eindhoven, the Netherlands last October.
His article, entitled Explainable Queries over Event Logs, describes a new technique for automatically explaining the result produced by a calculation applied to a sequence of events.
…
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 Students
Three doctoral students from LIF, Asma Razgallah, Rania Taleb and Massiva Roudjane, participated in the first edition of the Women in Data Science conference in Saguenay, held on March 2nd, 2020. The event coincides with the annual conference “Global Women in Data Science (WiDS)”
…
Sylvain Hallé
Posted in Uncategorized
LIF researchers have obtained funding under the Inria Associate Team program in France. The Associate Team program aims to create and strengthen research collaborations between Inria components and international research teams.
First, Professors Sylvain Hallé and Raphaël Khoury received funding to start a sustained collaboration with Professor Yliès Falcone of Université Grenoble-Alpes.
…
Sylvain Hallé
Posted in Funding
Professors Raphaël Khoury and Sylvain Hallé, members of LIF, were awarded a grant from the Natural Sciences and Engineering Research Council (NSERC) for a research project in collaboration with Industrial Alliance.
The project, focused on computer security, aims to develop techniques to detect vulnerabilities in a type of appliance called connected devices.
…
Recent Comments