News

Axe Système complexes: Journée du 29 mai.

Axe Système complexes: Journée du 29 mai.

Axe Système Complexe – Journée du 29 mai 2015
Cette journée consacrée au thème « systèmes multi-agents » a eu lieu au LITIS. La journée a été constituée d’un exposé invité et d’exposés de travaux de recherche par les membres de nos deux deux laboratoires.

Programme

  • 9h30 : Accueil
  • 10h00 : Exposé invité
  • 11h00 – 12h30 : Présentations scientifiques
    • Système d’aide à la recherche d’information (Zina El Guedria – LITIS)
    • Systèmes de réputation et crédibilité : comment détecter et filtrer les faux témoignage (Thibaut Vallée – GREYC)
    • Le problème de définition d’une communauté : que mesurent les fonctions de qualité ? (Jean Creusefond – GREYC)
  • 12h30 – 14h00 : Repas
  • 14h00 – 16h00 : Présentations scientifiques
    • Fonction de valeur distribuée pour agents cognitifs (Laurent Jeanpierre – GREYC)
    • Vérification formelle de systèmes multi-agents (Bruno Mermet et Gaële Simon – GREYC)
    • Automatisation de la preuve de SMA et vérification de propriétés émergentes (Henri Merciol – GREYC)
    • Évaluation de la qualité des comportements d’agents par analyse conjointe de traces et d’annotations (Julien Saunier – LITIS)


    Compte rendu de la journée

    Retour à la page de l’axe SC.

     

Leave a Comment

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Vous pouvez utiliser ces balises et attributs HTML : <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>