Sylvain Hallé
Posted in Open positions
The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verification for event stream processing and blockchains.
Project Description
An “event stream”
…
Sylvain Hallé
Posted in 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.
Description du sujet
Un “flux d’événements”
…
Sylvain Hallé
Posted in Postes ouverts
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. Comme exemples de flux, on peut mentionner des blockchains constituées d’une séquence de blocs générée dynamiquement, des fichiers journaux (logs) dont les lignes sont produites par l’exécution d’un logiciel,
…
Sylvain Hallé
Posted in Open positions
The Formal Computer Science Laboratory (LIF) at Université du Québec à Chicoutimi (https://www.uqac.ca) is seeking an outstanding PhD candidate to fill a 3-year funded position on the application of testing and verification for event stream processing and blockchains.
…
Sylvain Hallé
Posted in Conferences, Students
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),
…
Sylvain Hallé
Posted in Conférence, Étudiants
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),
…
Sylvain Hallé
Posted in Conférence
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,
…
Sylvain Hallé
Posted in Conférence
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”.
…
Sylvain Hallé
Posted in Cornipickle, Open positions, Students
(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.
…
Sylvain Hallé
Posted in Cornipickle, Étudiants, Postes ouverts
Titre
Développement d’outils d’assurance qualité pour le processus de développement d’un site web
Détails du projet
Pour postuler
Contacter directement Sylvain Hallé (shalle@acm.org) en fournissant:
Contexte du projet
Dans le cadre d’une collaboration avec Eckinox,
…
Recent Comments