Université de Sherbrooke Logo de l'Université de Sherbrooke
  • Découvrir l'UdeS
  • Programmes et admission
  • La Recherche
  • Partenariats
  • Étudiants de L'UdeS
  • Personnel de L'UdeS
Connexion
Connexion
  • CORONAVIRUS
  • Emplois
  • monPortail
  • Bottin
  • CASIUS
  • SIMUS
  • Moodle
  • Office 365
  • Tous les services informatiques
  • monPortail
  • Mon dossier étudiant
  • Mon emploi
  • Mon dossier de
    bibliothèque
  • Mon accès
  • Courriel USherbrooke
  • Courriel USherbrooke
  • monPortail
  • Mon dossier étudiant
  • Mon emploi
  • Mon dossier de
    bibliothèque
  • Mon accès
  • CASIUS
  • SIMUS
  • Moodle
  • Office 365
  • Tous les services informatiques
  • CORONAVIRUS
  • Emplois
  • monPortail
  • Bottin
  • Découvrir l'UdeS
  • Programmes et admission
  • La Recherche
  • Partenariats
  • Étudiants de L'UdeS
  • Personnel de L'UdeS

Faculté des sciences

Département d'informatique

  • Accueil
    • Babillard
    • Événements
  • Futurs étudiants
    • Nos baccalauréats
    • Notre certificat
    • Nos maîtrises de type recherche
    • Nos maîtrises professionnelles
    • Notre doctorat
    • Nos diplômes d'études supérieures
    • Nos microprogrammes
    • Nos équipes de recherche
    • Candidats internationaux
    • Conférences
  • Projets de fin d'études
    • Qu’est-ce qu’un projet de fin d’études?
    • Réalisations des étudiants
    • Proposer un projet aux étudiants
  • Recherche
    • Intérêts et projets de recherche des professeurs
    • Chaires de recherche
    • Domaines de recherche
    • Les laboratoires de recherche du Département d'informatique
    • Club informatique
  • Prix et distinctions
    • Mentions d'excellence
    • Concours
  • Ressources et documentation
    • Programmations pédagogiques
    • Plans de cours
    • Logiciels - services - outils
    • F.A.Q.
    • Compte usager
    • Courrier électronique
    • Réseaux sans fils et RPV
    • Nos laboratoires
  • Personnel
    • Direction
    • Corps professoral
    • Personnel chargé de cours à forfait
    • Personnel chargé de cours
    • Personnel professionnel
    • Personnel technique
    • Personnel de soutien
  • Coordonnées
    • Département d'informatique
    • Centre de formation en technologies de l'information (CeFTI)
  • Intranet
  • Accueil
    • Babillard
    • Événements
  • Futurs étudiants
    • Nos baccalauréats
    • Notre certificat
    • Nos maîtrises de type recherche
    • Nos maîtrises professionnelles
    • Notre doctorat
    • Nos diplômes d'études supérieures
    • Nos microprogrammes
    • Nos équipes de recherche
    • Candidats internationaux
    • Conférences
  • Projets de fin d'études
    • Qu’est-ce qu’un projet de fin d’études?
    • Réalisations des étudiants
    • Proposer un projet aux étudiants
  • Recherche
    • Intérêts et projets de recherche des professeurs
    • Chaires de recherche
    • Domaines de recherche
    • Les laboratoires de recherche du Département d'informatique
    • Club informatique
  • Prix et distinctions
    • Mentions d'excellence
    • Concours
  • Ressources et documentation
    • Programmations pédagogiques
    • Plans de cours
    • Logiciels - services - outils
    • F.A.Q.
    • Compte usager
    • Courrier électronique
    • Réseaux sans fils et RPV
    • Nos laboratoires
  • Personnel
    • Direction
    • Corps professoral
    • Personnel chargé de cours à forfait
    • Personnel chargé de cours
    • Personnel professionnel
    • Personnel technique
    • Personnel de soutien
  • Coordonnées
    • Département d'informatique
    • Centre de formation en technologies de l'information (CeFTI)
  • Intranet
Accueil / Facultés / Sciences / Informatique
  • Babillard
  • Événements

Vérification algorithmique pour le développement de systèmes fiables

Date :
Cet événement est passé.
Type :
Conférences et séminaires
Lieu :
Au local D3-2038 de la Faculté des sciences

Description : 

Conférencier : Michael Blondin, professeur au Département d'informatique de la Faculté des sciences de l'Université de Sherbrooke

Résumé : Cette présentation traitera de la vérification algorithmique: une approche formelle qui permet de vérifier automatiquement qu'un système concurrent se comporte correctement. Nous ferons un survol des différents défis et paradigmes de vérification (systèmes finis, infinis, temporisés ou probabilistes). En particulier, nous discuterons d'avancées récentes concernant la vérification de réseaux dynamiques constitués d'agents mobiles collaborant afin d'accomplir une tâche commune.

La présentation donnera un aperçu du cours de «Techniques de vérification et de validation» offert à l'hiver 2019.

Toutes les personnes intéressées sont cordialement invitées.


Contacter une personne responsable

Département d'informatique

Informatique@USherbrooke.ca

Téléphone : 819 821-7030

Étudier à l'UdeS

Programmes et admission

Soutien à la réussite étudiante

Liens généraux

  • Contacter l'UdeS
  • Plans des lieux et accès routiers
  • Emplois
  • Santé et sécurité

Urgence

  • Découvrir l'UdeS
  • Programmes et admission
  • Recherche
  • Étudiants
  • Personnel de l’UdeS
  • Faire un don

  • International
  • Formation continue
  • Université du troisième âge

FACULTÉS, CENTRES ET INSTITUTS

  • Droit
  • École de gestion
  • Éducation
  • Génie
  • Lettres et sciences humaines
  • Médecine et sciences de la santé
  • Sciences
  • Sciences de l'activité physique
  • Centres et instituts

SERVICES

  • Bibliothèques et archives
  • Centre culturel
  • Centre sportif
  • La Fondation
  • Ressources financières
  • Ressources humaines
  • Stages et développement professionnel
  • Tous les services

MÉDIAS

  • Relations médias
  • Actualités et événements
  • Répertoire des médias sociaux

CAMPUS PRINCIPAL : 2500, boul. de l'Université, Sherbrooke (Québec) J1K 2R1, 819 821‑8000

CAMPUS DE LA SANTÉ : 3001, 12e avenue Nord, Sherbrooke (Québec) J1H 5N4, 819 821‑8000

CAMPUS DE LONGUEUIL : 150, place Charles‑Le Moyne, C. P. 200, Longueuil (Québec) J4K 0A8, 1 888 463‑1835 (sans frais), 450 463‑1835, Site Web

Tous droits réservés © Université de Sherbrooke Conditions d'utilisation Version mobile