Blog Archives

Open PhD Position in Monitoring the project management of a video game by analyzing log files (LIF24-D4)

LIF is looking for excellent doctoral candidates for a 3-year funded doctoral project. The objective of this project is to develop automatic methods to process log files generated by the 3D engine and version manager of a video game, in order to create alerts that prevent problems affecting the production chain and evaluate the “health” of the project. It also aims to automatically identify the necessary logging items and adjust their level and quantity according to the project condition.



Open M.Sc. Position in monitoring of a video game economy (LIF24-M1)

The goal of this project is to use the game economy simulator machinations.io to model video game economies, run simulations, and analyze statistics to ensure game balance by adjusting the economy’s parameters based on simulation outcomes. It also aims to export real-time data from the simulations to the BeepBeep event stream processing library for analysis and transformation.



Candidats au doctorat recherchés: Évaluation des compétences cliniques par le monitoring et l’analyse de logs (LIF24-D2)

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.

Read more ›



Candidats au doctorat recherchés: Tests et vérification pour l’event stream processing (LIF24-D1)

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 sur l’application du test et de la vérification pour le traitement de flux d’événements et les blockchains.

  • Date d’entrée en fonction: 1er septembre 2024

Description du sujet

Un “flux d’événements”

Read more ›



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 effort en tant que membre du 1% des meilleurs arbitres ayant évalué des articles pour ce journal au cours de l’année.

Read more ›



Web à Québec : vitrine sur le Laboratoire d’informatique formelle de l’UQAC et son logiciel Cornipickle

Le plus grand événement numérique francophone en Amérique du Nord – Web à Québec – était proposé du 10 au 12 avril derniers dans la vieille capitale. Quelque 1 500 participants se sont donné rendez-vous lors de cette 8e édition, à laquelle le responsable du Laboratoire d’informatique formelle (LIF) de l’UQAC,

Read more ›



Nouveau rapport technique sur BeepBeep

Le professeur Sylvain Hallé vient de rendre public un rapport technique résumant les travaux menés au LIF dans le domaine du Complex Event Processing.

Plusieurs problèmes en informatique peuvent être vus comme le calcul de requêtes sur des séquences (aussi appelés “flux”) d’éléments de données que l’on appelle des événements.

Read more ›



Le prix du meilleur article remis à deux professeurs du LIF

Les professeurs Sylvain Hallé et Raphaël Khoury, membres du LIF, ont remporté le prix du meilleur article (Best Paper Award) au 20th International IEEE EDOC Conference, qui s’est tenu à Vienne en septembre dernier. Leur article, intitulé Decentralized Enforcement of Artifact Lifecycles,

Read more ›



Offres d’emplois étudiants au LIF, automne 2016

Le Laboratoire d’informatique formelle de l’Université du Québec à Chicoutimi sollicite les candidatures de haut calibre pour huit postes d’assistant de recherche de premier ou deuxième cycle à la session d’automne 2016.

Le laboratoire offre un environnement stimulant où des étudiants spécialisés dans différents domaines de l’informatique peuvent collaborer sur divers projets.

Read more ›



Maintenant sur Facebook

Nous venons tout juste d’ouvrir la page Facebook du laboratoire, qui va contenir des mises à jours sur les activités qui s’y déroulent. Venez nous voir au https://www.facebook.com/Laboratoire-dinformatique-formelle-1710436499186179/

Read more ›



Top