Archives du site

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.

Lire la suite ›



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 ›



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 ›



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,

Lire la suite ›



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.

Lire la suite ›



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/

Lire la suite ›



Top