Archives du site

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,

Lire la suite ›

Posté dans Non classifié(e)

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.

Lire la suite ›

Posté dans Non classifié(e)

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, a été écrit en collaboration avec Yliès Falcone

Lire la suite ›

Posté dans Non classifié(e)

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

Lire la suite ›

Posté dans Non classifié(e)

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/

Posté dans Non classifié(e)