Archives annuelles : 2021

Une doctorante du LIF gagne le prix du meilleur article

Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L’événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE),

Lire la suite ›

Tags :

Petit Poucet présenté à la conférence Computer Aided Verification

Les professeurs Sylvain Hallé et Hugo Tremblay ont récemment publié un article à la conférence Computer Aided Verification (CAV), qui s’est tenue de manière virtuelle en juillet 2021. La conférence CAV compte parmi les meilleures dans le domaine de la vérification logicielle.

L’article, intitulé Foundations of Fine-Grained Explainability,

Lire la suite ›

Tags :

Offre de stage de maîtrise en assurance qualité web chez Eckinox (LIF21-E1)

Titre

Développement d’outils d’assurance qualité pour le processus de développement d’un site web

Détails du projet

  • Clientèle visée: finissants de maîtrise devant effectuer un stage de fin d’étude ou un essai
  • Nombre de postes à pourvoir: 2
  • Durée: 6 mois
  • Rémunération: bourse d’études de 10000$
  • Début du projet: été 2021 (flexible)

Pour postuler

Contacter directement Sylvain Hallé (shalle@acm.org) en fournissant:

  • une lettre de présentation mentionnant le numéro du stage (LIF21-E1)
  • un relevé de notes récent
  • un curriculum vitae à jour

Contexte du projet

Dans le cadre d’une collaboration avec Eckinox,

Lire la suite ›



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 ›



Top