Institut de Mathématiques de Toulouse

Agenda



Séminaires


  • Algèbre, Dynamique et Topologie


    • Mardi 18 octobre 2016 11:00-12:00 - Anne Lonjou

      Hyperbolicité du complexe de Wright.

      Résumé : Le complexe de Wright est un complexe simplicial de dimension 2 sur lequel le groupe de Cremona (groupe des transformations birationnelles de ℙ$^2$) agit. Il permet de voir le groupe de Cremona comme un produit amalgamé de trois de ses sous-groupes le long de leurs intersections.
      Après avoir rappelé la définition du groupe de Cremona, et introduit les trois sous-groupes en question, nous construirons le complexe de Wright. Puis, nous donnerons une stratégie pour prouver que ce complexe est hyperbolique au sens de Gromov.

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 25 octobre 2016 11:00-12:00 -

      Pas de Séminaire de Géométrie et Topologie

      Résumé : Vacances Toussaint

      [Séminaire]


    • Mardi 1er novembre 2016 11:00-12:00 -

      Pas de Séminaire de Géométrie et Topologie

      Résumé : Toussaint

      [Séminaire]


    • Mardi 8 novembre 2016 11:00-12:00 - Margherita Sandon - IRMA Strasbourg

      Homologie de Floer pour les points translatés des contactomorphismes

      Résumé : Les points translatés d’un contactomorphisme sont des points fixes au flot de Reeb près. Ces objets jouent un rôle important (similaire au rôle joué en topologie symplectique par les points fixes des difféomorphismes hamiltoniens) dans certaines démonstrations de certains phénomènes de rigidité globale (non-squeezing, ordonnabilité et existence de métriques bi-invariantes et quasimorphismes dans le groupe des contactomorphismes). Inspirée par le cas des points fixes des difféomorphismes hamiltoniens, en 2011 j’ai proposé un analogue pour les points translatés de la conjecture d’Arnold. Dans cet exposé je vais présenter une démonstrations de cette conjecture dans le cas où il n’y a pas d’orbites de Reeb contractiles, en développant une version de l’homologie de Floer pour les points translatés. Je vais aussi discuter autres applications, questions, et projets à propos de cette théorie, ainsi que certaines différences et analogies avec d’autres invariants de type Floer dans les variétés de contact (homologie de Rabinowitz Floer, homologie de contact).

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 15 novembre 2016 11:00-12:00 - Philippe Castillon

      Un caractérisation spectrale des boules géodésique dans les espaces symétriques de rang un.

      Résumé : Dans les géométries de courbure constante, les boules géodésiques sont les domaines optimaux pour de nombreux problèmes d’optimisation de formes, notamment de nature spectrale. On peut s’attendre à des caractérisations similaires dans les espaces symétriques de rang un, dans la mesure ou les boules y sont les domaines les plus symétriques. Cependant très peu de résultats de ce type y sont connus.
      Dans cet exposé nous montrerons que les boules géodésiques sont les seuls maximiseurs de la première valeur propre de Steklov parmi les domaines de volume fixé, généralisant aux espaces symétriques de rang un non compacts une inégalité obtenue par F. Brock dans l’espace euclidien.
      Il s’agit d’un travail en commun avec Berardo Ruffini.

      [Séminaire]


    • Mardi 22 novembre 2016 11:00-12:00 - Jeremy Toulisse

      Géométrie des représentations maximales dans SO(2,3)

      Résumé : Etant donné une surface S fermée, orientée, de genre g>1, la notion de représentations maximales dans SO(2,3) généralise naturellement l’espace de Teichmüller de S. Dans cet exposé, j’expliquerai comment construire une unique surface maximale dans l’espace pseudo-hyperbolique H^2,2 qui est préservée par l’action d’une représentations maximale. Cette construction généralise un résultat récent de Labourie. Si le temps le permet, j’expliquerai comment étendre cette construction aux représentations maximales dans SO(2,n). C’est un travail en commun avec Brian Collier et Nicolas Tholozan.

      [Séminaire]


    • Mardi 29 novembre 2016 11:00-12:00 - Susanna Zimmermann

      Sur des sous-groupes algébriques du groupe de Cremona de dimension 2

      Résumé : Le groupe de Cremona du plan projectif n’est pas un groupe algébrique, mais il contient des groupes algébriques linéaires, par exemple le groupe des automorphismes PGL(3,k). Quel sont les sous-groupes algébriques maximaux ? Il existe une classification sur le corps des nombres complexes. Sur le corps des nombres réels, il y a une classification qui n’est que partielle, que je voudrais présenter.

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 6 décembre 2016 11:00-12:00 - Stéphane Lamy

      Hyperbolicité acylindrique du groupe des automorphismes modérés de dimension trois

      Résumé : J’exposerai un travail en collaboration avec Piotr Przytycki, où nous montrons qu’un certain sous-groupe, dit modéré, du groupe Aut(ℂ$^3$) des automorphismes polynomiaux de l’espace affine agit de façon acylindrique sur un certain complexe simplicial hyperbolique.
      Cela implique en particulier que ce groupe admet beaucoup de quotients, au sens que tout groupe dénombrable se plonge dans un de ses quotients

      [Séminaire]


    • Mardi 13 décembre 2016 11:00-12:00 - Baptiste Chantraine

      Isotopies legendriennes positives et homologie de Floer

      Résumé : Dans une variété de contact coorientée, une isotopie legendrienne est dite positive si elle évolue dans la direction positive transverse à la structure de contact. Les comportements globaux des isotopies positives diffèrent de ceux des isotopies legendriennes. Après avoir donné les exemples de bases illustrant les définitions, j’expliquerai comment extraire de l’information dans le complexe de Floer associé à une paire de cobordismes lagrangiens (récemment défini en collaboration avec G. Dimitroglou Rizell, P. Ghiggini et R. Golovko) pour donner des obstructions à l’existence de certaines isotopies positives. Cette méthode permet de retrouver toutes les obstructions connues à ce jour et donne de nouveaux exemples. Collaboration avec V. Colin et G. Dimitroglou Rizell.

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]


    • Mardi 10 janvier 2017 11:00-12:00 - Jean Raimbault

      Déterminants de matrices finies et infinies

      Résumé : On peut définir un déterminant pour les endomorphismes continus d’espaces de Hilbert munis d’une action convenable d’un groupe discret ("déterminant de Fuglede—Kadison"). Une question intéressante est alors de relier ces "déterminants" de matrices infinis aux déterminants de matrices finies qui les approximent de différentes manières. Dans cet exposé j’essaierai, après avoir posé le problème dans son contexte naturel et décrit quelques applications topologiques, de démontrer quelques résultats dans ce sens

      Lieu : Salle 207, Bât. 1R2

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | ... | 140

  • Analyse réelle


    • Lundi 8 février 2016 12:00-13:00 - Rishika Rupam - Lille

      Séminaire d’Analyse Réelle

      Résumé : title : Toeplitz kernels, Inner Functions and Inverse Spectral Theory
      abstract :
      Given a family of exponentials $\e^i\lambda_n x\_\Lambda$, is it complete in some $L^2(0,a)$ space ? This classical problem was the object of study for many analysts in the early 1900s, including Levinson, Koosis and Kahane. The problem was finally resolved in the 1960s by Beurling and Malliavin. Since then, there have been several different proofs of Beurling and Malliavin’s result. In 2005, Makarov and Poltoratski introduced the language of Toeplitz kernels and model spaces to provide yet another proof of the B-M theorem, in their paper \textitMeromorphic Inner Functions, Toeplitz kernels and the Uncertainty Principle. In their work, they set up a general framework to connect completeness problems of certain families of functions to spectral problems of differential operators. It turns out that the injectivity question for Toeplitz operators is an important question to study in this context. In this talk, we will discuss some results about the injectivity of Toeplitz operator as well as the connection to differential operators. We will also look at some recent results that use this framework to solve the problem of uniqueness of potentials of the Schr\"odinger operator. This is joint work with Mishko Mitkovski.

      Lieu : Salle MIP

      [Séminaire]


    • Lundi 15 février 2016 12:00-13:00 - Ophelie Rouby - Rennes

      Séminaire d’Analyse Réelle

      Résumé : Titre : Conditions de quantification de Bohr-Sommerfeld pour des perturbations non auto-adjointes d’opérateurs auto-adjoints en dimension un.
      Résumé : Les conditions de quantification de Bohr-Sommerfeld permettent de décrire le spectre d’opérateurs auto-adjoints. Dans cet exposé, nous verrons comment on peut obtenir des conditions de Bohr-Sommerfeld pour une certaine classe d’opérateurs non auto-adjoints en dimension un. Ensuite, nous verrons des illustrations numériques de ces conditions et enfin nous nous intéresserons à une application de ces conditions aux opérateurs PT-symétriques.

      Lieu : 106

      [Séminaire]


    • Lundi 29 février 2016 12:00-13:00 - Van Hoang NGUYEN - Toulouse

      Séminaire d’Analyse Réelle

      Résumé : title :
      "Fractional Sobolev and Hardy-Littlewood-Sobolev inequalities".
      abstract :
      "We prove an improved fractional Sobolev inequality which involves
      a remainder term related to the Hardy-Littlewood-Sobolev inequality.
      Some estimates for the best constant in the remainder term are given by
      using the linearization around the Talenti-Aubin type profile and the
      nonlinear fractional diffusion flow. Using an endpoint differentiation
      similar to Beckner, we obtain an improved version of a Moser-Trudinger
      type inequality on the sphere."

      Lieu : 106

      [Séminaire]


    • Lundi 14 mars 2016 12:00-13:00 - Mohammad Reza Pakzad - University of Pittsburgh

      Very weak solutions to the Monge-Ampère equation in two dimensions are dense in the space of continuous functions.

      Résumé : Titre :
      Very weak solutions to the Monge-Ampère equation in two dimensions
      are dense in the space of continuous functions.
      Resume :
      An $h$principle is said to hold for a given system of PDEs when the set of solutions is dense in a larger set of subsolutions. It is usually associated with non-physical, flexible, or anomalous solutions. We will discuss how the method of convex integration leads to an h-principle for the Monge-Ampère equation in two dimensions. In particular we will establish the existence of non-convex C^1 solutions to the equation
      Det D^2 u = f when f \ge c > 0, where Det D^2 stands for the very weak Hessian operator. We will also present some results and conjectures regarding the optimal Hölder exponent 0 < alpha < 1 for which the h-principle statement stands —or cannot stand— for C^1, alpha solutions.

      Lieu : 1R1 106

      [Séminaire]


    • Lundi 21 mars 2016 12:00-13:00 - Cristina BENEA - Nantes

      Multiparameter operators as multiple vector-valued operators

      Résumé : We will be presenting a new point of view on the study of operators which are tensor products with paraproducts(i.e. with multilinear Mikhlin multipliers). While this method was designed for studying the boundedness of the tensor product between the bilinear Hilbert transform and a paraproduct, it has some other interesting applications, such as a Lebniz rule in mixed norm L^p spaces.

      Lieu : 1R1 106

      [Séminaire]


    • Lundi 4 avril 2016 12:00-13:00 - Polona Durcik - Bonn

      Norm-variation estimates for double ergodic averages

      Résumé : Title
      Norm-variation estimates for double ergodic averages
      Abstract
      We quantify norm convergence of double ergodic averages along the orbits of two commuting transformations by counting their norm-jumps and bounding their norm-variation. We approach the problem via real harmonic analysis, using methods for bounding multilinear singular integrals with a certain entangled structure. This is joint work with Vjekoslav Kovač, Kristina Ana Škreb and Christoph Thiele.

      Lieu : 106

      [Séminaire]


    • Lundi 11 avril 2016 12:00-13:00 - Omer FRIEDLAND - Paris 6

      Recouvrements doublants d’hypersurfaces algébriques

      Lieu : 106

      [Séminaire]

0 | 10 | 20 | 30 | 40

  • Les Cafés de l IMT


    • Jeudi 9 novembre 2017 13:15-14:00 - Jean-Claude Yakoubsohn - Institut de Mathématiques de Toulouse

      Le prodigieux parcours de la méthode de Newton. Une suite sans fin.

      Résumé : De Babylone à Yakoubsohn, je raconterai les développements historiques, mathématiques et algorithmiques de cette méthode numérique utilisée pour approcher les solutions d’équations. On ira de Héron à Villani en passant par Newton, Cauchy, Runge, Kantorovich et Smale sans oublier les "petites mains" qui ont produit des résultats originaux.

      Lieu : Bibliothèque de Mathématiques, 1R2

      [Séminaire]


    • Jeudi 21 décembre 2017 13:15-14:00 - Arnaud Chéritat - Institut de Mathématiques de Toulouse

      Des impressions 3D pour comprendre la 4D

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]


    • Jeudi 15 février 13:15-14:00 - Raphaël Loubère - Institut de Mathématiques de Toulouse

      Quand les girafes, tortues, libellules, carottes, feuilles d’érable… fabriquent des maillages de Voronoi

      Résumé : Les tesselations de Voronoi, malgré leur nom barbare et repoussant, sont une création de mère Nature avant d’être d’horribles objets mathématiques. Elles sont observables sur le pelage des girafes, la carapace des tortues, les nervure des feuilles d’érables et des nénuphars, les ailes des libellules, les nids d’abeilles, etc. On les retrouve dans les comportements territoriaux de petits poissons d’Amazonie, les formes caractéristiques des lacs salés, des concrétions de lave, des cristaux, etc.
      En toute décontraction nous essaierons de caractériser ces objets mathématiques, de les construire et d’en déduire certaines de leurs propriétés. En toute fin nous verrons même que ces tesselations de Voronoi peuvent se révéler utiles dans certaines situations pratiques.
      Quelle horreur pour les mathématiciens !

      [Séminaire]


    • Jeudi 24 mai 13:15-14:00 - Valentin Bahier - Institut de Mathématiques de Toulouse

      Musique de Pi

      Résumé : Le nombre Pi est partout, il fascine depuis des milliers d’années et n’a pas fini de nous surprendre. Ses mystérieuses propriétés issues d’une définition géométrique très simple l’ont fait entrer dans la culture populaire, et de nombreux travaux artistiques ont été produits dans le but d’en améliorer notre perception et compréhension. Dans cet exposé, nous présenterons diverses façons imaginées pour percevoir Pi. Notamment, nous tenterons de comprendre comment on peut écouter Pi, en se basant sur le travail de composition de quelques artistes. Cette analyse amènera à nous poser quelques questions à propos des chiffres et des notes de musique.

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]


    • Jeudi 28 juin 13:15-14:00 - Pascal Noble - Institut de Mathématiques de Toulouse

      Titre à définir

      Lieu : Amphithéâtre L. Schwartz, 1R3

      [Séminaire]

