Yearly Archives: 2021

A PhD student from LIF earns a Best Paper Award

We are pleased to announce that Rania Taleb, a PhD candidate under the supervision of LIF members Prs. Raphaël Khoury and Sylvain Hallé, has earned the Best Paper Award of the 9th Conference on Formal Methods in Software Engineering (FormaliSE 2021). The event was co-located with the International Conference on Software Engineering (ICSE),

Read more ›

Tags:

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),

Read more ›

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,

Read more ›

Tags:

Petit Poucet presented at the Computer Aided Verification conference

Professors Sylvain Hallé and Hugo Tremblay recently published a paper at the Computer Aided Verification (CAV) conference, held virtually in July 2021. The CAV conference is one of the best in the field of software verification.

The article, titled Foundations of Fine-Grained Explainability, defines the mathematical basis of a concept called “explainability”.

Read more ›

Tags:

Open internship position in web quality assurance at Eckinox (2021 edition)

(This internship will take place in French. For more information, please refer to the French version of this post.)

As part of a collaboration with Eckinox, an agency specialized in web, design, video and marketing, the project consists of developing web applications and integrating into the development process an automated tool for testing graphical interfaces.

Read more ›



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,

Read more ›



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.

Read more ›



The Best Reviewer Award for a LIF Professor

Professor Sylvain Hallé has received the 2020 Best Reviewer Award from the Journal of Software and Systems Modeling. This award recognizes his effort as one of the top 1% reviewers of the journal for the year 2020.

The Journal of Software and Systems Modeling,

Read more ›



Top