Séminaire Sysnum WP1-WP2 David Janin (Université de Bordeaux) Programs and proofs Jeudi 14 février à 11h au A33 (IMB) - salle 385 Abstract Dans cet exposé, destiné à un public très large, je donnerais de façon progressive et avec des exemples les notions clés qui permettent de voir les preuves comme des programmes, ouvrant ainsi la porte à la conception d’assistants de preuves, ou, de façon...

Ce lundi 21 janvier, à 14h (dans le cadre du GT AlgoDist), nous avons le plaisir de recevoir deux membres de l'équipe SMAC (Systèmes Multi-Agents Coopératifs) de l'IRIT, Marie-Pierre Gleizes et Pierre Glize . Titre : Survol des problématiques liées aux systèmes multi-agents Lors de cet exposé, Marie-Pierre Gleizes et Pierre Glize, nous présenteront la problématique des systèmes multi-agents...

Le professeur Kirsten Morris (Université de Waterloo), actuellement bénéficiaire d'une position de Visiting Scholar de l'IdEx université de Bordeaux, donnera un exposé le mardi 15 janvier à 11h30 dans la salle de conférences de l'IMB: Concurrent optimal controller and actuator design for partial differential equations Abstract : Finding the best actuator location to control a system modelled by...

Boris Detienne, Associate Professor Université de Bordeaux Introduction to robust optimization Jeudi 17 janvier à 11h au A33 (IMB) - salle 386 (CHANGEMENT : SALLE 2) Abstract Robust Optimization (RO) covers modeling and solving approaches for mathematical optimization problems where the data is uncertain. While Stochastic Optimization seeks for solutions whose expected objective value is...

La première des "Leçons de Mathématiques et d'informatique d'Aujourd'hui" de 2019 organisées par l'Ecole Doctorale Mathématiques et Informatique' sera intitulée : EQUATIONS DE NAVIER-STOKES INCOMPRESSIBLES ET POCHES DE DENSITE Elle sera donnée par RAPHAEL DANCHIN , Professeur à l'Université Paris-Est Créteil Val de Marne. Jeudi 10 janvier 2019 à 16 heures dans la salle de Conférences de...