Laboratoire d'informatique formelle

02/07/2025

Le Laboratoire d'informatique formelle à l'Université du Québec à Chicoutimi recherche d'excellents candidats au doctorat pour un projet de doctorat financé de 3 ans pour l'évaluation des compétences cliniques par le monitoring et l'analyse de logs. Date d'entrée en fonction: dès que possible Description du sujet La Fondation Charles-Bruneau finance un projet visant à mettre sur pied une formation numérique interactive pour améliorer les pratiques auprès des enfants atteints d’un cancer et de leurs familles....

Le Laboratoire d’informatique formelle à l’Université du Québec à Chicoutimi recherche d’excellents candidats au doctorat pour un projet de doctorat financé de 3 ans pour l’…

02/07/2025

The Formal Computing Laboratory at the University of Québec in Chicoutimi is seeking excellent M.Sc. candidates for two 2-year funded Masters project for the evaluation of clinical skills through monitoring and analysis of logs. Start date: May 1, 2025 (or anytime sooner) Project Description The Charles-Bruneau Foundation is funding a project aimed at setting up an interactive digital training to improve practices for children with cancer and their families....

http://liflab.ca/index.php/lif25-m1/

The Formal Computing Laboratory at the University of Québec in Chicoutimi is seeking excellent M.Sc. candidates for two 2-year funded Masters project for the evaluation of clinical skills through m…

02/02/2024

Le Laboratoire d’informatique formelle de l’Université du Québec à Chicoutimi est à la recherche de candidats pour plusieurs projets financés de niveau maîtrise et doctorat débutant à l’été et à l’automne 2024. La Chaire de recherche du Canada en spécification, test et vérification de systèmes informatiques assure le financement des étudiants, sous la forme d’une bourse d’études, pour la durée du projet (2 ans pour la maîtrise, 3 ans pour le doctorat).

Plus de détails: https://liflab.ca/index.php/lif24/?lang=fr

Projets proposés:

- LIF24-M1: Monitoring de l’économie des jeux vidéo
- LIF24-D1: Test et vérification pour l’event stream processing
- LIF24-D2: Évaluation des compétences cliniques par le monitoring et l’analyse de logs
- LIF24-D3: Détection d’anomalies dans un système de requêtes d’identité
- LIF24-D4: Suivi de la gestion de projet d’un jeu vidéo par l’analyse des fichiers de journalisation

01/17/2022

Candidats au doctorat recherchés: Tests et vérification pour l'event stream processing

Description du sujet Un « flux d’événements » peut être défini comme une séquence d’éléments de données arbitraires générés par une entité ou un système. Comme exemples de flux, on peut…

01/17/2022

The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi ( 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. Application deadline: March 31st, 2022 Starting date: August 31st, 2022 Project Description An "event stream" can be defined as a sequence of arbitrary data elements generated by some entity or system....

The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi ( is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verifi…

01/12/2022

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), which was held virtually in May 2021....

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 For…

01/12/2022

Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L'événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE), qui s'est tenue virtuellement en mai 2021....

Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e Interna…

01/12/2022

Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s'est tenue de manière virtuelle en juillet 2021. La conférence CAV compte parmi les meilleures dans le domaine de la vérification logicielle. L'article, intitulé Foundations of Fine-Grained Explainability, définit les bases mathématiques d'un concept nommé "explicabilité". De manière informelle, l'explicabilité peut être vue comme la manière de lier la sortie d'un calcul ou d'une opération aux éléments de l'entrée qui ont contribué à sa production....

Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s’est tenue de manière virtuelle en juillet 2021. La conf…

04/19/2021

(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. This tool is called Cornipickle, and was developed by a team of researchers from the UQAC formal computer lab....

(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, vi…

04/19/2021

Titre Développement d'outils d'assurance qualité pour le processus de développement d'un site web Détails du projet Clientèle visée: finissants de maîtrise devant effectuer un stage de fin d'étude ou un essai Nombre de postes à pourvoir: 2 Durée: 6 mois Rémunération: bourse d'études de 10000$ Début du projet: été 2021 (flexible) Pour postuler Contacter directement Sylvain Hallé ([email protected]) en fournissant:...

Titre Développement d’outils d’assurance qualité pour le processus de développement d’un site web Détails du projet Clientèle visée: finissants de maîtrise devant effectuer un sta…

01/05/2021

Le prix du meilleur arbitre remis à un professeur du LIF

Le professeur Sylvain Hallé s’est mérité le prix du meilleur arbitre (Best Reviewer Award) pour l’année 2020 par le Journal of Software and Systems Modeling. Ce prix reconnaît son effor…