Les séminaires IRIT-UT Capitole ont pour but de créer une dynamique autour des thèmes de recherche abordés par les différentes équipes de recherche de l'Institut de Recherche en Informatique de Toulouse (IRIT - UMR CNRS 5505) présents à l'Université Toulouse Capitole et sont l'occasion de présenter des travaux de recherche en lien avec les thématiques présentes sur l'UT Capitole.

Ils ont lieu en règle générale le mardi entre 12h45 et 13h45 à la Manufacture des Tabacs. La participation à ces séminaires est ouverte à tous.

Pour tout renseignement complémentaire, que vous souhaitiez assister au séminaire ou y présenter vos travaux, n'hésitez pas contactez l'équipe organisatrice !

Équipe organisatrice
Yuri COSSICH LAVINAS
Elisa CUEILLE
Felipe GARRIDO LUCERO 
Manon PREDHUMEAU

• 
  Decidability of blind Markov Decision Processes (joint work with K. Chatterjee, David Lurie and Raimundo Saona)

  29 avr
• 
  Explaining Tournament Solutions with Abductive Reasoning

  15 avr
• 
  Frugal Data Management: Balancing Performance and Context-Aware Data Reduction

  15 avr
• 
  MIMICO: Enhancing Agent-Based Model Exploration with Active Learning and Surrogate Modeling

  26 mar
• 
  Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems

  25 mar

Consulter l'archive de séminaires passés.