0 | 10 | 20

  • Séminaire Analyse-EDP de l UT1


    • Vendredi 25 mars 2016 11:15-12:15 - Peter TAKAC - (Uni ROSTOCK, All

      Séminaire Analyse-EDP de l UT1

      Lieu : manufacture des Tabacs salle MC101

      [Séminaire]


    • Vendredi 29 septembre 2017 11:00-12:00 - Peter TAKAC - Univ. Rostock, Allemagne

      A p(x)-Laplacian Extension of the Díaz-Saa Inequality and Some Applications

      Résumé : A p(x)-Laplacian Extension of the Díaz-Saa Inequality and Some Applications
      (Travail avec J. Giacomoni (Pau) a Proc. Royal Soc. Edinburgh.)
      Abstract
      The main result of this work is a new extension of the well-known inequality by Díaz and Saa which,
      in our case, involves an anisotropic operator, such as the p(x)-Laplacian, ∆_p(x) u ≡ div(|∇u|^p(x)−2} ∇u).
      Our present extension of this inequality enables us to establish several new results
      on the uniqueness of solutions and comparison principles for some anisotropic quasilinear elliptic equations.
      Our proofs take advantage of certain convexity properties of the energy functional
      associated with the p(x)-Laplacian.

      Lieu : Manufacture des Tabacs salle MC101 - 2& Allées de Brienne

      [Séminaire]


    • Vendredi 13 octobre 2017 11:15-12:15 - Ian SCHINDLER - IMT/Ceremath

      Séminaire Analyse-EDP de l UT1

      Résumé : Sur la concentration compacité (en collaboration avec P.Begout et C.Tintarev)

      [Séminaire]


    • Vendredi 10 novembre 2017 11:15-12:30 - Jean-Baptiste LATRE - IMT et CERFACS

      Séminaire Analyse-EDP

      Résumé : A Comparative study between algebraic structures for a goal-oriented efficiency in Scientific Computing.
      Scientific modelling for industrial prospects relies on revealing the organisation of data coming from physical measurements.
      There often exist several different mathematical structures which enable to describe a same problem.
      But these structures may provide computations with diverging numerical properties, e.g. quaternions vs matrices to describe successive rotations. How to guide the user who has to choose from a wide range of possible computing frames ?
      In this talk we consider many frames which are popular in weakly interacting group of scientists.
      We propose a comparison of their efficiency to handle the characteristics of the computation (behaviour of structures near singularities, accuracy, complexity, nonlinearities, speed, memory size,… ).
      These ideas are exemplified in physical applications.

      Lieu : Manufacture des Tabacs bat C 1er étage salle MC101 - 21 Allees de Brienne

      [Séminaire]


    • Vendredi 8 décembre 2017 11:00-12:30 - J.Fleckinger - IMT/Ceremath

      On groundstate positivity and negativity

      Résumé : Groundstate positivity and negativity for solution to Schrodinger equation on unbounded domains in particular domains of cylinder type.

      Lieu : Manufacture des Tabacs bat C 1er étage salle MC101 - 21 allees de Brienne (Metro Compans puis bus N.1 ou Bd Mal Leclerc :, traverser le canal, c’est la !!!

      [Séminaire]


    • Vendredi 12 janvier 11:00-12:30 - Jean-Pierre GOSSEZ - ULB Bruxelles

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 allees de Brienne TOULOUSE

      [Séminaire]


    • Vendredi 9 février 11:00-12:30 - Peter TAKAC - Univ. Rostock

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allees de Brienne TOULOUSE

      Notes de dernières minutes : Semilinear Equations of Fisher type

      [Séminaire]


    • Vendredi 16 mars 11:00-12:30 - Jacques GIACOMONI - Univ. Pau et Pays de l'Adour

      Séminaire Analyse-EDP de l UT1

      [Séminaire]


    • Vendredi 4 mai 11:00-11:30 - Mohamed Ali JENDOUBI - Univ. Bizerte et IPEST Tunis

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allées de Brienne TOULOUSE

      Notes de dernières minutes : TBA

      [Séminaire]


    • Vendredi 18 mai 11:00-12:30 - Cherif AMROUCHE - Univ. Pau et Pays de l'Adour

      Séminaire Analyse-EDP de l UT1

      Lieu : Manufacture des Tabacs - 21 Allées de Brienne TOULOUSE

      Notes de dernières minutes : TBA

      [Séminaire]

0 | 10

  • Géométrie algébrique, champs et homotopie


    • Mardi 2 juin 2015 14:00-15:30 - Michael Groechenig

      Tate vector bundles and reciprocity

      Résumé : Following Beilinson, Kato, and Drinfeld we study certain infinite-dimensional vector bundles, through the lens of exact categories. The simplest non-trivial example is the vector space of formal Laurent series k((t)) with the t-adic topology. The K-theory space of this exact category of Tate vector bundles on a variety, can be identified with the K-theory of the variety up to shift, by a construction reminiscent of Kapranov’s determinantal theories. As an application of this theory we give a K-theoretic treatment of higher-dimensional analogues of Contou-Carrère symbols, and use this viewpoint to establish reciprocity laws for those symbols. This is joint work with O. Braunling and J. Wolfson.

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Mardi 2 juin 2015 16:00-18:00 - Bertrand Toën Michel Vaquié

      Géométrie Algébrique Dérivée

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Jeudi 4 juin 2015 14:00-16:00 - Bertrand Toën Michel Vaquié

      Géométrie Algébrique Dérivée

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Mardi 9 juin 2015 14:00-18:00 - Bertrand Toën Michel Vaquié

      Géométrie Algébrique Dérivée

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Jeudi 11 juin 2015 16:00-17:30 - Gabriele Vezzosi

      Géométrie Algébrique Dérivée

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Mardi 30 juin 2015 14:00-15:00 - Oren Ben-Bassat

      Banach Algebraic Geometry

      Résumé : I will present a ’categorical’ way of doing analytic geometry in which analytic geometry is seen as a precise analogue of algebraic geometry.
      Our approach works for both complex analytic geometry and p-adic analytic geometry in a uniform way. I will focus on the idea of an ’open set’ as used in these various areas of math and how it is characterised categorically. In order to do this, we need to study algebras and their modules in the category of Banach spaces. The categorical characterization that we need uses homological algebra in these ’quasi-abelian’ categories which is work of Schneiders and Prosmans. In fact, we work with the larger category of Ind-Banach spaces for reasons I will explain. This gives us a way to establish foundations of analytic geometry and to compare with the standard notions such as the theory of affinoid algebras, Grosse-Klonne’s theory of dagger algebras (over-convergent functions), the theory of Stein domains and others. I will explain how this extends to a formulation of derived analytic geometry following the relative algebraic geometry approach of Toen, Vaquie and Vezzosi.
      This is joint work with Federico Bambozzi (Regensburg) and Kobi Kremnizer (Oxford).

      [Séminaire]


    • Mardi 6 octobre 2015 14:00-16:00 - Joan Milles - IMT

      Structure complexe et algèbres à homotopies près

      Résumé : Une structure de variété complexe sur une variété réelle lisse est donnée par une structure presque complexe intégrable. La description locale d’une telle structure fait apparaître un grand nombre d’équations algébriques. J’expliquerai dans cet exposé comment la dualité de Koszul avec courbure permet de donner une description particulièrement simple en termes d’algèbres à homotopies près.

      Lieu : 1R2 Salle 207

      [Séminaire]


    • Mardi 13 octobre 2015 14:00-16:00 - Joseph Tapia

      Vecteurs de Witt I

      Résumé : Une série d’exposé sur la notion de vecteurs de Witt.

      [Séminaire]


    • Mardi 20 octobre 2015 14:00-16:00 - Joseph Tapia

      Vecteurs de Witt II

      [Séminaire]


    • Mardi 27 octobre 2015 14:00-16:00 -

      Vacances

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | ... | 170

  • Séminaire de l équipe MIP


    • Mardi 5 janvier 2016 11:00-12:00 - Créneau libre

      Séminaire MIP

      [Séminaire]


    • Mardi 12 janvier 2016 11:00-12:00 - Raphaël Loubère - Institut de Mathématiques de Toulouse

      Stabilisation de la méthode Galerkin Discontinus pour les systèmes hyperboliques - hydrodynamique, MHD, multi-phasique

      Résumé : Dans cette présentation nous proposons une méthode de stabilisation (dissipation/limitation) pour la méthode Galerkin Discontinu. Cette stabilisation est réalisée a posteriori en détectant les mailles problématiques à t^n+1}. Un sous-maillage (des mailles GD problématiques) est construit et un schéma de type volumes finis classique est utilisé sur l’ensemble des sous-mailles.
      La solution constante par morceaux sur l’ensemble des sous-mailles est ensuite transformée en un polynôme GD sur la maille initiale.
      Ce faisant on marie la stabilité des méthodes de type volumes finis sur les sous-mailles avec la précision des méthodes GD. La capacité de sous-résolution des méthodes GD est maintenue, tout en gardant la robustesse en présence de discontinuités (ondes de chocs par exemple).
      Un large panel de résultats numériques permettront de valider cette approche sur un ensemble de systèmes hyperbolique (hydrodynamique, MHD, Baer-Nunziato…) en 2D, 3D dans un environnement HPC.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 19 janvier 2016 11:00-12:00 - Rémy Rodiac - Université Paris-Est Créteil

      Fonctions stationnaires harmoniques dont le laplacien est une mesure

      Résumé : Le but de cet exposé est de décrire la régularité des fonctions $h\in H^1(\Omega)$ et des mesures de Radon $\mu$ qui vérifient que 1) h est stationnaire harmonique et 2) $\Delta h =\mu$. Ce problème est motivé par l’étude des vorticités limites du système de Ginzburg-Landau sans champ magnétique. Sandier et Serfaty ont montré que, dans certains cas, de telles vorticités limites (qui sont des mesures) peuvent être écrites comme le laplacien d’une fonction h dans H^1 qui est stationnaire harmonique. Sous ces hypothèses on prouve alors que, localement, près de presque tous les points du domaine la fonction h peut s’écrire $h=|H|$ pour une certaine fonction harmonique H. En particulier on déduit que la mesure $\Delta h$ est concentrée sur des lignes qui forment l’ensemble des zéros d’une fonction harmonique. Ce problème est aussi relié à la vorticité des équations d’Euler stationnaires en mécanique des fluides et à la vorticité limite d’un système de points-vortex.

      Lieu : Salle J. Cavailles

      [Séminaire]


    • Vendredi 29 janvier 2016 11:00-12:00 - Laurent Bourgeois - Laboratoire Poems - Ensta ParisTech

      Le problème inverse de Robin revisité dans le cas d’un coefficient de Robin non régulier

      Résumé : Dans cet exposé on revisite le très classique problème inverse de Robin, qui consiste à trouver le rapport entre la dérivée normale et la trace
      d’une solution (le coefficient de Robin) sur un sous-ensemble du bord, connaissant les données aux limites de Cauchy (à la fois la dérivée normale et la trace de la solution) sur le sous-ensemble complémentaire du bord. On s’intéresse d’abord au problème de l’unicité du coefficient de Robin, supposé dans $L^\infty$ seulement, tandis que la donnée de Neumann est dans $L^2$.
      On prouve l’unicité du coefficient de Robin lorsque le problème est gouverné par une équation de Laplace dans un domaine Dini-régulier en 2D, puis nous donnons quelques indications sur la généralisation de ce résultat dans un domaine lipschitzien lorsque le problème est gouverné par une équation de conductivité, la conductivité étant dans $W$$1,r$, où $ r>2 $.
      Nous prouvons également un résultat de non-unicité en 3D.
      Enfin, comme une conséquence directe de l’unicité en 2D, nous prouvons une résultat de stabilité lipschitzienne lorsque le coefficient de Robin appartient à un sous-espace de dimension finie.
      Ce travail est une collaboration avec Laurent Baratchart et Juliette Leblond.

      Lieu : Amphi Schwarz

      [Séminaire]


    • Mardi 2 février 2016 11:00-12:00 - Alessandro Zilio

      Modelling phase separation with coupled elliptic equations : recent results on the asymptotic analysis

      Résumé : We consider a family of positive solutions to the system of $k$ components
      $ - \Delta u$$i,\beta$$ = f (x, u$$i,\beta$$) - \beta u$$i,\beta$$ \cdot \sum$$j \neq i$$ a$$ij$$ u$$j,\beta$$2$ in $\Omega$,
      where $\Omega \subset R^N $ with $N \geq 2$. It is known that uniform bounds in $L^\infty$ of $u$$\beta$ imply convergence of the densities to a segregated configuration, as the competition parameter $\beta$ diverges to $+\infty$. In this talk I will discuss how to obtain sharp quantitative point-wise estimates for the densities around the interface between different components, and, more specifically, how to characterize the asymptotic profile of $u$$\beta$ in terms of entire solutions to the limit system
      $\Delta U$$i$ $= U$$i$ $\sum$$j \neq i$ $a$$ij$ $U$$j$$2$.
      These results are part of an ongoing project with Nicola Soave.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 9 février 2016 11:00-12:00 - Michel Duprez - Université de Franche-Comté

      Indirect controllability of some linear parabolic systems of m equations with m−1 controls involving coupling terms of zero or first order

      Résumé : This talk will be devoted to the study of the null and approximate controllability for some classes of linear coupled parabolic systems with less controls than equations. More precisely, for a given bounded domain Ω in R^N (N ∈ N∗), we will consider a system of m linear parabolic equations (m>=2) with coupling terms of first and zero order, and m−1 controls localized in some arbitrary nonempty open subset ω of Ω. In the case of constant coupling coefficients, we will provide a necessary and sufficient condition to obtain the null or approximate controllability in arbitrary small time. In the case m = 2 and N = 1, we will also give a generic sufficient condition to obtain the null or approximate controllability in arbitrary small time for general coefficients depending on the space and times variables, provided that the supports of the coupling terms intersect the control domain ω. The results are obtained thanks to the fictitious control method together with an algebraic method and some appropriate Carleman estimates.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 16 février 2016 11:00-12:00 - Thibault Bourgeron - ENS Lyon, Umpa

      Estimations de fonctions dans deux modèles biologiques

      Résumé : Nous présenterons deux problèmes issus de domaines différents de la biologie (biologie cellulaire et neurobiologie), qui sont abordés grâce à un outil mathématique commun.
      Le premier problème concerne l’évolution des tailles des cellules dans une expérience de croissance fission. A partir de mesures de ces tailles, forcément entachées d’erreur, il s’agit de déterminer l’unique paramètre non directement mesurable, le taux de division. Le second problème concerne la transduction d’une odeur en signal électrique, au niveau d’un cil olfactif. Des canaux ioniques contrôlés par des nucléotides cycliques permettent le passage d’ions au travers du cil, et la création du courant. Leur répartition est inconnue, et le problème est de la déterminer à partir de la mesure du courant ionique et de propriétés connus du cil olfactif.
      Ces deux problèmes se ramènent finalement à inverser des opérateurs intégraux ayant une propriété commune d’auto-similarité. Dans le premier cas cela revient à dire que l’opérateur intégral dépend seulement du ratio taille d’une mère sur taille des filles. La transformation de Mellin permet d’établir des inégalités de continuité et d’observabilité. Les résultats obtenus sont appliqués à des données expérimentales.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 1er mars 2016 11:00-12:00 - Arnd Scheel - Université du Minnesota

      Growth and Patterns

      Résumé : It’s been long known that growth can act as a selection mechanism for spatio-temporal, self-organized patterns, determining for instance crystallographic types of patterns, "strain" in periodic structures, and distribution of defects in patterns. After showing several motivating examples from biology and engineering, I’ll give a subjective and selective overview of work that strives to describe these effects qualitatively and quantitatively, in a universal, model-independent fashion.

      Lieu : 132 (1R2)

      [Séminaire]


    • Mardi 8 mars 2016 11:00-12:00 - Jared Wunsch - Northwestern University

      Diffractive propagation on conic manifolds

      Résumé : I will discuss recent progress in understanding spectral and scattering theory on manifolds with conic singularities via the analysis of solutions to the wave equation. A key new ingredient is a trace formula obtained in recent work with Austin Ford.

      Lieu : Salle MIP

      [Séminaire]


    • Mardi 15 mars 2016 11:00-12:00 - Roger Moser - Université de Bath

      Interaction of Neel walls

      Résumé : A Neel wall is a type of transition layer in a thin film of some ferromagnetic material. In joint work with R. Ignat, we analyse a model for the energy of Neel walls that gives rise to structures similar to Ginzburg-Landau vortices. In particular, similarly to the theory of Ginzburg-Landau vortices, there is a renormalised energy that describes the interaction of different Neel walls at an energetic level, and we can compute it quite explicitly. The model also gives rise, however, to new phenomena and unique challenges, coming above all from the presence of a nonlocal term in the energy.

      Lieu : Salle MIP

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | ... | 170

  • Séminaire de Probabilités


    • Mardi 12 janvier 2016 09:45-10:45 - Nil Venet - Institut de Mathématiques de Toulouse

      Existence de champs browniens fractionnaires indexés par des variétés.

      Résumé : Dans cette exposé on parlera de champs browniens fractionnaires, qui généralisent le mouvement brownien fractionnaire en s’indexant sur un espace métrique plutôt que la droite réelle. Ces champs héritent des propriétés centrales du mbf (régularité fractale et accroissements stationnaires), ce qui motive leur étude.
      Hélas, la question de l’existence de ces champs n’est en général pas une question facile, et dépends de l’espace d’indexation choisi.
      En nous concentrant sur le cas où l’espace métrique est une variété riemannienne contenant des géodésiques fermées, nous donnerons une large classe de variétés pour lesquelles il n’existe pas de champ brownien.
      Nous parlerons aussi du cylindre qui constitue un exemple totalement dégénéré, pour lequel il n’existe aucun champ brownien fractionnaire.

      Lieu : Bâtiment 1R1, salle 106

      [Séminaire]


    • Mardi 19 janvier 2016 09:45-10:45 - Vittoria Silvestri - Cambridge Centre for Analysis, University of Cambridge

      Hastings-Levitov growth and the GFF.

      Résumé : In this talk I will discuss one instance of the so called Hastings-Levitov planar aggregation model, consisting of growing random clusters on the complex plane, built by iterated composition of random conformal maps. In 2012 Norris and Turner proved that in the case of i.i.d. maps the limiting shape of these clusters is a disc. I will show that the fluctuations around this asymptotic behaviour are given by a random holomorphic Gaussian field F on ∣∣z∣∣>1}, of which I will provide an explicit construction. The boundary values of F perform a Gaussian Markov process on the space of distributions, which is conveniently described as the solution of a stochastic PDE. When the cluster is allowed to grow indefinitely, this process converges to the restriction of the whole plane Gaussian Free Field to the unit circle.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 26 janvier 2016 09:45-10:45 - Tristan Benoist - Laboratoire de Physique Théorique (Toulouse)

      Entropies of repeated quantum indirect measurements

      Résumé : The indirect probing of quantum systems give rise to distributions over sequences of outcomes defined through product of matrices or more generally through compositions of completely positive maps.
      In this talk we will present how the sub additive thermodynamic formalism applied to these distributions allows us to prove the existence of several entropic quantities of interest. Particularly we present some implied results on the hypothesis testing between the forward and reversed distribution of the outcomes. We relate relative entropies to error exponents and show that the corresponding entropy production verifies a large deviation principle obeying a fluctuation relation symmetry.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 2 février 2016 09:45-10:45 - Anthony Réveillac - INSA Toulouse

      Effets de régularisation par le bruit : une approche martingale

      Résumé : Il est bien connu depuis la fin des années 70, que l’ajout de bruit dans certaines EDO mal posées
      permet de régulariser ces équations (par exemple en obtenant unicité de la solution). Ce type de phénomène est
      mieux connu sous le nom de régularisation stochastique (ou régularisation par le bruit). Le premier exemple de
      régularisation par le bruit pour une classe d’EDP linéaire a été obtenu que récemment par Flandoli, Gubinelli et
      Priola (Inventiones. 2010). Cette régularisation est obtenue grâce à une formule remarquable appelée « Itô-Tanaka
      trick » qui lie l’intégrale d’une certaine fonction $f$ le long de la solution d’un processus $X$ et $F$ la
      solution de l’équation de Fokker-Planck associée à $X$. Comme mentionné dans Flandoli et al., l’extension de ce
      résultat à une famille d’EDP non-linéaires passe par une extension de la Itô-Tanaka trick à des fonctions $f$
      aléatoires. Dans cette exposé, nous adresserons ce problème ouvert et donnerons une extension de la Itô-Tanaka
      trick en environnement aléatoire. Ce travail est en commun avec Romain Duboscq (INSA, IMT-MIP).

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 9 février 2016 09:45-10:45 - Alexandre Richard - INRIA Sophia-Antipolis

      Continuité de certaines fonctionnelles du mouvement brownien fractionnaire en fonction du paramètre de Hurst.

      Résumé : Le mouvement brownien fractionnaire est couramment utilisé dans de nombreux modèles, et bien que la détermination statistique de paramètre de Hurst H ait été étudiée dans de nombreux cas, la sensibilité en H de ces modèles est en général inconnue.
      Dans cet exposé, nous présenterons deux exemples où la continuité en H peut être établie : le premier concerne une famille de champs browniens fractionnaires et le second les temps d’atteinte de diffusions fractionnaires.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]


    • Mardi 16 février 2016 09:45-10:45 - Olivier Guédon - Université Paris-Est Marne-la-Vallée

      Quelques problèmes liés à des matrices aléatoires : sélection de caractères, propriété d’isométrie restreinte, normes.

      Résumé : Comme le titre le suggère, je présenterai quelques résultats d’analyse dont l’étude se ramène à des problèmes concernant les matrices aléatoires dont les lignes sont indépendantes. On s’intéressera essentiellement à certains suprema de processus empiriques.

      [Séminaire]


    • Mardi 1er mars 2016 09:45-10:45 - Benjamin ARRAS - Université de Liège

      Distance entropique par rapport à une loi gamma

      Résumé : Dans cet exposé, nous présenterons une égalité de type De Bruijn dont la mesure de
      référence est la loi gamma. Cette égalité lie l’entropie relative d’une variable
      aléatoire par rapport à la loi gamma à l’intégrale d’une certaine information de
      Fisher standardisée. Cette relation est similaire à celle obtenue par A. R. Barron
      (Ann. Probab.1986) dans le cas gaussien. La preuve repose sur des arguments
      probabilistes et analytiques simples. De plus, des nouvelles quantités de théorie de
      l’information sont introduites permettant de prendre en compte tout l’éventail des
      valeurs possibles du paramètre de forme de la loi gamma considérée.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Mardi 8 mars 2016 09:45-10:45 - Florian Simatos - Institut de Mathématiques de Toulouse

      Limites d’échelle associées aux processus de Crump-Mode-Jagers.

      Résumé : Les processus de Crump-Mode-Jagers forment la classe la plus générale de processus de branchement à temps continu et espace discret. Dans cet exposé je présenterai des résultats de limites d’échelle pour ces processus ainsi pour les processus de hauteur et de contour des arbres chronologiques associés.
      Les résultats présentés sont issus de collaboration avec Amaury Lambert, Emmanuel Schertzer et Bert Zwart.

      Lieu : Bâtiment 1R1, salle 106

      [Séminaire]


    • Mardi 15 mars 2016 09:45-10:45 - Mathieu Sablik - Aix-Marseille Université

      Mesures atteignables asymptotiquement par itération d’un mesure par un automate cellulaire

      Résumé : Les automates cellulaires modélisent des phénomènes à interactions locales où chaque cellule est actualisée en parallèle. Leur étude empirique est basée sur l’observation d’un diagramme espace temps initié par une configuration tirée au hasard. Il est donc naturel de s’intéresser aux valeurs d’adhérence de la suite des itérés d’une mesure par un automate cellulaire, cela correspond aux comportements asymptotiques typiques observés. Dans cet exposé on s’intéressera à leur étude suivant deux approches.
      La première consiste à caractériser les ensembles limites atteignables. En plus des contraintes topologique classique, il apparaît naturellement des contraintes liées à la calculabilité. Ce sont en fait les seules : pour un ensemble de mesures données il existe un automate cellulaire qui réalise cet ensemble comme mesures limites. Ce type de construction permet de réaliser du calcul sur l’espace des mesures de probabilité à l’aide d’un automate cellulaire.
      La deuxième approche consiste à considérer des classes qui expérimentalement ont des propriétés intéressantes puis d’essayer de leur donner un cadre théorique. On abordera deux types de phénomènes :

      • l’émergence et la persistance de zones homogènes séparées par des interfaces appelées particules.
      • la randomisation, pour une large classe de mesures initiales, les itérés de la mesure convergent (éventuellement en moyenne de Cesàro) vers la mesure d’entropie maximale.

      Lieu : Salle 1R1 106

      [Séminaire]


    • Mardi 22 mars 2016 09:45-10:45 - Vincent Beffara

      TBA.

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | ... | 160

  • Séminaire de Statistique


    • Mardi 13 octobre 2015 11:00-12:00 - Frédéric Lavancier - Université de Nantes

      Modélisation et statistique des processus ponctuels déterminantaux

      Résumé : Dans cet exposé, je montrerai que les processus ponctuels déterminantaux (DPPs) sont des objets bien adaptés à la modélisation des processus ponctuels spatiaux répulsifs (pour lesquels les points ont tendance à se répartir plus régulièrement dans l’espace que dans le cas Poissonien). Ce type de données est en général modélisé par des processus de Gibbs, pour lesquels la vraisemblance et les moments sont inconnus et la simulation repose sur des algorithmes de type MCMC. Je démontrerai qu’au contraire, les DPPs bénéficient de propriétés rendant leur analyse statistique aisée, leur simulation parfaite et rapide, et que des modèles paramétriques relativement flexibles peuvent être construits facilement. Quelques résultats d’inférence asymptotique seront présentés, ainsi que des illustrations sur données réelles. Ce travail a été effectué en collaboration avec Jesper Møller et Ege Rubak de l’université d’Aalborg, et pour les résultats les plus récents avec Christophe Biscio de l’université de Nantes.

      Lieu : Salle de séminaire du 1er étage, bât.1R3

      [Séminaire]


    • Mardi 3 novembre 2015 11:00-12:15 - Ronen Eldan - Weizmann Institute of Science, Israel

      From stochastic calculus to geometric inequalities : some new bounds related to the Gaussian convolution operator.

      Résumé : We will try to illustrate the potential of stochastic calculus as a tool for proving inequalities with a geometric nature. We’ll do so by focusing on the proofs of two new bounds related to the Gaussian Ornstein-Uhlenbeck convolution operator, which heavily rely on the use of Ito calculus. The first bound is a sharp robust estimate for the Gaussian noise stability inequality of C. Borell (which is, in turn, a generalization of the Gaussian isoperimetric inequality). The second bound concerns with the regularization of $L_1$ functions under the convolution operator, and provides an affirmative answer to the Gaussian variant of a 1989 question of Talagrand. Based in part on a joint work with James Lee.
      Cette séance est commune aux séminaires de probabilités et de statistique.

      Lieu : Amphithéâtre Schwartz, bâtiment 1R3, Université Paul Sabatier

      [Séminaire]


    • Du 9 novembre 2015 09:00 au 10 novembre 2015 17:00 -

      Workshop CIMI "Sequential learning and applications"

      Résumé : The Institut de Mathématiques de Toulouse and the Institut de Recherche en Informatique de Toulouse are currently organizing a thematic trimester on machine learning at Université Paul Sabatier. This event is part of the LabEx CIMI.
      In this framework, a workshop on "Sequential learning and applications" will take place on November 9 and 10, 2015. Topics include online convex optimization and convex analysis, prediction with expert advice, multi-armed bandits, online combinatorial problems, recurrent neural networks, as well as recent applications for, e.g., recommender systems, information retrieval, and social media analysis.
      The registration to the workshop is free of charge but compulsory ; please visit our website.

      Lieu : Amphithéâtre Schwartz, bâtiment 1R3, Université Paul Sabatier.

      [Séminaire]


    • Du 16 novembre 2015 09:30 au 17 novembre 2015 18:00 -

      Journées big data

      Résumé : Pour la troisième année consécutive, l’Université Paul Sabatier de Toulouse organise cet automne des rencontres sur les défis posés par les Big Data à la recherche en mathématique et en informatique, mais aussi à l’industrie.
      L’édition 2015 s’inscrit dans le cadre du trimestre thématique du Labex CIMI consacré au machine learning, et comportera deux volets :

      • le 16 novembre, une journée co-organisée par les GDR MADICS et MascotNUM du CNRS sur le calcul haute performance et les Big Data
      • le mardi 17 novembre, une journée de rencontre industrie-recherche présentant quelques grands défis et projets.

      Plus d’informations sur le site web.

      Lieu : 1R3-amphithéâtre Schwartz et U4-amphithéâtre Concorde, Université Paul Sabatier

      [Séminaire]


    • Jeudi 26 novembre 2015 10:30-12:00 - Nicolas Verzelen - INRA Montpellier / SupAgro

      Détection de communautés dans des réseaux aléatoires

      Résumé : L’analyse des réseaux est aujourd’hui un domaine ayant
      donné lieu à une abondante littérature aux croisements de la
      combinatoire, de l’algorithmique, de la physique des systèmes complexes
      et plus récemment des statistiques. La détection de communautés vise à
      découvrir des groupe de noeuds fortement liés entre eux et faiblement
      liés aux autres. Dans cet exposé, on discutera de modèles de réseaux
      aléatoires permettant de rentre compte de l’hétérogénéité rencontrée
      dans les réseaux réels. Ce cadre probabiliste permet de formaliser
      statistiquement le problème de détection de communautés. On obtiendra
      ainsi une caractérisation fine des difficultés statistiques inhérentes
      au problème de détection en faisant apparaître un compromis précision
      statistique contre complexité algorithmique.
      NB : Ce séminaire est commun avec l’équipe MIAT de l’INRA ; il aura lieu à l’INRA. Pour s’y rendre, consulter cette page.

      Lieu : INRA Auzeville (salle de séminaire AGIR)

      [Séminaire]


    • Mardi 1er décembre 2015 11:00-12:00 - Philippe Saint Pierre - ESP

      Random forests : correlation and functional data analysis

      Résumé : Random forest algorithm provides a predictor ensemble based on a set of randomized decision trees. The good performances in practical use can explain the growing interest in this approach. However, there is still a need to better understand the algorithm and the related importance measures. We first study the permutation importance measure in presence of correlated predictors. We describe how the correlation between predictors impacts the permutation importance in an additive model. Our results motivate the use of the Recursive Feature Elimination (RFE) algorithm for variable selection in this context. We then propose an extension of the permutation importance for groups of variable. This original criterion is used in a functional data analysis framework for selecting functional variables. Using a wavelet basis, it is proposed to regroup all of the wavelet coefficients for a given functional variable and use a selection algorithm based on the grouped importance. Various other groupings which take advantage of the frequency and time localization of the wavelet basis can be proposed. These methods has been developed jointly with the startup Safety Line for aviation safety purposes. The aim was to predict and explain the risk of long landing using data from flight data recorders.

      Lieu : Salle de séminaire du 1er étage, bât.1R3

      [Séminaire]


    • Mardi 8 décembre 2015 11:00-12:00 - François Bachoc - ESP

      Estimation de la fonction de covariance pour la régression par processus gaussiens

      Résumé : La régression par processus gaussiens consiste à prédire une trajectoire de processus gaussien, en fonction d’un nombre fini d’observations de celle-ci. Lorsque la fonction de covariance est connue, ou fixée par le statisticien, cette prédiction est effectuée explicitement grâce au conditionnement gaussien. Ainsi, l’approche la plus classique est d’estimer cette fonction de covariance dans une première étape, et de la supposer connue et égale à son estimée dans une seconde étape (approche dite "plug-in"). Dans cet exposé, je traiterai l’estimation paramétrique de la fonction de covariance, et présenterai les estimateurs par maximum de vraisemblance et par validation croisée. J’étudierai les propriétés de ces estimateurs dans deux situations.
      1) Cas bien spécifié, lorsque la fonction de covariance appartient à l’ensemble paramétrique de fonctions de covariance utilisé pour l’estimation. On considère un cadre asymptotique par expansion, fondé sur une grille régulière aléatoirement perturbée de points d’observations. On montre que les deux estimateurs ont une vitesse de convergence en racine-de-n et sont asymptotiquement gaussiens. On observe numériquement que le maximum de vraisemblance à une plus faible variance asymptotique.
      2) Cas mal spécifié, lorsque la fonction de covariance n’appartient pas à l’ensemble paramétrique de fonctions de covariance utilisé pour l’estimation. On montre alors que, pour des points d’observations aléatoires et indépendants, l’estimateur par validation croisée minimise asymptotiquement l’erreur de prédiction intégrée.
      Slides de l’exposé.

      Lieu : Salle de séminaire du 1er étage, bât.1R3

      [Séminaire]


    • Mardi 15 décembre 2015 11:00-12:00 - Willy Rodriguez - IMT

      Application d’un modèle de chaîne de Markov Cachée à la reconstruction de l’histoire démographique à partir de l’ADN

      Résumé : La reconstruction de l’histoire démographique est une question clé pour étudier l’évolution d’une population. Cette histoire démographique est caractérisée par des variations de taille effective. Je commencerai par faire un petit rappel sur la notion de « taille effective » d’une population, ainsi que sur son lien avec le Coalescent de Kingman. Ensuite, je présenterai le modèle PSMC (en anglais Pairwise Sequentially Markovian Coalescent) avec quelques exemples d’application sur des données simulées et sur de vrais génomes. Nous constaterons que, lorsque les hypothèses du PSMC ne sont pas valides dans la population qu’on étudie (notamment si la population est structurée) , l’histoire démographique reconstruite ne correspond pas à des changements de taille effective. Nous parlerons donc, de « taux de coalescence » et « IICR » (Inverse Instantanous Coalescent Rate). Cette notion permet d’attirer l’attention sur la manière dont les résultats de l’inférence démographique sont interprétés, et met en évidence les besoins de considérer des modèles moins simplistes permettant de retrouver des changement de taille au delà des effets de la structure. Dans ce sens nous verrons que le « coalescent structuré » peut s’avérer très utile. Je présenterai quelques résultats de simulations pour illustrer comment cette nouvelle approche peut dépasser les limites des méthodes précédentes.

      Lieu : Salle Séminaire MIP

      [Séminaire]


    • Mardi 12 janvier 2016 11:00-12:00 - Pierre Bellec - CREST

      Sharp oracle inequalities in shape restricted regression

      Résumé : In shape restricted regression where one is given a convex cone K, a classical estimator is the Least Squares (LS) estimator over K. We will see that the LS estimator adapts to low-dimensionality properties of the unknown regression vector. In isotonic regression, the LS estimator enjoys an almost parametric rate if the unknown regression vector can be well approximated by a piecewise constant nondecreasing sequence with few pieces. In convex regression, the LS estimator has an almost parametric rate if the unknown regression vector can be well approximated by a piecewise affine sequence with pieces. We will see that the same phenomenon appears in higher order cones and that a key parameter is the statistical dimension of the cone K. The paper is available at http://arxiv.org/abs/1510.08029

      Lieu : bât.1R1, salle 106

      [Séminaire]


    • Mardi 19 janvier 2016 11:00-12:00 - Erwan Scornet - LSTA, Université de Paris 6

      Promenade en forêts aléatoires

      Résumé : Les forêts aléatoires, inventées par Breiman en 2001, comptent parmi les algorithmes les plus utilisés pour résoudre des problèmes de régression et de classification, notamment en grande dimension. Elles possèdent en pratique de bonnes capacités prédictives et sont faciles à utiliser puisqu’elles ne nécessitent pas la calibration de multiples paramètres.
      Cependant les résultats théoriques actuels ne permettent pas d’appréhender complètement les mécanismes à l’oeuvre dans les forêts aléatoires.
      Dans cet exposé, je présenterai un premier résultat de convergence pour les forêts de Breiman. L’étude des forêts médianes permettra également de mettre en lumière certaines propriétés des forêts, que ne possèdent pas les arbres de régression.

      Lieu : Bâtiment 1R1, salle 106

      [Séminaire]

