Blog Archives

Publication d’un livre sur BeepBeep aux PUQ

Le livre intitulé Event Stream Processing with BeepBeep 3 a récemment été publié aux Presses de l’Université du Québec. Ce manuel, écrit par le professeur Sylvain Hallé du LIF, se veut une introduction pédagogique aux concepts de traitement de flux d’événements.

De manière vulgarisée,

Read more ›



A new book on BeepBeep has just been published

The book entitled Event Stream Processing with BeepBeep 3 was recently published by the Presses de l’Université du Québec. This manual, written by LIF member Professor Sylvain Hallé, is an educational introduction to the concepts of event stream processing.

Read more ›



Un financement MITACS pour Fábio Petrillo

Le professeur Fábio Petrillo, membre du LIF, vient de se mériter un financement de l’organisme canadien MITACS à travers son programme Globalink. Le Programme de stages de recherche Globalink est un concours qui s’adresse aux étudiants de premier cycle de l’Allemagne, de l’Australie,

Read more ›



MITACS funding for Fábio Petrillo

Pr. Fábio Petrillo, a faculty member of LIF, has just earned a grant from the Canadian organization MITACS though its Globalink program. The MITACS Globalink Research Internship is a competitive initiative for international undergraduates from Australia, Brazil, China, France, India, Germany, Mexico, Tunisia,

Read more ›



Open internship position: Data mining applied to video game logs (LIF18-A3)

The Formal Computer Science Laboratory solicits high quality applications for a project to be carried out as part of the 8INF859 (Internship) or 8INF860 (Essay) courses of the Master’s degree in Computer Science, Professional Profile.

As part of a collaboration with Ubisoft Saguenay, the project consists of developing and using data mining algorithms applied to the execution logs from various sources.

Read more ›

Tags: , ,

Offre de stage ou d’essai: Data mining appliqué aux logs de jeux vidéo (LIF18-A3)

Le Laboratoire d’informatique formelle sollicite les candidatures de haut calibre pour un mandat à réaliser dans le cadre des cours 8INF859 (Stage) ou 8INF860 (Essai) de la maîtrise en informatique, profil professionnel.

Dans le cadre d’une collaboration avec Ubisoft Saguenay, le projet consiste à développer et utiliser des algorithmes de data mining appliqués aux logs d’exécution provenant de sources diverses.

Read more ›

Tags: , , ,

Mohamed Racem Boussaha earns his Master’s Degree

Mohamed Racem Boussaha, an M.Sc. student under the supervision of Prs. Raphaël Khoury and Sylvain Hallé, has successfully completed the final version of his Master’s thesis. Mohamed’s project involved the enforcement of security policies in Java programs using Complex Event Processing (CEP). Concretely, his work was to express various constraints on the execution of a program in order to prevent the insertion of malicious code;

Read more ›



Mohamed Racem Boussaha termine son mémoire de maîtrise

Mohamed Racem Boussaha, étudiant à la maîtrise sous la supervision des professeurs Raphaël Khoury et Sylvain Hallé, a déposé avec succès la version finale de son mémoire de maîtrise. Le projet de Mohamed impliquait l’application de politiques de sécurité dans les programmes Java au moyen du Complex Event Processing (CEP).

Read more ›



Éric Laberge completes his Master’s Degree

Éric Laberge, an M.Sc. student under the supervisions of professors Sylvain Hallé and Raphaël Khoury, has successfully completed his Master’s degree in October 2018. His thesis, which lies halfway between theory and practice, had the goal of providing a mathematical definition of a video game, and then to use symbolic execution techniques to try to “solve”

Read more ›



Éric Laberge complète sa maîtrise

Éric Laberge, étudiant à la maîtrise sous la direction des professeurs Sylvain Hallé et Raphaël Khoury, a déposé avec succès son essai de recherche en octobre 2018. Cet essai, à mi-chemin entre le travail théorique et la pratique, avait pour but de fournir une définition mathématique d’un jeu vidéo,

Read more ›



Top