Accueil › Archive pour Non classifié(e)
Archives du site

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

Posté le par par Posté dans Non classifié(e), Postes ouverts

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: 1er mai 2024 (ou plus tard)

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.

…

Lire la suite ›


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

Posté le par par Posté dans Non classifié(e), Postes ouverts

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 » 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.

…

Lire la suite ›


Le prix du meilleur arbitre remis à un professeur du LIF

Posté le par par Posté dans Non classifié(e)
SoSyM

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

Posté le par par Posté dans Non classifié(e) Aucun commentaire ↓
Sylvain Hallé

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

Posté le par par Posté dans Non classifié(e) Aucun commentaire ↓

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

Posté le par par Posté dans Non classifié(e) Aucun commentaire ↓

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

Posté le par par Posté dans Non classifié(e) Aucun commentaire ↓

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

Posté le par par Posté dans Non classifié(e) Aucun commentaire ↓

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