0 | ... | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120 | ... | 160

  • Séminaire Plate-forme Biostatistique


    • Lundi 30 septembre 2013 14:00-15:00 - Kim-Anh Lê Cao - Queensland Facility for Advanced Bioinformatics University of Queensland

      It is all about mixOmics !

      Résumé : Recent advances in high throughput ’omics’ technologies enable quantitative measurements of expression or abundance of biological molecules of a whole biological system. The transcriptome, proteome and metabolome are dynamic entities, with the presence, abundance and function of each transcript, protein and metabolite being critically dependent on its temporal and spatial location.
      Whilst single omics analyses are commonly performed to detect between-groups difference from either static or dynamic experiments, the integration or combination of multi-layer information is required to fully unravel the complexities of a biological system. Data integration relies on the currently accepted biological assumption that each functional level is related to each other. Therefore, considering all the biological entities (transcripts, proteins, metabolites) as part of a whole biological system is crucial to unravel the complexity of living organisms.
      With many contributors and collaborators, we are currently establishing a global analytical framework to extract relevant information from high throughput `omics’ platforms such as genomics, proteomics, metabolomics and other types of biological data. Specifically, the statistical methodologies that we developed and implemented in our R package mixOmics focus on the so-called multivariate projection-based approaches, which can handle such large data sets, deal with multi collinearity and missing values. These methodologies enable dimension reduction by projecting these large data sets into a smaller subspace, to capture the largest sources of variation in the biological studies.
      In this presentation, I will illustrate how various techniques enable exploration, data integration and visualisation of the data, with a particular focus on time course experiments analysis and cross-platform comparison.

      Lieu : Salle séminaire, 1er étage 1R3

      [Séminaire]


    • Mardi 5 novembre 2013 14:00-15:30 - Sophie Lamarre - INRA, plateforme GeT-Biopuces

      Influence du nombre de réplicats dans une analyse différentielle de données RNA-seq

      Lieu : Salle 1er étage 1R3

      [Séminaire]


  • Systèmes dynamiques


    • Vendredi 4 novembre 2016 10:30-11:30 - Jordi Canela - I.M.T.

      Singular perturbations of Blaschke products and connectivity of Fatou components

      Résumé : The study of singular perturbations is a very active research field in holomorphic dynamics. In this talk I will present a study on a family of singular perturbations of degree 4 Blaschke products. Within this family, the free critical points of the Blaschke products lead to the emergence of new dynamic phenomena after the singular perturbation. It is known that periodic Fatou components have connectivity 1, 2 or infinity. However, preperiodic Fatou components may have finite connectivity greater than 2. Fixed any n, there are known examples of rational maps with Fatou components of connectivity n. However, the degree of these rational maps grows with n. We prove that this family of singularly perturbed Blaschke products provides examples of maps which have Fatou components of arbitrarily large finite connectivity (within a single dynamical plane).

      Lieu : Salle 207, Bat 1R2

      [Séminaire]


    • Vendredi 18 novembre 2016 10:30-11:30 - Guy Casale - université de Rennes

      Irréductibilité des équations de Painlevé discrètes

      Résumé : J’expliquerai pourquoi une équation différentielle avec un "gros" pseudogroupe de Malgrange est irréductible ainsi que son possible analogue pour les équations aux différences. Un théorème de spécialisation de Damien Davy permet de calculer ce pseudogroupe pour les équations de Painlevé (ayant des paramètres très généraux). Il obtient ainsi une nouvelle preuve de l’irréductibilité des équations de Painlevé.
      Les équations de Painlevé discrètes confluent vers des équations de Painlevé lorsque le pas h tend vers 0. L’étude de la limite du pseudo-groupe de Malgrange lorsque h tend vers 0, nous permet de montrer que, de manière très générale, le pseudo-groupe de Malgrange d’une équation de Painlevé discrète est "gros".

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 2 décembre 2016 10:30-11:30 - Jean Pierre FRANCOISE - université Paris VI

      L’espace des arcs de Nash d’un idéal de Bautin

      Résumé : (En collaboration avec Lubomir Gavrilov et Dongmei Xiao)
      Nous utilisons l’espace des arcs de Nash associé à un idéal de
      Bautin et l’existence d’une résolution forte pour démontrer la
      finitude d’un indice appelé nombre d’Iliev. Ceci permet de fonder
      la notion générale de "perturbations essentielles" qui semble
      importante dans la problématique du 16ème problème de Hilbert
      sur les cycles limites.

      Lieu : salle 207, Bat 1R2

      [Séminaire]


    • Vendredi 9 décembre 2016 10:30-11:30 - Alexey GLUTSYUK - ENS Lyon, CNRS

      Sur un modèle d’effet de Josephson, systèmes dynamiques sur le 2-tore et les équations d’Heun

      Résumé : Ceci est un travail en collaboration avec Victor Buchstaber. Nous étudions une famille à deux paramètres d’équations différentielles non linéaires, qu’on trouve dans le modèle de jonction surshuntée de Josephson dans la supraconductivité. Elle provient de la mécanique quantique, mais on la trouve aussi dans des problèmes de la mécanique classique et de la géométrie. Elle est équivalente à une famille spéciale à deux paramètres de systèmes dynamiques (flots) sur le 2-tore. Nous étudions le nombre de rotation comme une fonction en les paramètres. Les zones de verouillage de phase sont ses ensembles de niveau d’intérieurs non vide. Nous présentons une série de résultats et de conjectures sur la géométrie des zones de verouillage de phase obtenus en collaboration avec Victor Buchstaber et dans ses travaux avec Sergei Tertychnyi. Ces résultats ont été obtenus via réduction des équations non linéaires sous-jacentes aux équations différentielles complexes appropriées du 2nd ordre : une sous-famille d’équations d’Heun double confluentes. Il se trouve, que les zones de verouillage de phase existent uniquement pour les valeurs entières du nombre de rotation : l’effet de quantification du nombre de rotation, découvert par V.M.Buchstaber, O.V.Karpov et S.I.Tertychnyi. Une série de résultats communs de V.M.Buchstaber et S.I.Tertychnyi relie la géométrie des zones de verouillage de phases à l’existence de solutions entières (ou polynomiales) des équations d’Heun double confluentes. Une conjecture de Buchstaber et Tertychnyi sur la description des adjacences des zones de verouillage de phase était réduite par eux-mêmes à une conjecture affirmant, que si une équation d’Heun double confluente a une solution polynomiale, alors l’équation ’’conjuguée’’ n’a pas de solution éntière. Ils l’ont démontrée modulo une autre conjecture, affirmant que les déterminants de certaines matrices de fonctions de Bessel du 1er type sont non nuls pour tout x>0. Nos présenterons un résultat plus général, qui implique toutes ces conjectures.

      Lieu : salle 207, Bat 1R2

      [Séminaire]


    • Vendredi 16 décembre 2016 10:30-11:30 - Jinan Loubani - IMT

      Moduli Spaces of a Family of non Quasi-Homogenous Functions : A Local Result.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 6 janvier 2017 10:30-11:30 - Gabriel Calsamiglia - UFF, Brésil

      Un principe de transfert : des périodes des différentielles abéliennes au feuilletage isopériodique

      Résumé : On montrera comment les propriétés dynamiques du feuilletage isopériodique défini sur l’espace de modules des différentielles abéliennes sur les surfaces de Riemann compactes de genre fixée, peuvent être modelées par l’action du mapping class group sur l’ espace de ses périodes.
      (en collaboration avec B. Deroin et S. Fancaviglia)

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 20 janvier 2017 10:30-11:30 - Viêt-Anh NGUYÊN - Université de Lille

      Intégrabilité du cocycle d’holonomie pour des feuilletages holomorphes singuliers

      Résumé : Nous étudions le cocycle d’holonomie H d’un feuilletages holomorphe (sin-
      gulier) en surfaces de Riemann F qui est défini sur une surface compacte pro-
      jective X et qui satisfait les deux conditions suivantes :
      • tous points singuliers sont hyperboliques ;
      • il n’y a pas d’application holomorphe non-constante $C → X$ telle que en
      dehors de l’ensemble des points singuliers E, l’image de C vit localement sur des
      feuilles.
      Soit T un courant harmonique tangent à F qui ne charge aucune courbe
      analytique invariante. Paramétrant les feuilles par la métrique de Poincaré, nous
      montrons que H est intégrable par rapport à T.
      Comme application immédiate, nous définissons l’exposant de Lyapunov pour
      tout feuilletage holomorphe générique de $CP^2$ .

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 3 février 2017 10:30-11:30 - Robert Conte - ENS Paris Saclay

      La paire de Lax de la sixième équation de Painlevé

      Résumé : Nous montrons que les équations du repère mobile des surfaces de Bonnet conduisent à une paire de Lax matricielle isomonodromique d’ordre deux pour la sixième équation de Painlevé.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 24 février 2017 10:30-11:30 - Olivier Thom - IRMAR (Rennes)

      Paires de fonctions de Morse

      Résumé : Je vais vous présenter la classification des paires de fonctions de Morse
      sur $C^n$ localement au voisinage de $0$.
      Ce problème est un cas particulier du problème plus général : classifier
      les paires de germes de fonctions $(f,g)$ où $f$ et $g$ sont des fonctions
      connues (le cas où $f$ et $g$ sont régulières transverses est trivial, et
      le cas où $f$ est régulière et $g$ de Morse est déjà connu). Comme on le
      verra, ce cas particulier est déjà suffisamment complexe pour donner un
      aperçu du problème général.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 10 mars 2017 09:00-10:00 - Jacques Sauloy - IMT

      Théorie analytique locale des équations aux q-différences de pentes arbitraires

      Résumé : La classification et la théorie de Galois analytiques locales des équations
      aux q-différences par Ramis, S et Zhang reposent en grande partie sur
      l’hypothèse que les pentes sont entières, Virginie Bugeaud ayant toutefois
      obtenu des résultats partiels au-delà (cas de deux pentes arbitraires). Il
      semble cependant (c’est un travail en cours) que l’on puisse à moindres frais
      s’affranchir totalement de cette hypothèse. Les résultats espérés font appel
      à ceux de Ramis, S et Zhang, ainsi qu’à la théorie de Galois formelle obtenue
      par van der Put et Reversat.

      Lieu : salle 207, bat 1R2

      [Séminaire]

0 | ... | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | 120

  • Théorie des noeuds et topologie en petite dimension


    • Mercredi 10 avril 2013 10:00 - Florian Deloup - IMT

      Le genre des langages réguliers

      Résumé : Résumé : si l’on oublie une partie de sa structure, un automate peut être regardé comme un graphe pour lequel la notion de genre est bien définie. Intuitivement, un graphe est de genre \leq g s’il existe un plongement du graphe dans une sphère à "g anses". Bien entendu, du point de vue informatique, les automates sont plus riches que des graphes : ils calculent des langages et un langage régulier donné admet une infinité d’automates le reconnaissant. Il est alors naturel de définir le genre d’un langage régulier L comme le genre minimal des automates reconnaissant L. On exposera quelques résultats et quelques questions ouvertes sur ce nouvel invariant des langages.

      Lieu : Salle 11 RDC — Bât. 1R3

      Notes de dernières minutes : Début de l’exposé à 10h15.

      [Séminaire]


    • Mardi 21 mai 2013 16:00-17:30 - Ryan Budney

      The homotopy type of spaces of knots

      Résumé : I will describe some basic properties of the homotopy-type of the space of smooth embeddings of the circle in the 3-sphere. There are two primary approaches to this, the Vassiliev approach, which now fits roughly into the machinery of "functor calculus" and the Hatcher approach, which uses many major structural theorems in 3-manifold theory. Hatcher’s approach studies the homotopy-type of the components of the knot space one component at a time, and sees them as essentially classifying spaces of the mapping class group of the knot, while the functor calculus approach in essence views the knot space as the non-singular part of a giant contractible mapping space. It turns out that the language of operads allows one to assemble Hatcher’s perspective into a simple global description of the embedding space’s homotopy-type, and from this perspective there are new avenues to compare the result with the functor calculus approach.

      Lieu : 1R2 - salle Cavaillès (salle 132)

      Notes de dernières minutes : Attention : jour et horaire inhabituels. Le séminaire débute à 16h15.

      [Séminaire]


    • Mercredi 22 mai 2013 - Stepan Orevkov - IMT

      Trace faible de Markov sur les algèbres de Hecke cubiques et invariants des entrelacs transverses

      Résumé : On construit des invariants des entrelacs transverse (dans le sens
      de la géométrie de contacte) en utilisant la trace faible de Markov
      sur les algébres de Hecke cubiques. La construction de tels invariants
      se réduit au calcul de la limite d’une suite croissante de certains
      modules noeteriens.

      Lieu : Salle Cavaillès (132) bât. 1R2

      Notes de dernières minutes : L’exposé commence à 10h15.

      [Séminaire]


    • Jeudi 14 novembre 2013 10:30-11:30 - Paul Bakouche - IMT

      Le théorème d’Eggan

      Résumé : La hauteur étoile (star height) est un invariant de complexité d’un langage régulier : c’est essentiellement le minimum du nombre d’opérations étoile (opération de Kleene qui est la concaténation d’un nombre arbitraire fini de copies d’expression régulière) nécessaires à la production d’expressions régulières du langage L.
      La complexité-boucle est un invariant de langage qui se lit lui géométriquement sur les automates finis (vus comme graphes) représentant le langage.
      L’objet de l’exposé est de montrer l’équivalence de ces deux invariants sur les langages réguliers.

      Lieu : 1R2 - 132 (salle Cavaillès) - Institut de Mathématiques, bât. 1R2

      Notes de dernières minutes : Noter le jour inhabituel : le séminaire aura lieu le jeudi (au lieu du mercredi).

      [Séminaire]


    • Lundi 16 décembre 2013 10:00-11:30 - Jean-Baptiste Meihlan - Institut Fourier, Grenoble

      Invariants de Milnor et polynôme de HOMFLYPT

      Résumé : L’objet de cet exposé est une formule reliant deux invariants d’entrelacs de nature différente, à savoir les invariants de Milnor, qui sont extraits du groupe fondamental du complémentaire, et le polynôme de HOMFLYPT, un invariant quantique. Après avoir rappelé les définitions nécessaires, nous verrons ainsi que les invariants de Milnor d’un entrelacs de la 3-sphère s’expriment comme une combinaison linéaire de polynôme de HOMFLYPT de noeuds obtenus par certaines opérations de somme en bande. Il s’agit d’un travail en commun avec A. Yasuhara.

      Lieu : Salle Picard (salle 129, bât. 1R2, 1er étage)

      Notes de dernières minutes : Veuillez noter le jour et le lieu inhabituels (pour le séminaire de topologie).

      [Séminaire]


    • Mercredi 29 janvier 2014 10:30-11:30 - F. Charette - ETH, Zürich

      How to generate non-trivial Lagrangian cobordisms via Lagrangian suspension

      Résumé : I will show that Hamiltonian isotopies act by suspension on the Lagrangian cobordism category recently introduced by Biran and Cornea. By using the relative Seidel representation, I will prove that this action is non-trivial on real Lagrangians in toric manifolds. This is joint work with Octav Cornea.

      [Séminaire]


    • Mercredi 16 avril 2014 10:30-12:00 - Renaud Detcherry - Ecole Polytechnique

      Formules asymptotiques pour les opérateurs courbes en TQFT

      Résumé : Résumé : A la suite des travaux de Jones et Witten, Reshetikhin et Turaev puis BHMV ont construit des théories quantiques topologiques des champs (TQFT), qui associe aux surfaces, cobordismes et 3-variétés divers invariants dit "quantiques".
      En particulier, à toute courbe sur une surface, on associe une suite d’endomorphismes appelés opérateurs courbes.
      On donnera une formule asymptotique liant les coefficients de matrices de ces opérateurs courbes aux fonctions traces sur l’espace des modules de la surface.

      Lieu : Salle 11 RDC 1R3

      [Séminaire]


    • Mercredi 18 juin 2014 10:00-12:00 - Benjamin Audoux - Marseille

      Une action des "tubes ribbons" sur le groupe libre réduit

      Résumé : Dans cet exposé, nous considérerons des tubes plongés dans B^4 possédant un remplissage par des boules dont toutes les intersections sont ribbons. Nous montrerons que ces objets induisent une action sur le groupe libre réduit qui les classifie à link-homotopie près. Cela peut-être vu comme une extension "welded" du résultat de Habegger et Lin sur les string-links classiques.

      Notes de dernières minutes : annulé pour cause de grève des trains (SNCF) et reporté au mardi 16 septembre.

      [Séminaire]


    • Mardi 16 septembre 2014 09:30-10:30 - Benjamin Audoux - CMI, Université Aix-Marseille

      Une action des "tubes ribbons" sur le groupe libre réduit

      Résumé : Dans cet exposé, nous considérerons des tubes plongés dans B^4 possédant un remplissage par des boules dont toutes les intersections sont ribbons. Nous montrerons que ces objets induisent une action sur le groupe libre réduit qui les classifie à link-homotopie près. Cela peut-être vu comme une extension "welded" du résultat de Habegger et Lin sur les string-links classiques.

      Lieu : Salle 132 bât. 1R2

      [Séminaire]


  • Philosophie des Mathématiques


    • Jeudi 5 mars 2015 15:00-16:00 - Benedikt Ahrens - CIMI, Acadie

      Univalent Foundations and the equivalence principle

      Résumé : The "equivalence principle" says that meaningful statements in mathematics should be invariant under the appropriate notion of equivalence - "sameness" - of the objects under consideration.
      In set theoretic foundations, the equivalence principle is not enforced ; e.g., the statement "1 ϵ Nat" is not invariant under isomorphism of sets.
      However, in the Univalent Foundations (UF) recently conceived by Fields Medalist Vladimir Voevodsky, the equivalence principle has been proved valid for some mathematical structures, in work both by others and myself.
      In this talk, I give a short introduction to the UF and review the aforementioned results on the equivalence principle in UF.
      Groupe de travail du Trimestre thématique CIPPMI "Current Issues in the Philosophy of Practice of Mathematics & Informatics"

      Lieu : Salle 132 Cavaillès, Bât 1R2

      [Séminaire]


    • Jeudi 26 mai 2016 14:30-16:30 - Pierre Lochak - (CNRS, IMJ)

      Philosophie des mathématiques ou bien philosophie et mathématiques.

      Résumé : J’explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l’histoire ou le concert des idées. Toutefois ces `mathématiques’ ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l’exemple princeps de l’opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu’il est convenu d’appeler les grandes `idéologies’ du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu’il paraît naturel de nommer `matière fonctorielle’ feront alors une courte apparition. Je tâcherai de préserver au fil de l’exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.​
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R2, salle Picard 129

      [Séminaire]


    • Lundi 30 mai 2016 14:30-16:30 - John T. Baldwin - Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago

      The unreasonable effectiveness of model theory in Number theory

      Résumé : Emulating Wigner’s famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme ; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified : stable (and refinements) and o-minimal. Bourbaki’s `great mother structures’ : groups, order, topology’ are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R3, Salle de séminaire MIP

      [Séminaire]


    • Mardi 30 mai 2017 14:00-15:30 - Brice Halimi - Univ. Paris-Nanterre, IREPH

      Changement de contexte et changement de base

      Résumé : La logique assure historiquement une médiation entre la philosophie du langage et la philosophie des mathématiques. C’est dans cette perspective que je m’intéresserai à la notion de contexte, notion essentielle en philosophie du langage, mais aussi en logique, à travers les notions d’univers de discours et de monde possible.
      La contextualité de la signification est un phénomène essentiel du langage ordinaire. Pour ne prendre qu’un exemple, il va de soi que le voyageur s’apprêtant à partir et annonçant "Tout est rentré dans ma valise" veut parler de ses effets personnels et non de la totalité des choses qui peuplent l’univers. La restriction contextuelle du mot "tout" est ici un exemple parmi d’innombrables autres de la contextualité de la signification. Une question importante est celle de savoir si et comment le sens contextuel de nos mots dérive par modulation de leur signification abstraite (c’est-à-dire linguistique). Face à cette question, je voudrais tout d’abord défendre l’idée que tout contexte est le résultat d’un changement de contexte, et toute signification en contexte le résultat d’une transposition.
      Je voudrais ensuite m’intéresser à la formalisation de la contextualité. En effet, un certain nombre de concepts mathématiques sont naturellement propres à représenter les notions de contexte et de changement de contexte, mais n’ont pas encore été appliqués en ce sens : en particulier le concept de catégorie fibrée. Car le cadre formel d’une catégorie fibrée permet de représenter à la fois la localité d’un contexte (au sens où un contexte est toujours une situation à l’intérieur de laquelle je me place) et sa variabilité (au sens où un contexte correspond toujours à une perspective que je peux quitter pour en adopter une autre). La question pendante que j’aborderai sera celle de savoir si la théorie de la descente peut être appliquée à l’analyse de la contextualité, autrement dit s’il est envisageable de vouloir recoller les différents sens contextuels d’une expression ou d’un énoncé comme formant autant d’aspects locaux d’une même signification globale (générale) putative.
      Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      Lieu : Salle Pellos 207 , Bât. 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]


  • Mathématiques et Philosophie Contemporaines


    • Jeudi 5 mars 2015 15:00-16:00 - Benedikt Ahrens - CIMI, Acadie

      Univalent Foundations and the equivalence principle

      Résumé : The "equivalence principle" says that meaningful statements in mathematics should be invariant under the appropriate notion of equivalence - "sameness" - of the objects under consideration.
      In set theoretic foundations, the equivalence principle is not enforced ; e.g., the statement "1 ϵ Nat" is not invariant under isomorphism of sets.
      However, in the Univalent Foundations (UF) recently conceived by Fields Medalist Vladimir Voevodsky, the equivalence principle has been proved valid for some mathematical structures, in work both by others and myself.
      In this talk, I give a short introduction to the UF and review the aforementioned results on the equivalence principle in UF.
      Groupe de travail du Trimestre thématique CIPPMI "Current Issues in the Philosophy of Practice of Mathematics & Informatics"

      Lieu : Salle 132 Cavaillès, Bât 1R2

      [Séminaire]


    • Jeudi 26 mai 2016 14:30-16:30 - Pierre Lochak - (CNRS, IMJ)

      Philosophie des mathématiques ou bien philosophie et mathématiques.

      Résumé : J’explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l’histoire ou le concert des idées. Toutefois ces `mathématiques’ ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l’exemple princeps de l’opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu’il est convenu d’appeler les grandes `idéologies’ du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu’il paraît naturel de nommer `matière fonctorielle’ feront alors une courte apparition. Je tâcherai de préserver au fil de l’exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.​
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R2, salle Picard 129

      [Séminaire]


    • Lundi 30 mai 2016 14:30-16:30 - John T. Baldwin - Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago

      The unreasonable effectiveness of model theory in Number theory

      Résumé : Emulating Wigner’s famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme ; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified : stable (and refinements) and o-minimal. Bourbaki’s `great mother structures’ : groups, order, topology’ are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.
      Cet exposé est donné dans le cadre du trimestre thématique CIPPMI.

      Lieu : Bât 1R3, Salle de séminaire MIP

      [Séminaire]


    • Mardi 30 mai 2017 14:00-15:30 - Brice Halimi - Univ. Paris-Nanterre, IREPH

      Changement de contexte et changement de base

      Résumé : La logique assure historiquement une médiation entre la philosophie du langage et la philosophie des mathématiques. C’est dans cette perspective que je m’intéresserai à la notion de contexte, notion essentielle en philosophie du langage, mais aussi en logique, à travers les notions d’univers de discours et de monde possible.
      La contextualité de la signification est un phénomène essentiel du langage ordinaire. Pour ne prendre qu’un exemple, il va de soi que le voyageur s’apprêtant à partir et annonçant "Tout est rentré dans ma valise" veut parler de ses effets personnels et non de la totalité des choses qui peuplent l’univers. La restriction contextuelle du mot "tout" est ici un exemple parmi d’innombrables autres de la contextualité de la signification. Une question importante est celle de savoir si et comment le sens contextuel de nos mots dérive par modulation de leur signification abstraite (c’est-à-dire linguistique). Face à cette question, je voudrais tout d’abord défendre l’idée que tout contexte est le résultat d’un changement de contexte, et toute signification en contexte le résultat d’une transposition.
      Je voudrais ensuite m’intéresser à la formalisation de la contextualité. En effet, un certain nombre de concepts mathématiques sont naturellement propres à représenter les notions de contexte et de changement de contexte, mais n’ont pas encore été appliqués en ce sens : en particulier le concept de catégorie fibrée. Car le cadre formel d’une catégorie fibrée permet de représenter à la fois la localité d’un contexte (au sens où un contexte est toujours une situation à l’intérieur de laquelle je me place) et sa variabilité (au sens où un contexte correspond toujours à une perspective que je peux quitter pour en adopter une autre). La question pendante que j’aborderai sera celle de savoir si la théorie de la descente peut être appliquée à l’analyse de la contextualité, autrement dit s’il est envisageable de vouloir recoller les différents sens contextuels d’une expression ou d’un énoncé comme formant autant d’aspects locaux d’une même signification globale (générale) putative.
      Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      Lieu : Salle Pellos 207 , Bât. 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]


  • Séminaire CIMI


    • Lundi 8 juillet 2013 14:00-15:00 - Ami Wiesel

      Covariance estimation in graphical models (Part II)

      Résumé : In this short tutorial, we will discuss recent advances in covariance estimation in graphical models and their applications. We will begin with the classical results on covariance selection, and continue to modern contributions on high dimensional structure learning. We will discuss the analogy to traditional spectral estimation theory including moving average (MA), autoregressive (AR) and moving average autoregressive (ARMA) processes. Most of the tutorial will emphasize the Gaussian setting but we will also address robust methods for non-Gaussian settings which have recently attracted considerable attention. Time permitting, we will also consider distributed solutions based on message passing algorithms.
      http://www.cs.huji.ac.il/ amiw/

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]


    • Lundi 8 juillet 2013 15:30-16:30 - Jose Bioucas-Dias

      Hyperspectral unmixing via sparse regression. Optimization problems and algorithms

      Résumé : Hyperspectral unmixing is the decomposition of the pixel spectra from a hyperspectral image into a collection of constituent spectra, or spectral signatures, called endmembers, and the fractional abundances, one set per pixel. Hyperspectral unmixing has recently been approached in a semi-supervised fashion, by assuming that the observed image signatures can be expressed in the form of linear combinations of a number of pure spectral signatures known in advance (e.g., spectra collected on the ground by a field spectro-radiometer). Unmixing then amounts to finding the optimal subset of signatures in a (potentially very large) spectral library that can best model each mixed pixel in the scene. In practice, this is a combinatorial problem which calls for efficient linear sparse regression techniques based on sparsity-inducing regularizers. In this talk, I will address a set of recently introduced hyperspectral unmixing techniques based on sparse regression. In this approach, the unmixing is obtained by solving a convex optimization problem, where the objective function is a sum of convex terms with possibly convex constraints. Usually, one of terms in the objective function measures the data fidelity while the others, jointly with the constraints, enforce some type of sparsity on the solution.
      Several particular features of these problems (e.g., huge dimensionality and nonsmoothness) preclude the use of off-the-shelf optimization tools and have stimulated a considerable amount of research. In this talk, I will present a new class of algorithms to handle these convex optimization problems. The proposed class of algorithms is an instance of the so-called alternating direction method of multipliers (ADMM), for which convergence sufficient conditions are known. We show that these conditions are satisfied by the proposed algorithms. The effectiveness of the proposed approach is illustrated in a series of hyperspectral unmixing problems.

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]


    • Lundi 15 juillet 2013 14:00-15:00 - Jose Bioucas-Dias

      Interferometric Phase Image Estimation via Sparse Coding in the Complex Domain

      Résumé : In this seminar I will address interferometric phase image estimation — that is, the estimation of phase modulo-$2pi$ images from sinusoidal $2pi$-periodic and noisy observations. These degradation mechanisms make interferometric phase image estimation a quite challenging problem. We tackle this challenge by reformulating the original estimation problem as a sparse regression in the complex domain. Following the standard procedure in patch-based image restoration, the image is partitioned into small overlapped square patches and the vector corresponding to each patch is modeled as a sparse linear combination of vectors, termed atoms, taken from a set called dictionary. Aiming at optimal sparse representations, and thus at optimal noise removing capabilities, the dictionary is learned from the data it represents via matrix factorization with sparsity constraints on the code, (i.e., the regression coefficients) enforced by the $ell_1$ norm. The effectiveness of the new sparse coding based approach to interferometric phase estimation, termed SpInPHASE, is illustrated in a series of experiments with simulated and real data.

      Lieu : ENSEEIHT, Salle B105

      [Séminaire]

0 | 10

  • Actions acylindriques


    • Lundi 8 décembre 2014 16:00-17:00 - Dylan Thurston

      Seminaire geometrie : A computable criterion for rational maps

      Résumé : Exceptionnellement le seminaire de geometrie et topologie se tiendra a la place du groupe de travail.
      Résumé : In 1982, W. Thurston gave a criterion for a topological branched self-cover of the sphere to be equivalent to a rational map, in terms of a certain obstruction, that exists exactly when the map is not rational. Recently, we gave a dual positive criterion in terms of certain graphical spines and elastic networks.
      In this talk, we will focus on programs for finding this positive criterion and examples of what they look like

      [Séminaire]


  • Mathématiques pour la biologie


    • Jeudi 22 février 13:30-14:30 - Antoine Wystrach - CRCA (Toulouse)

      The emergence of navigational behaviour in insects

      Résumé : Navigation requires the coordination between different type of actions
      (e.g., choosing a direction, going forward etc…), and the control
      mechanisms that ‘triggers’ these actions is often characterised as decision
      making. Here we will see that distinct behaviour can spontaneously emerge
      from simple, continuous processes without the need to ‘trigger’ or ‘select’
      actions. We will see that such non-reducible, distributed processes
      emerging from the interaction between brain, body and environment can
      provide robust and generalist solutions to various and apparently different
      navigational tasks.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 15 mars 13:30-14:30 - Thomas Lepoutre - INRIA Rhône Alpes

      Mathematical models for chronic myeloid leukemia

      Résumé : Chronic myeloid leukemia has been drastically changed by the introduction of targeted therapies in the 2000s. Currently, one of the challenging question is how to decide wether one can stop therapy or not. We will see how our models can give insights on the underlying mechanisms responsible for success or failure of treatment cessation. We will especially discuss the hypothesis of an important role of the immune system in this result and how one can analyze then treatment free remission as a stability property. We will also review how some different models suggest the patients might be overtreated.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 29 mars 13:30-14:30 - Rémi Servien - INRA - Ecole Nationale Vétérinaire de Toulouse

      Identification et quantification de métabolites dans un spectre RMN

      Résumé : Nous nous intéressons ici à un problème rencontré en métabolomique. Ce domaine vise à caractériser la composition d’un mélange complexe par ses métabolites i.e. ses petites molécules. Les spectromètres RMN fournissent un spectre de mélange complexe qui est la superposition des spectres des métabolites purs. Chaque métabolite possède un spectre caractéristique, sa signature, qui le rend identifiable. Cependant, la reconnaissance automatique des métabolites dans un mélange complexe est rendu délicate par des problèmes comme la déformation du spectre (translation, dilatation …) ou la superposition des pics. Nous proposons ici une méthode permettant d’identifier et de quantifier rapidement les métabolites dans un spectre complexe tout en contrôlant les fausses détections. Cette procédure, testée sur différents mélanges, s’avère performante et rapide.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 12 avril 13:30-14:30 - Diala Abu Awad - Technische Universität München (Allemagne)

      Consequences of life-history strategies on allele fixation

      Résumé : How life-history strategies influence the evolution of populations is not well understood. Most existing models stem from the Wright-Fisher model which considers discrete generations and a fixed population size, thus not taking into account any potential consequences of overlapping generations and demographic stochasticity on allelic frequencies. We introduce an individual-based model in which both population size and genotypic frequencies at a single bi-allelic locus are emergent properties of the model. Demographic parameters can be defined so as to represent a large range of r and K life-history strategies in a stable environment, and appropriate fixed effective population sizes are calculated so as to compare our model to the Wright-Fisher diffusion. Our results indicate that models with fixed population size that stem from the Wright-Fisher diffusion cannot fully capture the consequences of demographic stochasticity on allele fixation in long-lived species with low reproductive rates. This discrepancy is accentuated in the presence of demo-genetic feedback. Furthermore, we predict that populations with K life-histories should maintain lower genetic diversity than those with r life-histories.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 26 avril 13:30-14:30 - ANNULÉ (Maxime Breden - TU Munich)

      ANNULÉ

      Résumé : About the equilibria of a cross-diffusion system in population dynamics
      Cross-diffusion is a mechanism used in population dynamics to model a repulsive effect between individuals. Mathematically, this corresponds to adding a nonlinear diffusion term to classical reaction-diffusion systems. Cross-diffusion allows to obtain a richer variety of solutions, whose qualitative behavior seems to better fit observations (spatial segregation phenomenon), but it also complicates the mathematical study of these solutions.
      In this talk, I explain how numerical simulations can be combined with a posteriori estimates, to obtain computer-assisted proofs about inhomogeneous steady states of a cross-diffusion system.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 17 mai 13:30-14:30 - Susely Figueroa (IMT)

      Long time evolutionary dynamics of phenotypically structured populations in time periodic environments

      Résumé : I will present a study of the long time behavior of a parabolic Lotka-Volterra type equation considering a time-periodic growth rate with non-local competition. Such equation describes the dynamics of a phenotypically structured population under the effect of mutations and selection in a time-periodic fluctuating environment. We first prove that, in long time, the solution converges to the unique periodic solution of the problem. Next, we describe this periodic solution asymptotically as the effect of the mutations vanish by using a theory based on Hamilton-Jacobi equations with constraint, proving that the solution concentrates on a single Dirac mass, while the size of the population varies periodically in time. When the effect of the mutations are small but nonzero, we provide some formal approximations of the moments of the population’s distribution. As an application we show, via some examples, how such results could be compared to biological experiments.

      Lieu : salle MIP, 1er étage bat 1R3

      [Séminaire]


    • Jeudi 31 mai 13:30-14:30 - Clément Sire - LPT, IRSAMC

      (Measuring) Social Interactions and (Studying) Collective States in Fish Schools

      Résumé : The flexible coordination of individuals’ movements ensures rapid and coherent changes in direction of travel of fish schools for instance as a reaction to a predator detected in the neighborhood. However the ’microscopic level’ interaction rules involved in the coordination of fish movements and the adapted collective response of a school still remain to a large extent unknown. Knowing such interaction rules could offer new sources of inspiration to design distributed control algorithms for swarms of drones. Here we present a systematic methodology to measure and analyze social interactions controlling the collective motion of animal groups. Contrary to classical forces between physical objects, social interactions between individuals explicitly depend on their relative headings and are affected by their anisotropic and asymmetric perception of their environment. Hence they strongly break the Newtonian’s law of action-reaction. When applied to fish groups, this approach leads to the quantitative measurement of the spontaneous behavior of a fish, of its avoidance interaction with the tank walls, and of its attraction and alignment interaction with another fish. We use the results of this analysis to build an explicit and faithful model that convincingly reproduces quantitative and qualitative features of the actual fish dynamics. We also show that the type of models derived from such analysis reproduces the main collective states observed in actual fish schools, when one varies the intensity of the alignment and attraction interactions between fish.

      [Séminaire]


    • Jeudi 14 juin 13:30-14:30 - Philippe Saint-Pierre - IMT

      R-vine copula and clinical trial simulation

      Résumé : A Clinical trial simulations (CTS) consist in studying the effects of a
      drug in virtual patient populations using mathematical models. CTS have
      been recognized by the pharmaceutical companies and regulatory
      authorities as being pivotal to improving the efficiency of the drug
      development process. This includes the use of CTS to learn about drug
      effectiveness and safety and to optimize trial designs at the various
      stages of development. The generation of virtual patients is a key point
      of the process. Two main approaches are proposed in the literature for
      this task. The Discrete method is based on Monte Carlo simulations from
      the joined distribution of the covariates whereas the Continuous method
      used a multi-normal distribution. We propose a third approach based on
      R-vines copula to generate virtual patients. Modelling patients’
      evolution over time is another challenging task. As an example, data on
      30000 HIV patients are used to evaluate various scenario of
      (approaching) switching to generics of many VIH drugs. Execution models
      are developed to update patients’ characteristics (including treatment
      and health state) over time. Simulations are performed to evaluate the
      cost of various switching to generics scenarios.

      Lieu : salle 106 1er étage bat 1R1

      Notes de dernières minutes : Attention, changement de salle : salle 106 1er étage bat 1R1

      [Séminaire]



  • Monge-Ampère


    • Vendredi 22 mai 2015 09:00-10:00 - Hoang Chinh LU - Chalmers Techniska Högskola

      Un cousin du flot de Calabi.

      Résumé : On introduit et étudie le flot de gradient d’une fonctionnelle d’energie libre sur l’espace de Wasserstein W_2(X) sur une variété Kählerienne compacte. Dans le cas où la première classe de Chern est negative, on montre que le flot existe et qu’il converge vers la métrique de Kaher-Einstein. Travail en commun avec Robert Berman (CTH).

      [Séminaire]


  • dynamique complexe (doctorants)


    • Mardi 11 mars 2014 11:00-12:00 - Fabrizio Bianchi

      GdT des doctorants de dynamique complexe

      Résumé : Courants et dynamique complexe à plusieurs variables

      [Séminaire]


    • Mardi 13 mai 2014 11:00-12:00 - Bastien Rossetti

      GdT des doctorants de dynamique complexe

      [Séminaire]


  • Géométrie Complexe


    • Vendredi 27 octobre 2017 09:00-10:00 - TBA

      TBA

      [Séminaire]


    • Vendredi 10 novembre 2017 09:00-10:00 - D.H.Phong - Columbia University

      Supersymmetric string vacua and non-linear partial differential equations 2

      [Séminaire]


    • Vendredi 17 novembre 2017 09:00-10:00 - V.Benedetti - Marseille

      Lieux de dégénérescence orbitaux

      Résumé : Je vais introduire les lieux de dégénérescence orbitaux. Il s’agit d’une construction qui généralise celle des lieux de dégénérescence classiques. En choisissant une orbite dans une représentation d’un groupe algèbrique, elle permet d’obtenir des variétés intéressantes. Je vais expliquer quels sont les outils qu’on a pour étudier ces lieux, notamment comment trouver une désingularisation et une résolution de leurs idéaux. Je donnerai enfin quelques applications dans des cas concrets.

      [Séminaire]


    • Vendredi 24 novembre 2017 09:00-10:00 - T.Dedieu - IMT

      Extensions des courbes canoniques et applications gaussiennes

      Résumé : Étant donné une courbe $C \subset \mathbf P V$, on définit une application
      $\bigwedge^2 V^\vee \to \Gamma \bigl(C, \Omega_C^1 \otimes
      \mathcal O_C(2)\bigr)$
      par la formule $s \wedge t \mapsto ds\wedge t - s\wedge dt$.
      Elle est dite application gaussienne.
      Ses propriétés de surjectivité encodent des informations sur
      l’existence d’extensions de $C$, c’est-à-dire de variétés
      $X \subset \mathbf P(V\oplus \mathbf C^k)$ qui ont $C$ comme section linéaire et ne
      sont pas des cônes.
      Lorsque $C \subset \mathbf P(H^0(\Omega^1))$ est le plongement canonique, les surfaces lisses extensions de $C$
      sont des surfaces $K3$.
      Un résultat récent dû à Arbarello—Bruno—Sernesi, résolvant une
      conjecture de Wahl, affirme essentiellement que $C$ s’étend à une
      surface si et seulement si son application gaussienne est
      non-surjective.
      Dans cet exposé j’expliquerai comment ce résultat s’étend aux
      extensions de dimensions supérieures de $C$, et donnerai quelques
      applications, en particulier aux extensions des surfaces $K3$, qui
      lorsqu’elles sont lisses sont des variétés de Fano.
      Il s’agit d’un travail en commun avec C. Ciliberto et E. Sernesi.

      [Séminaire]


    • Vendredi 1er décembre 2017 09:00-10:00 - To Tat Dat - IMT

      Sous-solutions d’EDP sur les variétés hermitiennes compactes

      Résumé : Nous introduisons une notion de C-sousolution parabolique étendant les notions de B. Guan et et G. Szekelyhidi pour les équations elliptiques, et donnons quelques applications. Travail en commun avec Duong H. Phong.

      [Séminaire]


    • Vendredi 8 décembre 2017 09:00-10:00 - To Tat Dat - IMT

      Sous-solutions d’EDP sur les variétés hermitiennes compactes

      Résumé : Nous introduisons une notion de C-sousolution parabolique étendant les notions de B. Guan et et G. Szekelyhidi pour les équations elliptiques, et donnons quelques applications. Travail en commun avec Duong H. Phong.

      [Séminaire]


    • Vendredi 15 décembre 2017 09:00-10:00 - Laurent Manivel - IMT

      TBA

      [Séminaire]



    • Vendredi 2 février 14:30-17:00 - Eleonora DiNezza - IHES

      Complex Monge-Ampère equations on compact Hermitian manifolds

      [Séminaire]


    • Vendredi 9 février 09:00-10:00 - Ruadhai Dervan - Cambridge/École Polytechnique

      Extremal metrics on fibrations

      Résumé : I will discuss a construction of certain canonical Kähler
      metrics on fibred complex manifolds, which extends work of Fine. The
      main new idea is to exploit the Kähler geometry of maps between complex
      manifolds. This is joint work with Lars Sektnan.

      [Séminaire]

0 | ... | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110

  • processus déterminantaux


    • Jeudi 18 juin 2015 15:00-16:00 - Elizabeth et Mark Meckes - Case Western Reserve University

      Self-similarity in the eigenvalues of random unitary matrices

      Résumé : Self-similarity in the eigenvalues of random unitary matrices

      Lieu : salle réunion MIP 1R3

      [Séminaire]



Groupes de Travail


  • Probabilités et statistique


    • Jeudi 22 mars 12:30-13:30 - Pierre Ménard - IMT

      GdL Deep learning

      Résumé : Présentation de l’article :
      Adversarial feature learning, Donahue, J., Krähenbühl, P., & Darrell, T. (2016).
      https://arxiv.org/abs/1605.09782

      Lieu : Salle MIP bât 1R3, 1er étage

      [Séminaire]


    • Jeudi 5 avril 12:30-13:30 - AOC members - IMT and IRIT

      Recent contributions (AOC members)

      Résumé : Three recent papers written by AOC members will be presented :

      Lieu : Salle MIP bât 1R3, 1er étage

      [Séminaire]


    • Jeudi 12 avril 12:30-13:30 - Multiple people - IMT, IRIT, IRT

      Recent news in Artificial Intelligence

      Résumé : Today’s session will be about recent news on the French AI landscape. More precisely we will try to give an overview of the recent report written by Cédric Villani. A future project on "Dependable and Explainable Learning" and led by IRT will also be presented at the beginning.

      Lieu : Amphithéâtre Schwartz RDC - Bât 1R3

      [Séminaire]


    • Jeudi 3 mai 12:30-13:30 - Fabien Panloup - LAREMA, Université d'Angers

      Une méthode multilevel-Romberg pour la simulation de mesures de Gibbs

      Résumé : Dans cet exposé basé sur un travail en collaboration avec G. Pagès, on présentera une méthode combinant l’approche Multilevel et l’accélération de Richardson-Romberg pour approcher et/ou simuler les mesures invariantes de diffusions. Plus précisément, l’approximation est obtenue via une combinaison bien choisie de mesures d’occupations de schémas d’Euler (multi-pas) de la diffusion considérée. Dans le résultat principal, on montrera qu’une optimisation des paramètres de l’algorithme conduit à une complexité de l’ordre de (1/epsilon)^2*log(epsilon) pour une erreur quadratique fixée à epsilon. Lorsque le drift de la diffusion dérive d’un potentiel, la mesure invariante est une mesure de Gibbs. Ainsi, dans le cadre de la statistique bayésienne par exemple, ce type d’approche peut générer une alternative efficace aux méthodes MCMC usuelles pour la simulation de la loi a posteriori.

      Lieu : Room 106, building 1R1, UPS.

      [Séminaire]



    • Jeudi 31 mai 12:30-13:30 - Gilles Richard - IRIT

      The future of ML : autoML !

      Résumé : Forget about ’import keras, model.add(Conv2D(32, (3, 3), input_shape=(64,64,3),activation=’relu’))’,
      too boring… Let’s autoML do the job for you !
      autoML is the last attempt to make computer clever : a proper program can
      get your data, pre-process these data and find the best available predictive model
      for you. In this talk, we will (try to) understand the ideal pipeline from data
      to predictors, and how it can be automatically built.
      We will first see how the issue is theoretically addressed, then practically solved.
      We can consider autoML as a new step toward UML (for Universal Machine Learning !).

      Lieu : Salle 207, bât 1R2

      [Séminaire]


    • Mercredi 20 juin 11:00-12:00 - Sébastien Gerchinovitz and Pierre Ménard - IMT

      Reading group Deep Learning

      Résumé : We will present the paper Some Theoretical Properties of GANs by Biau, Cadre, Sangnier, and Tanielian.

      Lieu : Salle 106, bât 1R1

      [Séminaire]


    • Jeudi 21 juin 12:30-13:30 - Thi Thu Hang Nguyen - LAAS

      TBA

      Résumé : In this talk, we will take an overview of reinforcement learning. In the first part, an introduction of Markov Decision Processes is presented. That gives us motivation for learning techniques in the sequel. We then discuss about temporal difference (TD) learning. This type of learning is to learn value function, denoted by V and Q with update rule : V(s) ←− V(s) + α(r + V(s0) − V(s)) where α is learning rate and r + V(s0) − V(s) is called TD error. We use two notations for value function because there are two types of value function. The first type is V which is for the one depends only on state. The other one is Q which depends on both state and action. When the action space is too large or continuous, we can not apply TD learning since its basic idea is storing value in a table of state/action - value. To solve that problem, we use function approximation technique. With this one, we approximate value function with a function and during the learning process, we will update its parameters. In the next part, we introduce Deep Q-Network (DQN) where we use neural network to approximate the value function for both discrete and continuous action space.

      Lieu : Room 207, building 1R2, UPS.

      [Séminaire]

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80

  • GT de probabilités


    • Vendredi 18 octobre 2013 15:30-17:30 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP

      Résumé : Dans cet exposé, nous introduirons, brièvement, les "Processus Markoviens Déterministes par Morceaux" (PDMP, en anglais) et donnerons, en particulier, quelques exemples et problématiques. Un de ces exemples est le processus TCP. Celui-ci croit linéairement et se fragmente à des taux exponentielles. Nous expliciterons sa mesure invariante de deux manières différentes : via la méthode des moments ou via des suites auto-régressives. Nous décrirons aussi sa convergence vers l’équilibre en distance de Wasserstein par trois méthodes différentes : via l’edp associée, via un couplage ou via des relations de commutations.

      Lieu : Salle 106 1R1

      [Séminaire]


    • Vendredi 8 novembre 2013 15:00-17:00 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP suite

      Résumé : Résumé : "Dans cet exposé, nous introduirons, brièvement, les
      "Processus Markoviens Déterministes par Morceaux" (PDMP, en anglais)
      et donnerons, en particulier, quelques exemples et problématiques. Un
      de ces exemples est le processus TCP. Celui-ci croit linéairement et
      se fragmente à des taux exponentielles. Nous expliciterons sa mesure
      invariante de deux manières différentes : via la méthode des moments ou
      via des suites auto-régressives. Nous décrirons aussi sa convergence
      vers l’équilibre en distance de Wasserstein par trois méthodes
      différentes : via l’edp associée, via un couplage ou via des relations
      de commutations."

      Lieu : salle MIP 1R3

      [Séminaire]


    • Vendredi 15 novembre 2013 15:00-17:00 - Bertand CLOEZ - IMT

      Introduction aux PDMP et au processus TCP suite

      Lieu : 132 IR2

      [Séminaire]


    • Vendredi 22 novembre 2013 15:00-17:00 - P. Monmarché - IMT

      TBA

      Lieu : Salle 106 1R1

      [Séminaire]



    • Mardi 15 mai 15:30-16:30 - J. Tapia - IMT

      L’infinie-catégories des spèctres

      [Séminaire]


    • Mardi 22 mai 15:30-16:30 - J. Tapia - IMT

      Infinie-catégorie des spectres - suite

      [Séminaire]


    • Mardi 29 mai 15:30-16:30 - J. Antonio - IMT

      Homologie de Hochschild Topologique I

      [Séminaire]


    • Mardi 5 juin 15:30-16:30 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique II

      [Séminaire]


    • Mardi 12 juin 14:00-15:00 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique III

      [Séminaire]


    • Mardi 19 juin 15:30-16:30 - Jorge Antonio - IMT

      Homologie de Hochschild Topologique IV

      [Séminaire]


    • Mardi 26 juin 15:30-16:30 - J. Tapia - IMT

      Bloch-Kato et Quillen-Lichtenbaum

      [Séminaire]


    • Mardi 3 juillet 14:00-15:00 - J. Tapia - IMT

      Bloch-Kato et Quillen-Lichtenbaum

      [Séminaire]

0 | 10 | 20 | 30 | 40

  • Groupe de travail Image


    • Lundi 30 septembre 2013 14:00-16:00 - Hervé Carfantan - Institut de recherche en Astrophysique et Planétologie (IRAP)

      La parcimonie sous toutes (?) ses formes pour un problème inverse d’analyse spectrale en échantillonnage irrégulier

      Résumé : La représentation et l’approximation parcimonieuses des signaux et images ont été largement exploitées dans un grand nombre d’applications en parallèle de leur développement théorique depuis une vingtaine d’années. Je mettrai l’accent ici sur l’utilisation d’une information a priori de parcimonie dans la résolution d’un problème inverse, plus particulièrement pour la déconvolution de spectres de raies à partir de données irrégulièrement échantillonnées. Je présenterai les différentes formes sous lesquelles cette information a priori de parcimonie peut-être prise en compte, via une approche d’optimisation déterministe au travers des algorithmes gloutons et des critères relaxés, ou une approche d’échantillonnage stochastique grâce au modèle Bernoulli-Gaussien. Je tenterai de présenter à la fois les propriétés théoriques et l’utilisation pratique des différentes formes que peut prendre la parcimonie dans ce contexte applicatif très délicat.

      Lieu : ENSEEIHT, salle à préciser

      [Séminaire]


    • Lundi 25 novembre 2013 14:00-16:00 - Nicolas Papadakis - CNRS, Institut de Mathématiques de Bordeaux

      Optimal transport with proximal splitting

      Résumé : In this talk, we present the use of first order convex optimization schemes to solve the discretized dynamic optimal transport problem, initially proposed by Benamou and Brenier in 2000.
      We develop a staggered grid discretization that is well adapted to the computation of the L2 optimal transport geodesic between distributions defined on a uniform spatial grid.
      We show how proximal splitting schemes can be used to solve the resulting large scale convex optimization problem.
      A specific instantiation of this method on a centered grid corresponds to the initial algorithm developed by Benamou and Brenier.
      We also show how more general cost functions can be taken into account and how to extend the method to perform optimal transport on a Riemannian manifold.

      Lieu : IMT - Salle de conférence MIP Bâtiment 1R3, 1er étage

      [Séminaire]


    • Lundi 13 janvier 2014 14:00-16:00 - Nicolas Papadakis - CNRS, Institut de Mathématiques de Bordeaux

      Optimal transport with proximal splitting

      Résumé : In this talk, we present the use of first order convex optimization schemes to solve the discretized dynamic optimal transport problem, initially proposed by Benamou and Brenier in 2000. We develop a staggered grid discretization that is well adapted to the computation of the L2 optimal transport geodesic between distributions defined on a uniform spatial grid. We show how proximal splitting schemes can be used to solve the resulting large scale convex optimization problem. A specific instantiation of this method on a centered grid corresponds to the initial algorithm developed by Benamou and Brenier. We also show how more general cost functions can be taken into account and how to extend the method to perform optimal transport on a Riemannian manifold.

      Lieu : IMT - Salle de conférence MIP Bâtiment 1R3, 1er étage

      [Séminaire]

0 | 10 | 20


    • Mardi 18 juin 2013 14:00-15:30 - Andréa RAU - INRA Jouy-en-Josas

      Joint estimation of causal effects from observational and intervention gene expression data

      Lieu : Salle GMM13, INSA de Toulouse

      [Séminaire]


    • Mardi 4 février 2014 14:00-15:00 - Léa Laporte - IRIT

      Sélection de variables via des SVM parcimonieux – Application à l’apprentissage d’ordonnancement en Recherche d’Information

      Lieu : INRA, salle de conférences

      [Séminaire]


    • Vendredi 11 juillet 2014 10:30-12:00 - Hélène Sarter - CHRU Lille

      Groupe de travail Bio-Stat-Math

      Résumé : Il sera question de problèmes statistiques liés à l’exploitation du registre Epimad. Il s’agit d’un registre mis en place en 1988 sur les maladies inflammatoires chroniques de l’intestin (MICI) qui couvre le Nord-pas-de-Calais, la Somme et la Seine-Maritime soit près de 10% du territoire national en population. Ce registre a pour objectif d’évaluer l’incidence de la maladie et son évolution mais il est également le support de nombreuses études analytiques permettant de mieux connaître les MICI et leurs déterminants. Parmi les questions statistiques liées à ce registre, l’intégration de données hétérogènes est un des éléments qui pourrait susciter des interactions avec Toulouse.

      Lieu : Salle Huron, 106, bât. 1R1

      [Séminaire]



    • Vendredi 27 septembre 2013 10:45-11:15 -

      réunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 19 septembre 2014 10:30-11:00 - M. Klughertz

      réunion d’organisation

      [Séminaire]


    • Vendredi 10 avril 2015 10:30-11:30 - Yohann Genzmer - IMT

      Problème de Poincaré et courbes polaires

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Jeudi 18 juin 2015 09:00-10:00 - Ameni Gargouri - Université de Sfax, Tunisie

      La théorie de perturbation de l’oscillateur de Duffing.

      Lieu : salle Cavailles (132) , bat 1R2

      [Séminaire]


    • Vendredi 19 juin 2015 10:30-11:30 - Damien Bouloc - IMT

      Fibres singulières d’un système de pliage de polygones 3D

      Résumé : Dans cet exposé, on s’intéresse à un système introduit par Kapovich et Millson sur l’ensemble des configurations de polygones 3D dont les longueurs des côtés sont fixées. Géométriquement, il s’interprète comme le pliage des polygones le long de certaines diagonales. Pour des longueurs de côtés génériques, l’ensemble des configurations de polygones est une variété, que l’on peut munir d’une structure symplectique, et on se retrouve dans le cadre classique d’un système Hamiltonien intégrable. Ce système admet alors une propriété remarquable : ses fibres singulières sont des sous-variétés homogènes isotropes. On évoquera aussi le cas de longueurs non-génériques où, en se plaçant dans le cadre des orbispaces symplectiques, on peut donner une formulation équivalente de ce résultat.

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 25 septembre 2015 09:30-10:00 -

      Réunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]


    • Vendredi 23 septembre 2016 10:30-11:30 -

      Reunion d’organisation

      Lieu : salle 207, bat 1R2

      [Séminaire]



    • Mercredi 11 décembre 2013 10:30-12:00 - Patrick Massot - Ecole Polytechnique

      Topologie du groupe de transformations de contact au-dessus d’une surface

      Lieu : salle Cavailles - bat. 1R2

      [Séminaire]


    • Lundi 31 mars 2014 10:30-12:00 - Francesco Costantino - Université de Strasbourg

      Titre : "Un introduction à la conjecture du volume pour les polyèdres"

      Résumé : Titre : "Un introduction à la conjecture du volume pour les polyèdres"
      Résumé : La conjecture du volume, due à Rinat Kashaev, crée un lien surprenant entre la géométrie hyperbolique des variétés de dimension trois et les théorie quantiques des champs topologiques. Le premier but de cet exposé est de donner une introduction à cette conjecture fascinante en définissant les objets qu’elle relie et en rappelant les résultats les plus importants connus.
      Dans la deuxième partie de cet exposé je formulerai une nouvelle version de la conjecture qui s’applique aux polyèdres hyperboliques.
      Je la motiverai en discutant une famille infinie de cas pour laquelle j’ai pu la prouver ainsi qu’un résultat récent (joint avec François Guéritaud et Roland van der Veen) qui relie les invariants sous-jacents à la conjecture (les réseaux de spin) à des équations différentielles satisfaites par le volume hyperbolique des polyèdres.

      Lieu : bat. 1R2 salle Caveilles (132)

      [Séminaire]


    • Mercredi 9 avril 2014 10:30-12:00 - Stepan Orevkov - IMT

      Genre slice et forme de Seifert

      Lieu : Salle Picard

      [Séminaire]


    • Mercredi 23 avril 2014 10:30-12:00 - Victor Turchin - Kansas State University et IHES

      Les espaces de configurations et les espaces d’immersions non-k-égales

      Résumé : Les espaces de configurations non-k-égales dans un espace euclidien ont
      attiré beaucoup d’attention dans les vingt dernières années. Leur
      homologie est bien connue mais a une description combinatoire compliquée.
      Dans mon exposé je vais donner une approche opéradique d’expliciter cette
      homologie en question. La structure algébrique qu’on obtient se manifeste
      naturellement en application avec l’étude des espaces d’immersions sans
      auto-intersections de degré k.

      Lieu : Salle 11 RDC 1R3

      [Séminaire]


  • Groupe de Travail doctorant théorie de Sturm-Lott-Villani


    • Jeudi 14 février 2013 10:30-12:00 - Thibaut Le Gouic

      Transport optimal

      Résumé : Le but de cet exposé est de définir brièvement les notions de transport optimal qui seront utilisées par la suite.

      Lieu : Salle 207 - 2ème étage - Bâtiment 1R2

      [Séminaire]


    • Mercredi 27 février 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée.

      Lieu : Salle Picard (Bat 1R2 Salle 129)

      [Séminaire]


    • Mercredi 13 mars 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles 2

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée. (suite de l’exposé précédent)

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 20 mars 2013 10:00-12:00 - Benoit Huou

      Inégalités fonctionnelles 3

      Résumé : Les inégalités fonctionnelles vérifiées par les espaces à courbure minorée. (suite de l’exposé précédent)

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 3 avril 2013 10:00-12:00 - Raphaël Bouyrie

      Théorème de Lott-Villani

      Résumé : 1) Quelques définitions préliminaires, notamment sur la convergence de Gromov Hausdorff d’espaces de longueurs, la notion de déplacement convexe.
      2) La définition de minoration de la courbure de Ricci au sens de Lott-Villani (et Sturm).
      3) Rappeler (ou énoncer) des résultats dus à McCain notamment sur le transport optimal qui servent pour la preuve.
      3) Présenter la preuve (au moins les grandes lignes) de deux théorèmes fondamentaux de l’article : l’équivalence entre N-tenseur de Ricci positif au sens a) et au sens de Lott-Villani.

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]


    • Mercredi 10 avril 2013 10:00-12:00 - Raphaël Bouyrie

      Théorème de Lott-Villani (suite)

      Résumé : Présenter la preuve (au moins les grandes lignes) de deux théorèmes fondamentaux de l’article : l’équivalence entre N-tenseur de Ricci positif au sens a) et au sens de Lott-Villani.

      Lieu : Salle de conférence MIP (Bâtiment 1R3, 1er étage)

      [Séminaire]



    • Jeudi 10 décembre 2015 14:30-16:00 - Andrew Arana - Univ. Paris 1, IHPST

      Théorèmes de Gödel

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 14 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 21 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 28 janvier 2016 14:30-16:00 - Damiano Mazza - CNRS, LIPN

      Lambda calcul et correspondance de Curry-Howard

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 11 février 2016 14:30-16:00 - Sergei Soloviev - IRIT

      Logique, catégories, lambda calcul

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 24 mars 2016 14:00-15:30 - Assia Mahboubi - INRIA

      Preuves mécaniques de théorèmes

      Résumé : Les assistants de preuve sont des logiciels qui permettent de formaliser, manipuler, vérifier des énoncés mathématiques et leurs preuves dans un langage logique parfaitement codifié. L’un des bénéfices ---mais pas le seul--- de ce travail de formalisation est qu’il rend complètement mécanique le processus de vérification des démonstrations. S’il est clair que la description explicite des mathématiques dans le langage formel de la logique est possible en principe, c’est l’informatique qui la rend réalisable et intéressante en pratique. Un tel travail de formalisation relève d’une façon (encore) inhabituelle de faire des mathématiques avec l’aide d’une machine.
      Dans cette leçon, nous essaierons d’illustrer en quoi il consiste et quels sont les ingrédients variés qu’il met en oeuvre : les propriétés (méta-)mathématiques de la logique sous-jacente, les facilités offertes par l’assistant de preuve, la réflexion sur les définitions formelles des objets mathématiques, les choix de conception et d’architecture des bibliothèques formelles,…

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 31 mars 2016 14:30-16:00 - Vadim Schechtman - IMT, Picard

      Géométrie arithmétique

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Mardi 21 mars 2017 14:00-15:30 - Andrew Arana - Université Paris 1, IHPST

      Pourquoi nos géométries ? Des réflexions issues de la perspective de la théorie des modèles.

      Lieu : Salle Pellos 207 Bât 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]

0 | 10 | 20 | 30


    • Jeudi 10 décembre 2015 14:30-16:00 - Andrew Arana - Univ. Paris 1, IHPST

      Théorèmes de Gödel

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 14 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 21 janvier 2016 14:30-16:00 - Etienne Fieux - IMT, Picard

      Combinatoire topologique et théorie des graphes

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 28 janvier 2016 14:30-16:00 - Damiano Mazza - CNRS, LIPN

      Lambda calcul et correspondance de Curry-Howard

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 11 février 2016 14:30-16:00 - Sergei Soloviev - IRIT

      Logique, catégories, lambda calcul

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 24 mars 2016 14:00-15:30 - Assia Mahboubi - INRIA

      Preuves mécaniques de théorèmes

      Résumé : Les assistants de preuve sont des logiciels qui permettent de formaliser, manipuler, vérifier des énoncés mathématiques et leurs preuves dans un langage logique parfaitement codifié. L’un des bénéfices ---mais pas le seul--- de ce travail de formalisation est qu’il rend complètement mécanique le processus de vérification des démonstrations. S’il est clair que la description explicite des mathématiques dans le langage formel de la logique est possible en principe, c’est l’informatique qui la rend réalisable et intéressante en pratique. Un tel travail de formalisation relève d’une façon (encore) inhabituelle de faire des mathématiques avec l’aide d’une machine.
      Dans cette leçon, nous essaierons d’illustrer en quoi il consiste et quels sont les ingrédients variés qu’il met en oeuvre : les propriétés (méta-)mathématiques de la logique sous-jacente, les facilités offertes par l’assistant de preuve, la réflexion sur les définitions formelles des objets mathématiques, les choix de conception et d’architecture des bibliothèques formelles,…

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Jeudi 31 mars 2016 14:30-16:00 - Vadim Schechtman - IMT, Picard

      Géométrie arithmétique

      Lieu : Salle Jean Cavaillès 132, Bât 1R2

      [Séminaire]


    • Mardi 21 mars 2017 14:00-15:30 - Andrew Arana - Université Paris 1, IHPST

      Pourquoi nos géométries ? Des réflexions issues de la perspective de la théorie des modèles.

      Lieu : Salle Pellos 207 Bât 1R2

      Notes de dernières minutes : Séance conjointe avec le séminaire "Géométrie algébrique, champs, homotopie".

      [Séminaire]

0 | 10 | 20 | 30

  • Groupe de travail sur les groupes quantiques


    • Mercredi 13 mars 2013 14:00-16:00 - Toulisse Jérémy

      Ensembles amassés II

      Lieu : 1R2 salle 132

      [Séminaire]


    • Mercredi 20 mars 2013 14:00-16:00 - Jean-Marc Schlenker

      (X,A)-structure sur l’espace de Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 10 avril 2013 14:00-16:00 - Jean-Marc Schlenker

      Structure amassée de l’espace de Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Jeudi 11 avril 2013 14:00-16:00 - Jérémy Toulisse

      L’espace de PSL_3-Teichmüller

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 24 avril 2013 14:00-16:00 - Van Binh Bui

      Relations entre espace de Teichmüller quantique et double modulaire

      Lieu : Salle 132

      [Séminaire]


    • Mercredi 29 mai 2013 14:00-16:00 - - Van Binh Bui

      Relations entre espace de Teichmüller quantique et double modulaire II

      Lieu : Salle 132

      [Séminaire]



    • Lundi 9 février 2015 15:45-17:00 - Anthony Genevois - IMT

      Généralités sur les groupes SQ-universels.

      Résumé : En prélude d’un prochain exposé sur la SQ-universalité des groupes acylindriquement hyperboliques, nous verrons comment cette propriété nous renseigne sur la "largeur" du groupe ; en particulier, cela nous permettra de voir une application de la petite simplification. La présentation se conclura en exhibant de nombreux exemples de groupes SQ-universels, comprenant des groupes libres, des groupes de surfaces, des groupes d’Artin à angles droits, etc.

      [Séminaire]


    • Lundi 23 février 2015 15:45-17:00 - Francois Costantino - IMT

      Sur le théorème de remplissage hyperbolique de Thurston et Jorgensen

      Résumé : Nous commencerons par rappeler quelques faits de base sur les variétés hyperboliques de dimension 3. Puis nous donnerons l’énoncé du théorème de remplissage hyperbolique de Thurston et Jorgensen et nous discuterons les lignes de sa démonstration en suivant l’approche de Neumann et Zagier.

      Lieu : Bat 1R3, Salle 11

      [Séminaire]


    • Lundi 2 mars 2015 15:45-17:00 - Francois Costantino - IMT

      Sur le théorème de remplissage hyperbolique de Thurston et Jorgensen II

      Résumé : Fin de preuve.

      Lieu : bat 1R2, salle 207

      [Séminaire]


    • Lundi 9 mars 2015 15:45-17:00 - Anne Lonjou - IMT

      Un théorème de petite simplification.

      Résumé : L’objet de l’exposé sera de comprendre, dans un cas particulier,
      la preuve d’un théorème de petite simplification de Lamy et Cantat.
      Nous nous placerons dans le cas où le groupe agit sur un arbre.

      Lieu : Bat 1R2, salle 132

      [Séminaire]


    • Lundi 16 mars 2015 15:45-17:00 - Anthony Genevois - IMT

      Quelques critères de non hyperbolicité acylindrique.

      Résumé : Nous montrerons quelques petites propriétés sur les groupes acylindriquement hyperboliques, à partir desquelles nous serons en mesure d’exhiber plusieurs familles classiques de groupes qui ne sont pas acylindriquement hyperboliques.

      [Séminaire]


    • Lundi 23 mars 2015 15:45-17:00 - Anne Lonjou - IMT

      Un théorème de petite simplification, II.

      Résumé : Apres les preliminaires, le plat de resistance.

      [Séminaire]


    • Lundi 30 mars 2015 15:45-17:00 - Anthony Genevois - IMT

      SQ-universalité des groupes acylindriquement hyperboliques.

      Résumé : Notre objectif sera de donner les grandes idées d’une preuve, due à Dahmani et Guirardel, de la SQ-universalité des groupes acylindriquement hyperboliques.

      Lieu : Salle 11 - RDC 1R3

      [Séminaire]

0 | 10 | 20 | 30


    • Jeudi 23 mars 2017 15:30-16:30 - Magali Tournus - Institut de mathématiques de Marseille

      Estimating the division rate and kernel for a model describing the amyloid fragmentation

      Résumé : The question is to determine what is the effect of agitation on the fragmentation rate (what is the probability that a fibril of given length breaks apart ?) and fragmentation kernel (where a fibril is more likely to break apart ?) of proteins of amyloid types.
      The talk will be composed with two parts.
      In the first part, I will focus on the new experiments which were performed at Kent university, and on how the data they provide can be used.
      On the second part, I will focus on the well-posedness of the inverse problem.
      In particular, I aim to detail the theoretical recontruction formula we obtain for
      the fragmentation kernel. One of the delicate points is to prove that the Mellin transform of the asymptotic profile never vanishes, which is done using the Wiener-Hopf representation.

      [Séminaire]


    • Jeudi 20 avril 2017 15:30-16:30 - Charline Smadi - Institut des systèmes complexes, Paris

      Beyond clonal interference : scrutinizing the complexity of the dynamics of three competing clones

      Résumé : In large adapting clonal species, several beneficial mutations can co-occur, affecting the process of adaptation. Several experimental and theoretical works showed that clonal interference can be an important factor limiting the rate of adaptation. However, models done so far do not embrace the diversity of observed dynamics in experiments, especially non-linear dynamics. We develop here a stochastic model with explicit competitive interactions between clones and describe the complexity of the emerging dynamics of the population, supposing that two mutants enter a resident population in a single copy at different times. These clones can either get fixed, be lost or be maintained in polymorphism, depending on their competitive abilities. We show that frequency-dependent selection can give rise to unexpected dynamics : competitive interactions between clones can foster adaptation by increasing or decreasing both the fixation probability and time of beneficial mutations. We finally estimate the likeliness of frequency-dependent selection and of the different potential final states of the population by assuming prior distributions of the ecological parameters. We show that under our assumptions, non-transitive fitness and non-linear dynamics are likely to play an important role into the adaptation of large clonal populations

      [Séminaire]


    • Jeudi 4 mai 2017 15:30-16:30 - Mélisande ALBERT - Institut de mathématiques de Toulouse

      Tests multiples d’indépendance pour des processus ponctuels : une approche Unitary Events par permutation basée sur le nombre de coïncidences

      Résumé : Les dépendances éventuelles entre zones du cerveau ou entre neurones, et en particulier le phénomène de synchronisation, sont communément admises comme faisant partie intégrante du code neuronal. Il est aujourd’hui possible d’enregistrer simultanément les temps de potentiels d’action (trains de spikes) de différents neurones. Une première étape consiste donc à comprendre si deux trains de spikes, modélisés par des processus ponctuels, correspondant à deux neurones, sont indépendants ou non.
      Après avoir présenté le contexte et les méthodes les plus utilisées en neurosciences, ainsi que leurs limites, je présenterai un test d’indépendance non-paramétrique entre deux processus ponctuels, basé sur le principe de permutation. Théoriquement, il est prouvé qu’il est de bon niveau (non asymptotique), et ce même lorsque les valeurs critiques sont approchées par des méthodes de Monte Carlo. Des garanties en termes de puissance asymptotique ont également été démontrées. Les performances pratiques ainsi qu’une comparaison avec les méthodes usuelles seront illustrées sur des données simulées.
      Ensuite, je présenterai la procédure de tests multiples permettant de détecter les synchronisations entre les trains de spikes. Cette méthode sera comparée également aux méthodes usuelles sur des données simulées avant d’être appliquées à de vraies données.
      Ce travail est en collaboration avec Yann Bouret, Magalie Fromont et Patricia Reynaud-Bouret.

      [Séminaire]


    • Jeudi 18 mai 2017 15:30-16:30 - Sébastien Lion - Centre d'Écologie Fonctionnelle et Évolutive, Montpellier

      Spatial evolutionary ecology : short- and long-term theory

      Résumé : A fundamental question in evolutionary ecology is to understand how dispersal shapes the genetic and epidemiological structure of populations, and how, in turn, population structure may affect the evolution of life-history traits. Using a model of host-parasite interactions, I contrast two approaches for studying this feedback in spatially structured populations.
      First, I present a novel approach to jointly model epidemiological and evolutionary dynamics, using a combination of spatial moment equations and quantitative genetics. A key insight of this approach is that, even in the absence of long-term evolutionary consequences, spatial structure can affect the short-term evolution of pathogens because of the build-up of spatial differentiation in mean virulence. This analysis can be used to understand and predict the transient evolutionary dynamics of pathogens and the emergence of spatial patterns of phenotypic variation.
      Second, assuming that ecological and evolutionary time scales are decoupled, I recover previous results based on adaptive dynamics theory. The selective pressures on parasite virulence can then be summed up by a simple balance between genetic and epidemiological effects.
      Finally, I discuss the connections with kin selection theory, particularly highlighting that the relevant genetic structure can be captured by relatedness coefficients in both the short- and long-term theories.

      [Séminaire]


    • Jeudi 15 juin 2017 15:30-16:30 - Robin Aguilée - Laboratoire Evolution et diversité biologique, UPS

      Some predictions on the responses of plants to climate change

      Résumé : Facing climate changes, species can survive through migration allowing
      them to track the spatial redistribution of their favorables
      environmental conditions (spatial range shift) or/and through species
      adaptation to the new local environmental conditions (ecological niche
      shift). Using quantitative genetics models, we showed that because of
      pollen dispersal, plant populations may escape from extinction thanks to
      both a spatial range shift and an ecological niche shift. This may allow
      plants to survive under a faster climate change than expected when
      species only migrate. We then included our prediction of the magnitude
      of the ecological niche shift into simRShift, a process-based model
      allowing to predict the spatial distribution of species under climate
      change in an explicit landscape. We simulated the spatial distribution
      of 8 tree species in France over the 21st century. We showed that unless
      the adaptive potential is very high, the demographic processes and the
      structure of the landscape affect much more the spatial distribution
      changes than adaptation induced by climate change.

      [Séminaire]


    • Jeudi 5 octobre 2017 15:30-16:30 - Marina Amado Ferreira - Imperial college London

      The dynamics of a packed cell tissue

      Résumé : In a packed tissue neighboring cells exert high pressure on each other at all times. Such mechanical interactions are believed to play an important role on the dynamics of the tissue. However, their contribution to the tissue shape is not yet fully understood. In this talk I will first present a framework to model this type of systems based on a geometric representation of individual cells. The cells interact with each other aiming at minimizing a local potential energy, subjected to non-overlapping constraints. Mathematically, the problem is formulated as a non-convex minimization problem, which will be tackled with the recently proposed damped Arrow-Hurwicz algorithm. I then apply this framework to the study of a pseudo-stratified epithelial tissue. Some preliminary numerical results will be presented to show how the tissue may be deformed when simple defects on individual cells are introduced.

      [Séminaire]

0 | 10 | 20 | 30


    • Mardi 1er avril 2014 09:00-10:30 - Nguyen Ngoc Cuong - Jagiellonian University (Krakow, Poland)

      The Kaehler rank of compact complex manifolds

      Résumé : We will expose a recent preprint of Ionut Chiose, http://arxiv.org/abs/1308.2043

      [Séminaire]


    • Mardi 15 avril 2014 09:00-10:30 - Dan Popovici - IMT

      Déformations des variétés complexes compactes 2

      [Séminaire]


    • Vendredi 18 avril 2014 09:00-10:00 - Dan Popovici - IMT

      Déformations des variétés complexes compactes 3

      [Séminaire]

0 | 10


    • Mardi 4 mars 2014 11:00-12:00 - Matthieu Astorg

      GdT des doctorants de dynamique complexe

      Résumé : Espace de Teichmüller dynamique II

      Lieu : Salle Picard

      [Séminaire]


    • Mardi 18 mars 2014 11:00-12:00 - Fabrizio Bianchi

      Courants et dynamique complexe à plusieurs variables II

      [Séminaire]



    • Vendredi 20 mars 2015 09:00-11:00 - Vincent Guedj - IMT

      Méthodes de viscosité 2

      [Séminaire]


    • Vendredi 3 avril 2015 09:00-10:00 - Stéphane Druel (séminaire commun) - Grenoble

      Sur le fibré anticanonique d’un feuilletage régulier

      Notes de dernières minutes : séminaire commun avec "systèmes dynamiques"

      [Séminaire]


    • Vendredi 19 février 2016 10:30-11:30 - Hugues Auvray - Orsay

      Noyaux de Bergman sur les surfaces de Riemann épointées

      Résumé : On se donne une surface de Riemann compacte, et un nombre fini de points
      sur cette surface, vues comme "singularités". On considère également, sur le complémentaire de ces points, une métrique kählérienne $\omega$, égale à la métrique hyperbolique cusp de Poincaré au voisinage des singularités, et on interprète globalement $\omega$ comme courbure d’une métrique hermitienne singulière $h$ d’un certain fibré en droites $L$ sur la surface de départ.
      Le but de cet exposé est de présenter des résultats concernant les noyaux
      de Bergman associés à la donnée $(\omega, L^p, h^p)$, $p\gg 1$, obtenus avec X. Ma et G. Marinescu. On donnera plus précisément une asymptotique, valide jusqu’aux singularités, de ces noyaux lorsque la puissance $p$ du fibré tend vers
      l’infini.

      Notes de dernières minutes : Rencontre ANR EMARKS

      [Séminaire]

0 | 10


    • Jeudi 22 janvier 2015 15:30-16:30 - Charles Bordenave - IMT

      Processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 5 février 2015 15:30-16:30 - Joseph Najnudel

      Processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 5 mars 2015 15:30-16:30 - Thierry Delmotte

      Processus déterminantaux

      [Séminaire]


    • Jeudi 12 mars 2015 15:30-16:30 - Jonas Kahn

      Processus déterminantaux

      [Séminaire]


    • Jeudi 19 mars 2015 15:30-16:30 - Yanqi Qiu

      Equivalence de mesures de Radon pour les processus déterminantaux associés aux espaces de Hilbert de fonctions holomorphes

      Résumé : Dans cet exposé, je vais présenter un travail récent avec Alexander Bufetov. On obtient des formules explicites, sous forme des fonctionnels multiplicatifs régularisés liés aux certains produits de Blaschke, des dérivées de Radon-Nikodym entre toutes les measures de Palm pour les processus déterminantaux associés aux espaces de Bergman pondérés sur le disque, ce dernier processus dans le cas uniforme décrit la distribution des zéros de la fonction analytique Gaussienne sur le disque de Poincaré. Notre méthode s’applique également aux processus déterminantaux associés aux espaces de Fock pondérés, incluant en particulier le processus de Ginibre.

      Lieu : salle 106 1R1

      [Séminaire]


    • Jeudi 26 mars 2015 15:30-16:30 - Fanny Augeri - IMT

      Processus déterminantaux

      [Séminaire]


    • Jeudi 2 avril 2015 15:30-16:30 - Joseph Najnudel

      Processus déterminantaux

      Résumé : théorie analytique des nombres et processus déterminantaux

      Lieu : salle 106 1R1

      [Séminaire]



Evénement Important



    • Jeudi 1er octobre 2015 -

      40 ans du laboratoire MIAT

      Notes de dernières minutes : Site web de l’évènement : http://mia.toulouse.inra.fr/40ans

      [Séminaire]



    • Vendredi 6 mai 2016 09:00-18:00 - https://www.msri.org/workshops/705

      Geometric Flows in Riemannian and Complex Geometry

      [Séminaire]


    • Vendredi 10 juin 2016 09:00-18:00 - http://bcc.impan.pl/16Symposium/

      Symposium on complex analysis and geometry

      [Séminaire]


    • Vendredi 17 juin 2016 09:00-18:00 - http://www.cimi.univ-toulouse.fr/complex-geometry-and-beyond/en/recent-advances-complex-differential-geometry

      Recent Advances in Complex Differential Geometry

      [Séminaire]


    • Vendredi 24 juin 2016 09:00-18:00 - http://www.cimi.univ-toulouse.fr/complex-geometry-and-beyond/en/new-methods-birational-geometry

      New methods in birational geometry

      [Séminaire]




  • Colloquium de l IMT


    • Vendredi 20 octobre 2017 14:00-15:00 - Patrick Gérard - Orsay

      Matrices de Hankel, problèmes spectraux inverses et systèmes hamiltoniens intégrables turbulents

      Résumé : Les matrices de Hankel sont des opérateurs intervenant dans différents domaines de l’analyse, et qui se définissent très simplement : si c(n) est le terme général d’une suite de nombres complexes, la matrice de Hankel associée est la matrice semi-infinie de coefficients c(j+k). J’essaierai d’expliquer comment résoudre certains problèmes spectraux inverses associés à de tels opérateurs --- c’est-à-dire : comment retrouver les c(n) à partir de la donnée des valeurs propres d’opérateurs construits à partir de la matrice de Hankel associée.
      Puis je montrerai comment ce résultat permet d’explorer les propriétés de certains
      systèmes hamiltoniens en dimension infinie, présentant la double particularité d’être intégrables et d’admettre des trajectoires génériques turbulentes…en un sens à préciser !

      [Séminaire]


    • Vendredi 8 décembre 2017 14:00-15:00 - Dan-Virgil Voiculescu - University of California, Berkeley

      A glimpse at bi-free probability

      Résumé : https://www.math.univ-toulouse.fr/spip.php?article502

      Lieu : Amphi Schwartz, IMT

      Notes de dernières minutes : https://www.math.univ-toulouse.fr/spip.php?article502

      [Séminaire]





    • Lundi 14 mai 11:00-12:00 - Simon Brendle - Columbia University

      Singularity formation in geometric flows

      Résumé : Geometric flows such as the Ricci flow and the mean curvature flow play a central role
      in differential geometry. The main goal is to analyze the behavior of the flow shortly
      before a singularity forms, when the curvature is very large. I will discuss recent results
      that give precise information on the nature of singularities for suitable classes of initial
      data.

      Lieu : UPS, bâtiment 1R3, amphithéâtre Schwartz

      [Séminaire]


    • Lundi 14 mai 14:00-15:00 - Nader Masmoudi - New-York University at Abu Dhabi & Courant Institute

      The Orr mechanism : stability/instability of the Couette flow

      Résumé : The theory of hydrodynamic stability at high Reynolds number started already in the 19th century, with the likes of Stokes, Reynolds, Kelvin, Orr and others. Some of the first early theoretical works were done by Rayleigh, including for example, the inflection point theorem of the spectral instability on inviscid planar shear flows, and the exact solutions for Couette flow in the absence of boundaries constructed by Kelvin which showed linear stability independent of Reynolds number.
      The Orr mechanism was introduced in 1907 to give an explanation to the so-called Sommerfeld paradox. The relevance of the Orr mechanism to hydrodynamic stability has been debated over the years. We will discuss the crucial importance of the Orr mechanism for nonlinear stability problems at high Reynolds numbers in 2D fluid mechanics, or at least for the Couette flow.
      We will review works in collaboration with Jacob Bedrossian and Yu Deng on the nonlinear asymptotic stability and instability of the Couette flow for the 2D incompressible Euler dynamic. On one hand, we prove that perturbations to the Couette flow which are small in Gevrey spaces G^s of class 1/s with s > 1/2 converge strongly in L^2 to a shear flow which is close to the Couette flow. Moreover in a well chosen coordinate system, the solution converges in the same Gevrey space to some limit profile. On the other hand, we prove the existence of small perturbations in G^s with s < 1/2 such that the solution becomes large in Sobolev regularity and hence yields instability.
      We will also review few results in the viscous case obtained in collaboration with Jacob Bedrossian and Pierre Germain. Indeed, when the viscosity is small, the notion of stability threshold relates the allowed size of the perturbation to the viscosity.

      Lieu : UPS, bâtiment 1R3, amphithéâtre Schwartz

      [Séminaire]


    • Vendredi 15 juin 14:00-15:00 - Frédéric Barbaresco - THALES Land & Air systems

      De la Géométrie de l’Information à la physique statistique des systèmes dynamiques

      Résumé : https://www.math.univ-toulouse.fr/spip.php?article502

      Lieu : Amphi Schwartz, IMT, bat. 1R3 - Amphi Schwartz, IMT, bat. 1R3

      Notes de dernières minutes : https://www.math.univ-toulouse.fr/spip.php?article502

      [Séminaire]





    • Du 9 novembre 2015 09:00 au 10 novembre 2015 17:00 -

      Workshop CIMI "Sequential learning and applications"

      Résumé : The Institut de Mathématiques de Toulouse and the Institut de Recherche en Informatique de Toulouse are currently organizing a thematic trimester on machine learning at Université Paul Sabatier. This event is part of the LabEx CIMI.
      In this framework, a workshop on "Sequential learning and applications" will take place on November 9 and 10, 2015. Topics include online convex optimization and convex analysis, prediction with expert advice, multi-armed bandits, online combinatorial problems, recurrent neural networks, as well as recent applications for, e.g., recommender systems, information retrieval, and social media analysis.
      The registration to the workshop is free of charge but compulsory ; please visit our website.

      Lieu : Amphithéâtre Schwartz, bâtiment 1R3, Université Paul Sabatier.

      [Séminaire]


    • Du 16 novembre 2015 09:30 au 17 novembre 2015 18:00 -

      Journées big data

      Résumé : Pour la troisième année consécutive, l’Université Paul Sabatier de Toulouse organise cet automne des rencontres sur les défis posés par les Big Data à la recherche en mathématique et en informatique, mais aussi à l’industrie.
      L’édition 2015 s’inscrit dans le cadre du trimestre thématique du Labex CIMI consacré au machine learning, et comportera deux volets :

      • le 16 novembre, une journée co-organisée par les GDR MADICS et MascotNUM du CNRS sur le calcul haute performance et les Big Data
      • le mardi 17 novembre, une journée de rencontre industrie-recherche présentant quelques grands défis et projets.

      Plus d’informations sur le site web.

      Lieu : 1R3-amphithéâtre Schwartz et U4-amphithéâtre Concorde, Université Paul Sabatier

      [Séminaire]



    • Du 11 au 12 décembre 2015 - Conférence en l'honneur de Ian SCHINDLER

      Séminaire Analyse-EDP de l UT1

      Résumé : Avec comme intervenants
      Vendredi matin
      K.Tintarev (Uppsala, Suede), Adimurthi (Bangalore, Inde), J.Giacomoni (Pau)
      Vendredi apres-midi
      P. Drabek (Tchéquie), J. Hernandez (Madrid), M.Maris (Toulouse)
      Samedi matin
      P.Takac (Allemagne), Y.Egorov (Toulouse), L.Cardoulis (Marseille),


      Lieu : Université Toulouse 1, Manufacture des Tabacs, Ceremath, MC101 - 21 Allées de Brienne, 31000 TOULOUSE

      Notes de dernières minutes :

      [Séminaire]



    • Mardi 8 novembre 2016 11:00-12:00 - Jose Leon - Université Caracas

      Séminaire de Statistique

      [Séminaire]



    • Jeudi 5 juin 2014 09:30-15:30 -

      journée sur la première partie du seizième problème de Hilbert

      Résumé : Il s’agit de présenter quelques résultats récentes sur la topologie des courbes projectives réelles algébriques.
      Les exposés seront accessibles à un publique non spécialiste.
      9h30 : Victor Zvonilov "On the fundamental group of a space of nonsingular trigonal curves "
      10h30 : Stepan Orevkov "Une généralisation de la méthode des tresses pour deux pinceaux de droites "
      11h30 : Séverine Fiedler "Classification des pinceaux cubiques réelles avec huit points de base en position convexe "
      13h30 : Benoit Chevallier "Une présentation du problème du nombre maximal d’ovales de hauteur donnée "
      14h30 : Thomas Fiedler "Une restriction topologique pour les M-courbes Z/3Z-symétriques "

      Lieu : salle Cavaillés bat. 1R2

      [Séminaire]



    • Vendredi 26 avril 2013 14:30-18:00 - Steve Awodey and Ulrich Kohlenbach

      Worskhop CSPM Computer Science, Philosophy, Mathematics

      Résumé : The workshop aims to stimulate discussions between computer scientists, philosophers and mathematicians and is a satellite event of the 19th Conference TYPES 2013 "Types for Proofs and Programs", Toulouse, 22-26 April 2013 organized by IRIT.
      Friday 26 April, 14h30-17h45, Mathematical Institute, Amphi Schwartz
      14h30-15h45 : Steve Awodey, School of Mathematics, Institute for Advanced Study, Princeton, U.S.A. & Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A
      TBA
      16h15-17h45 : Ulrich Kohlenbach, Department of Mathematics, Technische Universität Darmstadt, Germany,
      TBA
      The workshop is organized by Sébastien Maronne, Mathematical Institute of Toulouse (IMT) and Sergei Soloviev, Computer Science Institute of Toulouse (IRIT), hosted by the Mathematical Institute, and with financial support by FREMIT.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Vendredi 18 mars 2016 14:00-15:30 - Jean-Michel Salanskis - Université Paris Ouest, IREPH

      Une dispersion nouvelle ? Conférence inaugurale du trimestre thématique CIPPMI

      Résumé : Logique, mathématiques et philosophie ont toujours été reconnues comme des disciplines « reines », comme des disciplines qui chapeautent, gouvernent, couronnent le savoir humain. Elles l’ont été, notamment, parce qu’on les voyait comme apportant à ce dernier une unité profonde (au niveau de son langage, de ses thèmes ou de ses fondements). Aujourd’hui, un nouveau partenaire – une sorte de trublion – s’ajoute à ces trois vénérables : l’informatique. La question que je voudrais me poser est si son intervention ajoute une couche à l’unité, ou entraîne une dispersion inattendue.

      Lieu : Auditorium Herbrand - IRIT, Rez de chaussée

      [Séminaire]



    • Vendredi 26 avril 2013 14:30-18:00 - Steve Awodey and Ulrich Kohlenbach

      Worskhop CSPM Computer Science, Philosophy, Mathematics

      Résumé : The workshop aims to stimulate discussions between computer scientists, philosophers and mathematicians and is a satellite event of the 19th Conference TYPES 2013 "Types for Proofs and Programs", Toulouse, 22-26 April 2013 organized by IRIT.
      Friday 26 April, 14h30-17h45, Mathematical Institute, Amphi Schwartz
      14h30-15h45 : Steve Awodey, School of Mathematics, Institute for Advanced Study, Princeton, U.S.A. & Department of Philosophy, Carnegie Mellon University, Pittsburgh, U.S.A
      TBA
      16h15-17h45 : Ulrich Kohlenbach, Department of Mathematics, Technische Universität Darmstadt, Germany,
      TBA
      The workshop is organized by Sébastien Maronne, Mathematical Institute of Toulouse (IMT) and Sergei Soloviev, Computer Science Institute of Toulouse (IRIT), hosted by the Mathematical Institute, and with financial support by FREMIT.

      Lieu : Amphi Schwartz

      [Séminaire]


    • Vendredi 18 mars 2016 14:00-15:30 - Jean-Michel Salanskis - Université Paris Ouest, IREPH

      Une dispersion nouvelle ? Conférence inaugurale du trimestre thématique CIPPMI

      Résumé : Logique, mathématiques et philosophie ont toujours été reconnues comme des disciplines « reines », comme des disciplines qui chapeautent, gouvernent, couronnent le savoir humain. Elles l’ont été, notamment, parce qu’on les voyait comme apportant à ce dernier une unité profonde (au niveau de son langage, de ses thèmes ou de ses fondements). Aujourd’hui, un nouveau partenaire – une sorte de trublion – s’ajoute à ces trois vénérables : l’informatique. La question que je voudrais me poser est si son intervention ajoute une couche à l’unité, ou entraîne une dispersion inattendue.

      Lieu : Auditorium Herbrand - IRIT, Rez de chaussée

      [Séminaire]



    • Vendredi 27 mars 2015 09:00-11:00 - http://www.ub.edu/kawa6/

      Relâche (KAWA)

      [Séminaire]


    • Vendredi 29 janvier 2016 09:00-16:00 - GRACK

      Rencontre ANR GRACK à Paris

      [Séminaire]


    • Vendredi 19 février 2016 10:30-11:30 - Hugues Auvray - Orsay

      Noyaux de Bergman sur les surfaces de Riemann épointées

      Résumé : On se donne une surface de Riemann compacte, et un nombre fini de points
      sur cette surface, vues comme "singularités". On considère également, sur le complémentaire de ces points, une métrique kählérienne $\omega$, égale à la métrique hyperbolique cusp de Poincaré au voisinage des singularités, et on interprète globalement $\omega$ comme courbure d’une métrique hermitienne singulière $h$ d’un certain fibré en droites $L$ sur la surface de départ.
      Le but de cet exposé est de présenter des résultats concernant les noyaux
      de Bergman associés à la donnée $(\omega, L^p, h^p)$, $p\gg 1$, obtenus avec X. Ma et G. Marinescu. On donnera plus précisément une asymptotique, valide jusqu’aux singularités, de ces noyaux lorsque la puissance $p$ du fibré tend vers
      l’infini.

      Notes de dernières minutes : Rencontre ANR EMARKS

      [Séminaire]


    • Vendredi 11 mars 2016 09:00-16:00 - KAWA 7

      http://www.ub.edu/kawa7/

      [Séminaire]


    • Vendredi 25 mars 2016 09:00-16:00 - - https://www.msri.org/workshops/704

      Kähler Geometry, Einstein Metrics, and Generalizations

      [Séminaire]





    • Mardi 2 décembre 2014 10:30-12:00 - Claire Christophe - IMT

      Soutenance de thèse.

      Lieu : Amphithéâtre L. Schwartz

      [Séminaire]



    • Vendredi 4 octobre 2013 10:00-11:00 - Truong Hong Minh - IMT

      Formes normales de singularités de feuilletages et invariants de glissement

      Notes de dernières minutes : soutenance de thése

      [Séminaire]



    • Lundi 8 juillet 2013 10:00-11:00 - Duong Quang Hai - Université Paul Sabatier

      Limites d’idéaux de fonctions holomorphes et de fonctions de Green pluricomplexes

      Lieu : Amphithéâtre Laurent Schwartz

      Notes de dernières minutes : Soutenance de thèse

      [Séminaire]