BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LAMA
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
SUMMARY:Jacek JENDREJ
DTSTART:20260416T120000Z
DTEND:20260416T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1743/
CATEGORIES:
DESCRIPTION:Titre: Dynamique des multi-bulles pour les applications d'onde
 s équivariantes\n\nRésumé: Les équations aux dérivées partielles dis
 persives sont des équations d'évolution (c'est-à-dire comportant la var
 iable temporelle) dont les solutions préservent l'énergie\, mais peuvent
  néanmoins décroître en temps long parce que les différentes fréquenc
 es se propagent avec des vitesses distinctes. Dans certains cas\, il exist
 e des solutions spéciales appelées « solitons » qui ne changent pas de
  forme au fil du temps. La conjecture de résolution en solitons prédit q
 ue les solitons sont le seul obstacle à la décroissance des solutions. P
 lus précisément\, toute solution se décompose en une superposition de s
 olitons et d'un terme évanescent appelé « radiation ».\nNous présente
 rons cette conjecture dans le contexte de l'équation des applications d'o
 ndes critique\, qui est l'analogue de l'équation des ondes pour les appli
 cations de R^2 dans S^2. Nous considérons les solutions « équivariantes
  »\, qui sont des solutions ayant une certaine symétrie préservée par 
 le flot. Dans ce cas\, les solitons sont centrés à l'origine\, mais ils 
 peuvent néanmoins se découpler si leurs échelles caractéristiques sont
  très différentes. Dans un travail commun avec Andrew Lawrie\, nous dém
 ontrons que la résolution en solitons est vérifiée. À la lumière de c
 e résultat\, il est naturel d'examiner le comportement à long terme des 
 échelles de plusieurs solitons en interaction. Dans cette direction\, dan
 s un travail récent avec Joachim Krieger\, nous construisons des solution
 s développant une singularité par concentration simultanée de deux soli
 tons à l'origine.
URL:https://lama.univ-smb.fr/talks/1743/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sébastien Tavenas
DTSTART:20251002T130000Z
DTEND:20251002T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1718/
CATEGORIES:
DESCRIPTION:Titre: Petits circuits arithmétiques de faible profondeur\n\n
 Résumé: Tout polynôme multivarié P(x1​\,…\,xn​) peut s’écrire
  comme une somme de monômes\, c’est-à-dire une somme de produits de va
 riables et de constantes. En général\, la taille d’une telle expressio
 n correspond au nombre de monômes ayant un coefficient non nul. Que se pa
 sse-t-il si l’on ajoute une autre couche de complexité et que l’on co
 nsidère des expressions sous la forme de sommes de produits de sommes (de
  variables et de constantes) ? Dans ce cas\, il devient difficile de démo
 ntrer qu’un polynôme donné P(x1​\,…\,xn​) ne possède pas de pet
 ites expressions de ce type.\nNous présenterons le contexte de cette ques
 tion\, ses liens avec la complexité booléenne classique ainsi que quelqu
 es résultats de base dans ce domaine. Enfin\, nous exposerons certains r
 ésultats récents sur ces objets.
URL:https://lama.univ-smb.fr/talks/1718/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pr. Stefan Geiss
DTSTART:20240612T080000Z
DTEND:20240612T100000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1629/
CATEGORIES:
DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential 
 Equations"\n\nRésumé: The aim of the mini course is to give a self-consi
 stent introduction into the basic theory about Stochastic Differential Equ
 ations (SDE) driven by the Brownian motion. The following topics are plane
 d:<br>\n(a) Brownian motion<br>\n(b) Stochastic integration (Itô integral
 ) with respect to the Brownian motion<br>\n(c) Ito’s formula<br>\n(d) Ex
 istence and uniqueness of solutions to SDEs under Lipschitz conditions<br>
 \n(e) Feynman-Kac theory for parabolic PDEs<br>\n(f) A remark on weak solu
 tions and SDEs under non-Lipschitz conditions
URL:https://lama.univ-smb.fr/talks/1629/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pr. Stefan Geiss
DTSTART:20240611T080000Z
DTEND:20240611T100000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1628/
CATEGORIES:
DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential 
 Equations"\n\nRésumé: The aim of the mini course is to give a self-consi
 stent introduction into the basic theory about Stochastic Differential Equ
 ations (SDE) driven by the Brownian motion. The following topics are plane
 d:<br>\n(a) Brownian motion<br>\n(b) Stochastic integration (Itô integral
 ) with respect to the Brownian motion<br>\n(c) Ito’s formula<br>\n(d) Ex
 istence and uniqueness of solutions to SDEs under Lipschitz conditions<br>
 \n(e) Feynman-Kac theory for parabolic PDEs<br>\n(f) A remark on weak solu
 tions and SDEs under non-Lipschitz conditions
URL:https://lama.univ-smb.fr/talks/1628/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pr. Stefan Geiss
DTSTART:20240610T080000Z
DTEND:20240610T100000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1627/
CATEGORIES:
DESCRIPTION:Titre: mini-cours "An Introduction to Stochastic Differential 
 Equations"\n\nRésumé: The aim of the mini course is to give a self-consi
 stent introduction into the basic theory about Stochastic Differential Equ
 ations (SDE) driven by the Brownian motion. The following topics are plane
 d:<br>\n(a) Brownian motion<br>\n(b) Stochastic integration (Itô integral
 ) with respect to the Brownian motion<br>\n(c) Ito’s formula<br>\n(d) Ex
 istence and uniqueness of solutions to SDEs under Lipschitz conditions<br>
 \n(e) Feynman-Kac theory for parabolic PDEs<br>\n(f) A remark on weak solu
 tions and SDEs under non-Lipschitz conditions
URL:https://lama.univ-smb.fr/talks/1627/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Shalom Eliahou
DTSTART:20221202T090000Z
DTEND:20221202T110000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1489/
CATEGORIES:
DESCRIPTION:Titre: La conjecture 3n+1.\n\nRésumé: La conjecture 3n+1 est
  sans doute le problème ouvert actuel le plus élémentaire de toutes les
  mathématiques. En itérant la très simple fonction arithmétique T(n)= 
 n/2 ou (3n+1)/2 selon que n est pair ou impair\, on ne maîtrise plus gran
 d chose sur l’évolution des trajectoires. En effet\, on conjecture depu
 is des décennies que quel que soit l’entier de départ n0\, on finira t
 oujours par tomber sur 1. Mais il semble qu’on soit encore très loin de
  pouvoir le prouver. Le but de l’exposé est de présenter deux ou trois
  résultats partiels\, tant théoriques qu’expérimentaux\, sur ce probl
 ème.
URL:https://lama.univ-smb.fr/talks/1489/
END:VEVENT
BEGIN:VEVENT
SUMMARY:J Blu M Pierre L Véron
DTSTART:20221024T074500Z
DTEND:20221024T094500Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1472/
CATEGORIES:
DESCRIPTION:Titre: Journée en l'hommage de Pierre Baras\n\nRésumé: La j
 ournée en l'honneur de Pierre aura lieu le lundi 24 octobre de 9h45 à 16
 h Programme provisoire 10h - 10h45 : hommages de Ph. Galez\, Ph. Briand\, 
 P. Orro\, G. Angénieux\, N. Kardos (amphi Nivolet) 11h - 11h45 : exposé 
 de J. Blum (amphi Nivolet) 12h - 14h : buffet au bâtiment EVE 14h - 14h45
  : exposé de Michel Pierre (salle TLR) 15h - 15h45 : exposé de Laurent V
 éron (salle TLR)
URL:https://lama.univ-smb.fr/talks/1472/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paolo Salani
DTSTART:20200220T130000Z
DTEND:20200220T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1389/
CATEGORIES:
DESCRIPTION:Titre: Geometric-Analityc inequalities (and applications to PD
 Es)\n\nRésumé: Many of the most important results in mathematics are bas
 ed on some inequality\, of geometric or analytic nature. On the other hand
 \, this separation between geometry and analysis is not sharp and the most
  intriguing inequalities are indeed the ones that have a mixed nature and 
 enhance the interplay of the two realms. Moreover\, many apparently purely
  geometric inequalities have some powerful functional counterpart\, like f
 or instance the Isoperimetric Inequality and Sobolev Inequality. I will tr
 y to give some general overview on geometric-analytic inequalities and wil
 l concentrate on one of them\, precisely the Brunn-Minkowski inequality\, 
 an apparently geometric inequality which is at the core of modern convex g
 eometry\, and on its functional counterpart\, the Borell-Brascamp-Lieb ine
 quality. And also possibly show some applications to PDEs.
URL:https://lama.univ-smb.fr/talks/1389/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gilles Lebeau
DTSTART:20180125T130000Z
DTEND:20180125T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1275/
CATEGORIES:
DESCRIPTION:Titre: Dispersion for the wave and the Schrödinger equations 
 outside strictly convex obstacles\n\nRésumé: We consider the linear wave
  equation and the linear Schrödinger equation outside a compact\, strictl
 y convex obstacle in Rd with smooth boundary. In dimension d=3 we show tha
 t the linear wave flow and the linear Schrödinger flow satisfy the disper
 sive estimates as in R3. For d> 3\, if the obstacle is a ball\, we show th
 at there exists points where the dispersive estimates fail for both wave a
 nd Schrödinger equations.
URL:https://lama.univ-smb.fr/talks/1275/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pierre Arnoux
DTSTART:20180118T130000Z
DTEND:20180118T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1241/
CATEGORIES:
DESCRIPTION:Titre: Fractions continues multidimensionnelles : dynamique\, 
 arithmétique et combinatoire\n\nRésumé: Dans cette exposé\, on montre 
 comment donner une interprétation géométrique et dynamique à certains 
 algorithmes de fraction continues multidimensionnelles\; cela permet\, en 
 utilisant l'algorithme de Brun\, de donner un modèle symbolique pour le f
 lot des chambres de Weil.
URL:https://lama.univ-smb.fr/talks/1241/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Arnaud Beauville
DTSTART:20170413T120000Z
DTEND:20170413T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1220/
CATEGORIES:
DESCRIPTION:Titre: Le problème de Lüroth\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1220/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Patrick Gérard
DTSTART:20170316T130000Z
DTEND:20170316T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1225/
CATEGORIES:
DESCRIPTION:Titre: Intégrabilité et turbulence dans les équations aux d
 érivées partielles hamiltoniennes.\n\nRésumé: Dans le monde des systè
 mes hamiltoniens d'équations aux dérivées partielles\, les notions d'é
 quation intégrable et de solution turbulente occupent des places apparemm
 ent irréconciliables. Après avoir tenté de donner une idée accessible 
 de ces deux notions\, je discuterai un exemple découvert récemment d'éq
 uation obtenue comme forme normale d'un modèle d'onde non linéaire\, qui
  est intégrable au sens de Lax\, mais dont les solutions sont générique
 ment turbulentes.
URL:https://lama.univ-smb.fr/talks/1225/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alicia Dickenstein
DTSTART:20161124T140000Z
DTEND:20161124T160000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1201/
CATEGORIES:
DESCRIPTION:Titre: From chemical reaction networks to Descartes' rule of s
 igns\n\nRésumé: In the context of chemical reaction networks with mass-a
 ction and other rational kinetics\, a major question is to preclude or to 
 guarantee multiple positive steady states. I will explain this motivation 
 and I will present necessary and sufficient conditions in terms of sign ve
 ctors for the injectivity of families of polynomials maps with arbitrary r
 eal exponents defined on the positive orthant. These conditions extend exi
 sting injectivity conditions expressed in terms of Jacobian matrices and d
 eterminants\, obtained by several authors. In the context of real algebrai
 c geometry\, this approach can be seen as the first partial multivariate g
 eneralization of the classical Descartes' rule\, which bounds the number o
 f positive real roots of a univariate real polynomial in terms of the numb
 er of sign variations of its coefficients. This is joint work with Stefan 
 Müller\, Elisenda Feliu\, Georg Regensburger\, Anne Shiu and Carsten Conr
 adi. I will also present some further advances in this multivariate genera
 lization obtained in collaboration with Frédéric Bihan\, together with a
 pplications to biochemical MESSI systems obtained in collaboration with Me
 rcedes Pérez Millán.
URL:https://lama.univ-smb.fr/talks/1201/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Boulos El-Hilany
DTSTART:20160921T120000Z
DTEND:20160921T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1193/
CATEGORIES:
DESCRIPTION:Titre: Soutenance de thèse\, Géométrie tropicale et systèm
 es polynomiaux\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1193/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Yann Brenier
DTSTART:20160331T120000Z
DTEND:20160331T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1163/
CATEGORIES:
DESCRIPTION:Titre: Nuages browniens\, transport optimal\, gravitation et h
 ydrodynamique\n\nRésumé: L'observation à un instant T du mouvement brow
 nien d'un nuage de points indistinguables dont on connaît la position ini
 tiale conduit naturellement au problème de transport optimal de Monge\, c
 omme on le comprend dorénavant bien à la suite d'un article de Schroedin
 ger datant des années 30. En poussant un peu plus loin l'analyse\, à l'a
 ide du principe de grandes déviations et de techniques de calcul des vari
 ations\, on arrive à un système dynamique de particules liée au groupe 
 symétrique\, dont on peut ensuite dériver par analyse asymptotique des m
 odèles classiques de mécanique\, tels que la gravitation de Newton et l'
 hydrodynamique d'Euler.
URL:https://lama.univ-smb.fr/talks/1163/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Beniamin Bogosel
DTSTART:20151208T130000Z
DTEND:20151208T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1133/
CATEGORIES:
DESCRIPTION:Titre: Thèse\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1133/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michel Pierre
DTSTART:20150423T120000Z
DTEND:20150423T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1097/
CATEGORIES:
DESCRIPTION:Titre: Colloquium : Modèles mathématiques de réaction-diffu
 sion : anciens et nouveaux défis\n\nRésumé: Depuis l'exceptionnelle con
 tribution d'Alan Turing sur la modélisation mathématique de la morphogé
 nèse en 1952\, il est connu qu'ajouter de la diffusion dans un bon systè
 me d'équations différentielles ordinaires peut\, paradoxalement\, détru
 ire la stabilité des solutions stationnaires. Ces instabilités\, dites d
 e Turing\, conduisent alors à de nouveaux états stationnaires qui sont n
 on homogènes en espace et font apparaître une riche panoplie de motifs a
 symptotiques. Il s'avère que l'ajout de diffusion peut même détruire l'
 existence globale en temps et créer des explosions en temps fini. Le but 
 de cet exposé est de discuter cette question d'existence globale pour les
  systèmes de réaction-diffusion\, en particulier ceux\, très fréquents
  dans les applications\, où la positivité des solutions est préservée 
 et pour lesquels la masse totale est à priori bornée. Bizarrement\, la q
 uestion reste encore ouverte dans sa généralité. Nous indiquerons ce qu
 i a été résolu ainsi que les défis restants.
URL:https://lama.univ-smb.fr/talks/1097/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Clotilde Fermanian
DTSTART:20150212T130000Z
DTEND:20150212T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1076/
CATEGORIES:
DESCRIPTION:Titre: Mesures semi-classiques et théorèmes de masse effecti
 ve\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1076/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michel Merle
DTSTART:20141106T130000Z
DTEND:20141106T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1068/
CATEGORIES:
DESCRIPTION:Titre: Intégration p-adique et motivique\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1068/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nasr Almokdad
DTSTART:20141103T123000Z
DTEND:20141103T143000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1066/
CATEGORIES:
DESCRIPTION:Titre: Méthode de relaxation et calcul variationnel\n\nRésum
 é: Nous présentons une nouvelle librairie pour le calcul des variations\
 , la librairie CalcVar. Une attention particulière a été portée lors d
 u développement au calcul efficace de l’évaluation numérique de la fo
 nction coût\, de son gradient et de sa matrice hessienne. Nous regardons 
 aussi la régularisation des surfaces discrètes par la minimisation d’
 énergies. Nous nous intéressons plus particulièrement à l’étude num
 érique de ce type d’approximation en dimension trois. Nous montrons com
 ment cette approche peut permettre la régularisation de contours en prés
 ence de singularités. d’ordre deux. Nous proposons enfin un nouvel algo
 rithme de génération aléatoire d’objets de largeur constante dont nou
 s établissons la convergence presque sûre. Ce travail est\, à notre con
 naissance\, le premier algorithme permettant de générer des objets de la
 rgeur constante sans informations géométriques restrictives (symétrie d
 e révolution\, coupe de largeur constante\, etc.).
URL:https://lama.univ-smb.fr/talks/1066/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dorin Bucur
DTSTART:20140610T090000Z
DTEND:20140610T110000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1034/
CATEGORIES:
DESCRIPTION:Titre: Inégalités isopérimétriques et problèmes à fronti
 ère libre\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/1034/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jimmy Garnier
DTSTART:20140213T130000Z
DTEND:20140213T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/1015/
CATEGORIES:
DESCRIPTION:Titre: Modélisation mathématique en dynamique des population
 s et génétique des populations\n\nRésumé: Au cours de cet exposé\, je
  vous présenterai mes thèmes de recherche à l'interface entre mathémat
 iques et écologie et mes problématiques de travail. Un de mes axes d'ét
 ude est de comprendre et de décrire les effets de la dispersion et de la 
 croissance d'une population sur son devenir et notamment sur sa diversité
  génétique. Dans un premier temps\, je décrirai les divers modèles mat
 hématiques utilisés en dynamique des population et en génétiques des p
 opulations pour répondre à ces questions. Ensuite\, je vous montrerai co
 mment mon approche mathématique basée sur des EDPs permet de décrire la
  dynamique de la diversité génétique d'un population en expansion. Ces 
 travaux sont basés sur l'étude de solutions particulières des équation
 s de réaction-dispersion: les fronts progressifs ou traveling waves. Ces 
 solutions décrivent l'invasion d'un état stationnaire du système par un
  autre.
URL:https://lama.univ-smb.fr/talks/1015/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hervé Pajot
DTSTART:20131114T140000Z
DTEND:20131114T160000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/979/
CATEGORIES:
DESCRIPTION:Titre: Courbure et inégalités de Poincaré\n\nRésumé: Un r
 ésultat maintenant classique (et souvent attribué a Peter Buser) dit que
  toute variété riemannienne complète à courbure de Ricci positive adme
 t des inégalités de Poincaré. Dans cet exposé\, on essayera de donner/
 proposer des analogues du théorème de Buser dans le cas des espaces mét
 riques continus (espace géodésiques) ou discrets (graphes).
URL:https://lama.univ-smb.fr/talks/979/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Benjamin Nill
DTSTART:20130620T080000Z
DTEND:20130620T100000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/962/
CATEGORIES:
DESCRIPTION:Titre: Ehrhart polynomials and A-Discriminants\n\nRésumé: In
  this talk I will illustrate how to use basic results in Ehrhart theory to
  solve a problem on discriminants. I will introduce all the necessary noti
 ons such as Ehrhart polynomials and lattice polytopes. As it turns out\, t
 he problem will be reduced to a question about binomial coefficients.
URL:https://lama.univ-smb.fr/talks/962/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Thomas Seiller
DTSTART:20130404T120000Z
DTEND:20130404T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/940/
CATEGORIES:
DESCRIPTION:Titre: Géométrie de l'interaction: Preuves\, Opérateurs et 
 Complexité Algorithmique\n\nRésumé: La logique\, et plus particulièrem
 ent la théorie de la démonstration — domaine qui a pour objet d'étude
  les preuves mathématiques\, a récemment donné lieu à de nombreux dév
 eloppements concernant l'informatique théorique. Ces développements se f
 ondent sur une correspondance\, dite de Curry-Howard\, entre les preuves m
 athématiques et les programmes informatiques. L'intérêt de cette corres
 pondance provient du fait que celle-ci soit dynamique: l'exécution des pr
 ogrammes correspond à une procédure sur les preuves\, dite d'éliminatio
 n des coupures. Suite à une étude poussée de la formalisation des preuv
 es\, Jean-Yves Girard a initié le programme de géométrie de l'interacti
 on. Ce programme\, dans une première approximation\, a pour objectif l'ob
 tention d'une représentation des preuves rendant compte de la dynamique d
 e l'élimination des coupures. Via la correspondance entre preuves et prog
 rammes\, cela correspond donc à obtenir une sémantique des programmes re
 ndant compte de la dynamique de leur exécution. Cependant\, le programme 
 de géométrie de l'interaction est plus ambitieux: au-delà de la simple 
 interprétation des preuves\, il s'agit d'une complète reconstruction de 
 la logique autour de la dynamique d'élimination des coupures. On reconstr
 uit donc la logique des programmes eux-mêmes\, dans un cadre où la notio
 n de formule rend compte du comportement des algorithmes. Depuis l'introdu
 ction de ce programme\, Jean-Yves Girard a proposé plusieurs construction
 s afin de le réaliser dans lesquelles les preuves sont représentées par
  des opérateurs dans une algèbre de von Neumann. Ces constructions étan
 t fondées sur la notion d'exécution des programmes\, le programme de gé
 ométrie de l'interaction est particulièrement pertinent pour l'étude de
  la complexité algorithmique. En particulier\, ce programme a déjà dém
 ontré qu'il permettait de formaliser à l'aide d'outils mathématiques de
 s classes de complexité en temps et en espace.
URL:https://lama.univ-smb.fr/talks/940/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pascal Koiran
DTSTART:20130328T130000Z
DTEND:20130328T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/938/
CATEGORIES:
DESCRIPTION:Titre: A Wronskian approach to the real tau-conjecture\n\nRés
 umé: According to Shub and Smale's tau-conjecture\, the number of integer
  roots of a univariate polynomial should be polynomially bounded in the si
 ze of the smallest (constant free) straight-line program computing it. Thi
 s statement becomes provably false if one counts real roots instead of int
 eger roots. I have proposed a real version of the tau-conjecture where the
  attention is restricted to straight-line programs of a special form: the 
 sums of products of sparse polynomials. This conjecture implies that the p
 ermanent polynomial cannot be computed by polynomial-size arithmetic circu
 its. The complexity of the permanent in the arithmetic circuit model is a 
 long standing open problem\, which can be thought of as an algebraic versi
 on of P versus NP. In this talk I will present the real tau-conjecture and
  its consequence for the permanent. If time allows\, I will introduce a ne
 w tool in this context: the Wronksian determinant. This leads to some mode
 st progress on the real tau-conjecture\, and to new bounds on the number o
 f solutions of sparse systems of polynomial equations. The latter bounds s
 eem to be of independent interest from the point of view of real algebraic
  geometry.
URL:https://lama.univ-smb.fr/talks/938/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pierre Etienne Meunier
DTSTART:20121213T130000Z
DTEND:20121213T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/915/
CATEGORIES:
DESCRIPTION:Titre: Les automates cellulaires comme modèle de complexités
  parallèles.\n\nRésumé: Dans ma thèse\, j'ai étudié les liens entre 
 deux notions différentes de la complexité. La complexité algorithmique\
 , d'une part\, qui mesure la difficulté de réaliser une tâche automatiq
 uement. La complexité de systèmes\, d'autre part\, qui est le degré d'i
 ntrication des actions des agents du système. Cette approche est relative
 ment nouvelle\, à la fois dans les deux théories\, et offre des perspect
 ives enthousiasmantes pour parler des grandes conjectures de la complexit
 é. En particulier\, nous avons réussi à développer une méthode géné
 rique pour construire des bornes inférieures de complexité\, et des cond
 itions nécessaires relativement élémentaires sur notre modèle de calcu
 l\, ce qui est souvent considéré comme une question difficile en théori
 e de la complexité. D'autre part\, mon travail propose une définition al
 ternative de classes de complexité\, basée sur des automates cellulaires
 \, et étudie les relations avec les définitions classiques. Enfin\, la d
 ernière partie de mon travail a consisté à utiliser les méthodes de la
  théorie de la complexité pour ouvrir de nouvelles pistes sur une conjec
 ture ancienne en automates cellulaires\, à savoir l'existence d'un automa
 te universel par facteur. J'ai soutenu ma thèse le 26 octobre 2012 à San
 tiago\, au Chili\, mais je suis heureux de vous convier à cet exposé\, s
 ans doute plus informel\, sur les travaux que j'ai effectués pendant ces 
 quelques années au LAMA.
URL:https://lama.univ-smb.fr/talks/915/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matthieu Simonet
DTSTART:20121012T123000Z
DTEND:20121012T143000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/893/
CATEGORIES:
DESCRIPTION:Titre: Mots de retour dans les plans sturmiens\n\nRésumé: Le
 s mots sturmiens sont une façon de coder les droites discrètes apériodi
 ques. Ils ont été étudiés depuis la fin du 19ème siècle et disposent
  de nombreuses caractérisations. L'une d'elles\, obtenue par Vuillon\, es
 t centrée sur la notion de mot de retour. Cette thèse a pour objet l'ét
 ude des mots sturmiens en dimension 2 vus comme codages des plans discrets
  apériodiques. L'objectif est d'aller vers une caractérisation des mots 
 sturmiens bi-dimensionnels analogue à celle obtenue par Vuillon en dimens
 ion 1. Mais des problèmes propres à la dimension 2 rendent cette étude 
 délicate\, tels l'absence de concaténation de mots ou la difficulté à 
 localiser un facteur au sein d'un mot. Afin d'y faire face\, nous introdui
 sons en dimension 2 les notions de motifs\, motifs pointés\, mots de loca
 lisation et mots de retour. Nous obtenons ainsi un prolongement à la dime
 nsion 2 d'un théorème de Morse et Hedlund concernant certains mots de re
 tour dans un mot sturmien. Ce résultat nous permet d'établir un nouvel a
 lgorithme de fractions continues et nous permet de proposer\, dans un cadr
 e restreint\, une notion de suite dérivée.
URL:https://lama.univ-smb.fr/talks/893/
END:VEVENT
BEGIN:VEVENT
SUMMARY:M. Putinar
DTSTART:20120628T120000Z
DTEND:20120628T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/884/
CATEGORIES:
DESCRIPTION:Titre: La quantification de l'ellipse\n\nRésumé: Lorsque l'o
 n interprète l'équation quadratique d'une ellipse au niveau des opérate
 urs de l'espace d'Hilbert\, on découvre une anomalie entre la sous-normal
 ité (des opérateurs) et la positivité hermitienne (des polynômes). Mai
 s lorsqu'on analyse de près la même quantification\, on découvre que l'
 ellipse se singularise par deux propriétés : ses opérateurs respectifs 
 possèdent une matrice diagonale triple et le problème de Dirichlet admet
  des solutions polynomiales. Cette présentation se veut accessibles à de
 s étudiants de Master et s'efforcera de ne pas rentrer dans des aspects t
 rop techniques.
URL:https://lama.univ-smb.fr/talks/884/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Olivier Laffitte
DTSTART:20120614T080000Z
DTEND:20120614T100000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/872/
CATEGORIES:
DESCRIPTION:Titre: Quantification et taux de croissance des instabilités 
 en hydrodynamique classique\n\nRésumé: Il est connu depuis lord Rayleigh
  que certaines instabilités hydrodynamiques (essentiellement les instabil
 ités de Rayleigh-Taylor\, instabilité de Couette) peuvent être prises e
 n compte par une équation différentielle ordinaire faisant intervenir le
  taux de croissance de l'instabilité (qui s'appelle selon les cas Orr-Som
 merfeld ou Rayleigh). Mikaélian a remarqué que l'équation de Rayleigh p
 ouvait se réécrire de manière équivalente comme une équation de Schro
 dinger (Phys Rev E 53\, 1996). Avec C. Cherfils dans un cas particulier (P
 hys Rev E 62\, 2000) puis avec B. Helffer dans le cas général pour l'éq
 uation de Rayleigh\, nous avons démontré que le taux de croissance de l'
 instabilité de Rayleigh-Taylor linéarisée n'étaitpas unique\, mais sui
 vait une suite quantifiée (valeurs propres d'un opérateur classique)\, e
 t nous démontrons que cette remarque permet la construction d'un mode ins
 table pour le problème de Rayleigh-Taylor dans le cas non linéaire.
URL:https://lama.univ-smb.fr/talks/872/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hervé Le Ferrand
DTSTART:20120531T120000Z
DTEND:20120531T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/875/
CATEGORIES:
DESCRIPTION:Titre: Fractions continues algébriques : la contribution de R
 obert de Montessus de Ballore\n\nRésumé: En mathématiques\, dans le dom
 aine de l'Approximation Rationnelle\, en particulier les fractions continu
 es\, approximation au sens Padé\, il n'est pas rare de rencontrer parmi l
 es publications récentes le nom Montessus de Ballore. Par exemple\, en 20
 09 paraît dans Found Comput Math <i>Convergent Interpolation to Cauchy In
 tegrals over Analytic Arcs</i>\, de Laurent Baratchart et Maxim Yattselev\
 , dans lequel le théorème de convergence de Robert de Montessus est donn
 é en référence. En 2010\, A. Sidi publie dans Comput. Methods Funct. Th
 eory\, <i>A de Montessus type convergence study of a least-squares vector-
 valued rational interpolation procedure II</i>\, dans lequel une <i>géné
 ralisation</i> du résultat de Robert de Montessus est donnée. Ainsi\, à
  quoi tient la pérennité de ce résultat ? <br> Robert de Montessus fut 
 lauréat en 1906 d'un Grand Prix de l'Académie des Sciences et en 1917\, 
 il rentre au comité de rédaction du Journal de Mathématiques Pures et A
 ppliquées alors dirigé par Camille Jordan. C'est au cours de l'année 19
 02 que Robert de Montessus de Ballore (1870-1937) prouva son fameux théor
 ème [3] sur la convergence d'approximants de Padé de fonctions méromorp
 hes [2]. Pour la démonstration\, il utilisa en particulier des résultats
  de J. Hadamard sur ce que l'on appelle aujourd'hui les <i>polynômes de H
 adamard</i>. Jusqu'en 1909\, Robert de Montessus publia des travaux sur le
 s fractions continues algébriques. <br> Nous cherchons à comprendre comm
 ent son théorème s'est diffusé et examinons aussi les autres résultats
  qu'il a obtenus. Nous disposons en particulier de toute une correspondanc
 e scientifique que nous avons recueillie auprès de sa famille et qui fait
  l'objet d'un archivage à l'Université Pierre et Marie Curie [1]. Certai
 nes de ces lettres permettent d'expliquer la genèse du théorème de 1902
 . Nous en projetterons des fac-similés. En particulier\, Henri Padé et R
 obert de Montessus ont correspondu durant les années 1901-1902. Nous verr
 ons aussi que le résultat de 1902 est rapidement cité par des mathémati
 ciens comme Van Vleck\, Nörlund ou encore O. Perron avant la première gu
 erre mondiale\, puis Wilson et surtout J.L. Walsch entre les deux guerres.
  <br> <br> [1] Fonds Robert de Montessus de Ballore (Université Pierre et
  Marie Curie\, Paris\, archivage en cours). <br> [2] Claude Brezinski\, <i
 >History of continued fractions and Padé approximants</i>\, Springer Verl
 ag\, Berlin\, (1991). <br> [3] R. de Montessus de Ballore\, <i>Sur les fra
 ctions continues algébriques</i>\, Bull. Soc. Math. France 30 (1902)\, pp
  28-36. <br> [4] Biographie de R. de Montessus de Ballore sur Mac Tutor : 
 <a href=``http://www.gap-system.org/ history/Mathematicians/Montessus.html
 ''>lien</a>.
URL:https://lama.univ-smb.fr/talks/875/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Boris Kolev
DTSTART:20120202T143000Z
DTEND:20120202T163000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/862/
CATEGORIES:
DESCRIPTION:Titre: Un principe universel de la mécanique d'après Jean-Ma
 rie Souriau\n\nRésumé: « div(T) = 0\, c'est la mécanique ! » . À par
 tir de cette expression attribuée à Einstein\, Jean-Marie Souriau a form
 ulé une équation universelle de la mécanique\, dont dérive la plupart 
 des modèles de la mécanique des milieux continus. Cet exposé propose de
  présenter cette formulation géométrique\, élégante et encore mal con
 nue.
URL:https://lama.univ-smb.fr/talks/862/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gilles Lebeau
DTSTART:20120119T130000Z
DTEND:20120119T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/835/
CATEGORIES:
DESCRIPTION:Titre: Algorithme de Metropolis\n\nRésumé: L'algorithme de M
 etropolis est un algorithme permettant de tirer un point au hasard pour un
 e probabilité donnée. Il a été introduit en 1953 par N. Metropolis\, A
 .-W. Rosenbluth\, M.-N. Rosenbluth\, A.-H. Teller\, E. Teller\, dans l'art
 icle '' Equations of State Calculations by Fast Computing Machines\, Journ
 al of Chemical Physics 21 (6) 1087--1092. Il a ensuite été généralisé
  en 1970 par W.-K. Hastings dans ``Monte Carlo Sampling Methods Using Mark
 ov Chains and Their Applications''\, Biometrika 57 (1) 97?109. Cet algorit
 hme\, et ses variantes\, est un des plus utilisés du calcul scientifique\
 , voir par exemple ``top ten algorithms of the century'' sur google. Son 
 étude mathématique est par contre très loin d'être achevée et pose de
 s problèmes fort intéressants de géométrie\, de théorie spectrale\, d
 'analyse\, et bien sur de probabilités. Dans cet exposé\, je commencerai
  par introduire l'algorithme sous sa forme historique : Comment choisir N 
 disques de rayon r (sans recouvrement ) au hasard dans un carré? et j'ind
 iquerai quelques résultats et problèmes ouverts sur ce modèle. Dans une
  deuxième partie\, je montrerai comment les plus simples des algorithmes 
 de Metropolis\, associés à des marches aléatoires à ``petits pas''\, c
 onduisent à l'étude d'opérateurs qui généralisent les opérateurs du 
 calcul pseudodifférentiel semiclassique usuel.
URL:https://lama.univ-smb.fr/talks/835/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Muhammad Humayoun
DTSTART:20120118T140000Z
DTEND:20120118T160000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/855/
CATEGORIES:
DESCRIPTION:Titre: Developing the System MathNat for Automatic Formalizati
 on of Mathematical texts\n\nRésumé: There is a wide gap between the lang
 uage of mathematics and its formalized versions. The term ``language of ma
 thematics'' or ``mathematical language'' refers to prose that the mathemat
 ician uses in authoring textbooks and publications. It mainly consists of 
 natural language\, symbolic expressions and notations. It is flexible\, st
 ructured and semantically well-understood by mathematicians. However\, it 
 is very difficult to formalize it automatically. Some of the main reasons 
 are: complex and rich linguistic features of natural language and its inhe
 rent ambiguity\; intermixing of natural language with symbolic mathematics
  causing problems which are unique of its kind\, and therefore\, posing mo
 re ambiguity\; and the possibility of containing reasoning gaps\, which ar
 e hard to fill using the current state of art theorem provers (both automa
 ted and interactive). One way to work around this problem is to abandon th
 e use of the language of mathematics. Therefore in current state of art of
  theorem proving\, mathematics is formalized manually in very precise\, sp
 ecific and well-defined logical systems. The languages supported by these 
 systems impose strong restrictions. For instance\, these languages have no
 n-ambiguous syntax with a limited number of possible syntactic constructio
 ns. This enterprise divides the world of mathematics in two groups. The fi
 rst group consists of a vast majority of mathematicians whose rely on the 
 language of mathematics only. In contrast\, the second group consists of a
  minority of mathematicians. They use formal systems such as theorem prove
 rs (interactive ones mostly) in addition to the language of mathematics. T
 o bridge the gap between the language of mathematics and its formalized ve
 rsions\, we may ask the following gigantic question: Can we build a progra
 m that understands the language of mathematics used by mathematicians and 
 can we mechanically verify its correctness? This problem can naturally be 
 divided in two sub-problems\, both very hard: 1. Parsing mathematical text
 s (mainly proofs) and translating those parse trees to a formal language a
 fter resolving linguistic issues. 2. Validation of this formal version of 
 mathematics. The project MathNat (Mathematics in controlled Natural langua
 ge) aims at being the first step towards solving this problem\, focusing m
 ainly on the first question. For that\, first\, we develop a Controlled La
 nguage for Mathematics (CLM) which is a precisely defined subset of Englis
 h with restricted grammar and lexicon. To make CLM natural and expressive\
 , we support important linguistic features such as anaphoric pronouns and 
 references\, rephrasing of a sentence in multiple ways\, the proper handli
 ng of distributive and collective readings and so on. The coverage of CLM 
 at the moment is yet rather small and to be improved as the project keeps 
 evolving in future. Second\, we develop MathAbs (Mathematical Abstract lan
 guage). It is a prover independent formal language to represent the semant
 ics of CLM texts preserving its logical and reasoning structure. MathAbs i
 s designed as an intermediate language between CLM and the formal language
 s of theorem provers\, allowing proof checking. Third\, we propose a syste
 m that can automatically translate CLM to MathAbs\, giving a precise seman
 tics to CLM. We consider that formalizing mathematics automatically in suc
 h a formal language that has a precise semantics is an important progress 
 even if it can't always be proof-checked. This brings us to the second que
 stion for which we report a very limited work. We only translate MathAbs t
 o the first-order formulas. If we feed these formulas to the automated the
 orem provers (ATPs)\, then fundamentally the ATPs should be able to valida
 te them sometimes. In other words\, the resulting MathAbs document is not 
 completely verifiable for the moment\, but it represents an opportunity fo
 r the mathematician to write mathematical text (mainly proofs) without bec
 oming expert of any theorem prover. Keywords: Computational linguistics\, 
 Controlled languages\, Formalization\, Formal systems\, Verification\, Pro
 of checking.
URL:https://lama.univ-smb.fr/talks/855/
END:VEVENT
BEGIN:VEVENT
SUMMARY:F. Bihan
DTSTART:20111209T133000Z
DTEND:20111209T153000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/856/
CATEGORIES:
DESCRIPTION:Titre: Soutenance HDR - Topologie des variétés creuses\n\nR
 ésumé: 
URL:https://lama.univ-smb.fr/talks/856/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tim Porter
DTSTART:20111027T123000Z
DTEND:20111027T143000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/830/
CATEGORIES:
DESCRIPTION:Titre: Théories homotopiques de champs quantiques\, espaces c
 lassifiants et champs en groupoïdes\n\nRésumé: Les théories homotopiqu
 es de champs quantiques (HQFTs) ont été introduites par V. Turaev. Ils s
 ont une forme de QFT dans lesquelles les variétés ont des structures sup
 plémentaires. Dans cet exposé\, je vais passer rapidement en revue quelq
 ues bases de la théorie des modules croisés utile plus tard\, et introdu
 ire les TQFTs et HQFTs avec un espace de but\, B. Après classification de
 s cas simples\, nous allons examiner le cas dans lequel B est l'espace cla
 ssifiant d'un module croisé. S'il y a assez de temps\, nous aborderons qu
 elques interprétations en forme de gerbes etc. Plan : 1. Motivation 2. Ra
 ppels et exemples (simples) des modules croisés. 3. Théories topologique
 s de champs quantiques (TTCQs = TQFTs)\; 4. Théories homotopiques de cham
 ps quantiques (THCQs = HQFTs)\; 5. Résultats de Classification: (i) B = K
 (pi\; 1)\, (ii) B = K(A\; 2)\; 6. Applications formelles et HQFTs formelle
 s : résultats généraux\; 7. C-algebras croisées\; 8. Complexes croisé
 s\, groupes simpliciaux et espaces classifiants\; 9. C-fonctions formelles
  simpliciales et FHCobord(d\; C)\; 10. C-fibrés combinatoires : allant ve
 rs les Gerbes.
URL:https://lama.univ-smb.fr/talks/830/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Julien Olivier
DTSTART:20110712T120000Z
DTEND:20110712T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/816/
CATEGORIES:
DESCRIPTION:Titre: Thèse\n\nRésumé: Fluides vitreux\, sutures craniofac
 iales\, diffusion réactive : quelques contributions à l'étude de ces sy
 stèmes multi-échelles ou singuliers.
URL:https://lama.univ-smb.fr/talks/816/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Laurent Vuillon
DTSTART:20110623T120000Z
DTEND:20110623T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/811/
CATEGORIES:
DESCRIPTION:Titre: Pavages\, polytopes et polycubes\n\nRésumé: Dans cet 
 exposé\, nous allons présenter des techniques pour paver le plan et l’
 espace par translation d’une tuile. Nous reviendrons sur le théorème d
 e Beauquier-Nivat qui caractérise les polyominos qui pavent le plan par t
 ranslation. Puis\, nous tenterons de généraliser ce théorème en dimens
 ion 3. Nous montrerons alors les 5 polytopes convexes de Fedorov qui sont 
 des modèles de pavages de l’espace. Nous nous attarderons sur le plus c
 omplexe de ces polytopes qui se révèle être un permutoèdre. Au travers
  d’exemples provenant de la théorie des pavages mais aussi de la crista
 llographie et de la métallurgie\, nous verrons les différents pavages de
  l’espace et les réseaux associés. Nous focaliserons ensuite sur le pa
 vage de l’espace avec des pièces non-convexes et des polycubes qui pave
 nt l’espace avec plus de faces que les solides de Fedorov en ont. Puis\,
  nous parlerons des pavages classiques apériodiques du plan et de l’esp
 ace (comme ceux de Penrose\, Robinson\, Wang\, Danzer). Enfin\, nous étud
 ierons le problème ouvert du pavage apériodique de l’espace par des co
 pies d’une seule tuile.
URL:https://lama.univ-smb.fr/talks/811/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bruno Colbois
DTSTART:20110324T130000Z
DTEND:20110324T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/797/
CATEGORIES:
DESCRIPTION:Titre: Une approche métrique du spectre des hypersurfaces de 
 l’espace euclidien\n\nRésumé: Dans cet exposé\, je présenterai (sans
  entrer dans le détail des preuves) une approche métrique de l’étude 
 du spectre du laplacien des hypersurfaces de l’espace euclidien. Le but 
 est d’obtenir des estimées qui ne dépendent pas de la courbure\, mais 
 d’ingrédients géométriques plus globaux. Par exemple\, l’un de ces 
 résultats\, obtenu avec E. Dryden et A. El Soufi permet\, comme corollair
 e\, d’estimer le spectre des hypersurfaces algébriques en fonction de l
 eur degré. Un autre\, obtenu avec A. El Soufi et A. Girouard\, donne des 
 estimations en fonction du rapport isopérimétrique associé à l’hyper
 surface. Je terminerai en donnant quelques questions ouvertes autour de ce
 tte problématique.
URL:https://lama.univ-smb.fr/talks/797/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Xavier Provençal
DTSTART:20110217T130000Z
DTEND:20110217T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/766/
CATEGORIES:
DESCRIPTION:Titre: Génération de plans discrets par substitutions géné
 ralisées.\n\nRésumé: La structure des droites discrètes en dimension d
 eux\, et par le fait même des mots Sturmiens\, est maintenant quelque cho
 se de bien connue. On observe de nombreuses propriétés arithmétiques (r
 eliées\, entre autre\, aux fractions continues) et combinatoires (équili
 bre\, récurrence\, périodes\, etc.). Cependant\, lorsqu'on passe à la d
 imension trois... que reste-t-il de ces propriété? En générant des pla
 ns discrets à l'aide de substitutions généralisées obtenues par l'algo
 rithme de Jacobi-Perron\, on obtient une suite de ``morceaux de plans disc
 rets'' présentant des similitudes avec les mots de Christoffel\; ces dern
 iers étant des facteurs particulièrement intéressants des mots Sturmien
 s.
URL:https://lama.univ-smb.fr/talks/766/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Etera Livine
DTSTART:20110215T133000Z
DTEND:20110215T153000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/777/
CATEGORIES:
DESCRIPTION:Titre: Introduction aux Modeles de Spinfoam pour la Gravite Qu
 antique\n\nRésumé: Les modeles de spinfoam fournissent un formalisme d'i
 ntegrale de chemin pour la gravite quantique. Ils permettent de definir de
 s amplitudes de transition pour les etats de geometrie quantique de la loo
 p quantum gravity - les spin networks. Ces amplitudes sont construites a p
 artir de techniques de discretization de la relativite generale (Regge cal
 culus) et de theorie de champs topologique (topological BF field theory). 
 Je ferais une revue de tout ce formalisme. Puis je montrerais comment defi
 nir les modeles de spinfoam les plus prometteurs et expliquerais quelques 
 unes des voies de recherche actuelles dans ce domaine\; en particulier\, c
 omment extraire des predictions physiques de ces modeles et ce qu'il faudr
 ait faire pour developper cette theorie.
URL:https://lama.univ-smb.fr/talks/777/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Céline Labart
DTSTART:20110210T130000Z
DTEND:20110210T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/765/
CATEGORIES:
DESCRIPTION:Titre: Modélisation en mathématiques financières\n\nRésum
 é: La modélisation des données boursières est à la base du calcul du 
 prix des différents contrats proposés par les institutions financières.
  Je présenterai différents modèles mathématiques (modèle de Black-Sch
 oles\, modèles à volatilité locale et à volatilité stochastique) util
 isés aujourd'hui ainsi que les différentes méthodes de pricing et couve
 rtures d'option\, en développant celle basée sur les équations différe
 ntielles stochastiques rétrogrades.
URL:https://lama.univ-smb.fr/talks/765/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Antoine DUCROS
DTSTART:20110120T130000Z
DTEND:20110120T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/754/
CATEGORIES:
DESCRIPTION:Titre: Nombres p-adiques et géométrie\n\nRésumé: Je commen
 cerai par présenter\, pour un nombre premier p fixé\, le corps des nombr
 es p-adiques\, qui joue un rôle majeur en arithmétique. Il est muni d'un
 e distance naturelle pour laquelle il est complet\, mais totalement discon
 tinu. Faire de la géométrie (algébrique ou analytique) intéressante su
 r ce type de corps est donc délicat\, mais tout de même possible. Plusie
 urs stratégies existent pour contourner la totale discontinuité \; je pr
 ésenterai celle de Berkovich\, qui consiste à «rajouter beaucoup de poi
 nts» aux espaces «naïfs» de départ de façon à les rendre connexes p
 ar arcs. J'illustrerai les constructions et définitions par des exemples 
 simples\, et montrerai une ou deux applications ce ce point de vue\, par e
 xemple aux systèmes dynamiques.
URL:https://lama.univ-smb.fr/talks/754/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paul Milewski
DTSTART:20110113T130000Z
DTEND:20110113T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/779/
CATEGORIES:
DESCRIPTION:Titre: Séminaire de la Fédération : The volcano effect in b
 acterial chemotaxis\n\nRésumé: Chemotaxis is the directed motion towards
  a chemical attractant. Many bacteria chemotax by swimming repeatedly in a
  randomly chosen direction and biasing their swim lengths according to whe
 ther their environment is improving in the current direction. At a macrosc
 opic level this biased random walk has been modeled by the Keller-Segel (K
 -S) equations which are conservation laws that have a bacterial flux with 
 a component proportional to the gradient of attractant concentration. The 
 K-S equations predict that bacteria will aggregate at the maxima of the at
 tractant concentration\, but this is not always observed. For rapidly spat
 ially-varying concentration gradients\, the peak in bacterial concentratio
 n is some distance away\, lying on a ring in two-dimensions. This is the 
 ”volcano effect”. Our work\, starting from a simplified biochemical de
 scription of each bacterium and then extracting population level models\, 
 shows how to bridge these two regimes (K-S and volcanic). The results are 
 verified against stochastic simulations of virtual bacteria. We shall also
  discuss applications to the more complex chemotactic process where the ba
 cteria are themselves producing the chemoattractant.
URL:https://lama.univ-smb.fr/talks/779/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mohamed Dahi
DTSTART:20101221T130000Z
DTEND:20101221T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/780/
CATEGORIES:
DESCRIPTION:Titre: Thèse\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/780/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Georges Comte
DTSTART:20101216T143000Z
DTEND:20101216T163000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/763/
CATEGORIES:
DESCRIPTION:Titre: La géométrie des singularités en différents context
 es\n\nRésumé: J'expliquerai de façon élémentaire comment on peut éta
 blir des liens entre plusieurs points de vue (les points de vue différent
 iel\, algébro-géométrique\, métrique) sur l'étude des singularités\,
  dans le contexte souple de la géométrie des ensembles définissables. N
 ous définirons d'abord ces notions et nous dirons ensuite en quoi et comm
 ent elles se correspondent.
URL:https://lama.univ-smb.fr/talks/763/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Krzysztof Worytkiewicz
DTSTART:20101216T130000Z
DTEND:20101216T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/764/
CATEGORIES:
DESCRIPTION:Titre: L'algebre homotopique des omega-categories\n\nRésumé:
  Cet exposé est consacré à une théorie de l'homotopie des infini-caté
 gories strictes. Cette théorie est présentée par une structure de modè
 les de Quillen\, construite à partir d'un ensemble de cofibrations géné
 ratrices et d'une classe d'équivalences faibles. Je commencerai par des g
 énéralites sur l'algèbre homotopique pour ensuite préciser la construc
 tion de la structure de modèles en question. Finalement j'esquisserai une
  construction de cohomologie non-abelienne où les inifini-categories stri
 ctes servent de coefficients.
URL:https://lama.univ-smb.fr/talks/764/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Laurent Boyer
DTSTART:20101207T130000Z
DTEND:20101207T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/749/
CATEGORIES:
DESCRIPTION:Titre: Date prévue de soutenance de thèse\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/749/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Denys Dutykh
DTSTART:20101203T130000Z
DTEND:20101203T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/747/
CATEGORIES:
DESCRIPTION:Titre: Modélisation mathématique pour l'environnement\n\nRé
 sumé: Cet exposé est consacré à la modélisation mathématique de quel
 ques problèmes environnementaux\, couvre des thématiques allant des vagu
 es jusqu'aux avalanches de neige poudreuse et traite de différents aspect
 s de la modélisation des tsunamis. Nous étudions toute la gamme des proc
 essus physiques de la génération\, transformations d'énergie\, propagat
 ion jusqu'à l'inondation des côtes. Nous verrons aussi différents aspec
 ts de la simulation numérique et de la modélisation d'inondation. Ces qu
 estions sont traitées par différentes approches: les équations de Saint
 -Venant\, les équations de type de Boussinesq et le système de Navier-St
 okes bi-fluide. Nous nous intéressons aussi à deux problèmes relevant p
 rincipalement des écoulements multi-fluides\, en particulier la justifica
 tion formelle du modèle bifluide à quatre équations proposé avant pour
  la modélisation des écoulements aérés. Quelques résultats numérique
 s présentés peuvent s'appliquer\, par exemple\, à la simulation numéri
 que du déferlement. Nous proposons aussi un nouveau modèle pour les aval
 anches de neige poudreuse. Ce système est dérivé du Navier-Stokes biflu
 ide classique et possède de bonnes propriétés qualitatives. Les simulat
 ions numériques d'interaction d'une avalanche avec obstacle sont présent
 ées.
URL:https://lama.univ-smb.fr/talks/747/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matthieu Bonnivard
DTSTART:20101130T130000Z
DTEND:20101130T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/770/
CATEGORIES:
DESCRIPTION:Titre: Thèse\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/770/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mouhammad Said
DTSTART:20101129T130000Z
DTEND:20101129T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/750/
CATEGORIES:
DESCRIPTION:Titre: Soutenance de thèse\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/750/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bertrand Maury
DTSTART:20101104T130000Z
DTEND:20101104T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/743/
CATEGORIES:
DESCRIPTION:Titre: Modélisation de mouvements de foules\n\nRésumé: Nous
  nous intéressons à une classe de modèles de mouvements de foules en si
 tuation d’évacuation d’urgence basés sur les considérations suivant
 es : chaque personne souhaite optimiser sa propre trajectoire (en clair : 
 sortir au plus vite du bâtiment)\, mais\, dans le cas de situations conge
 stionnées\, le mou- vement est contraint par le simple fait que deux pers
 onnes ne peuvent pas être au même endroit au même moment. Nous présent
 erons une mise en équation microscopique de ces principes\, où chaque pe
 rsonne est identifée à un disque rigide\, et la vitesse effective instan
 tanée est la projection du déplacement souhaité sur l’ensemble des vi
 tesses admissibles\, qui ne conduisent pas à un chevauchement des individ
 us. Nous montrons que ce modèle peut s’interpréter comme un flot-gradi
 ent sur l’espace des degrés de liberté (pour une fonctionnelle d’ins
 atisfaction définie comme la somme des insatisfactions individuelles). No
 us proposerons ensuite une version macroscopique du modèle : la populatio
 n est alors décrite par une densité assujettie à rester inférieure à 
 une valeur fixée. La régularité de la vitesse effective n’étant pas 
 contrôlée\, les résultats classiques sur l’équation de transport d
 ’une densité ne sont pas applicables. Nous montrerons comment le cadre 
 de la métrique de Wasserstein sur les mesures (distance entre mesures ass
 ociée au transport optimal) permet de redonner à ce modèle une structur
 e de flot- gradient\, de montrer l’existence d’une solution et suggèr
 e des pistes pour la simulation numérique de tels phénomènes.
URL:https://lama.univ-smb.fr/talks/743/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Claude Roger
DTSTART:20100503T083000Z
DTEND:20100503T103000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/726/
CATEGORIES:
DESCRIPTION:Titre: Fibrés et classes caractéristiques en physique\n\nRé
 sumé: Nous montrerons le rôle des fibrés vectoriels en physique par l'i
 ntermédiaire des théories de jauge\, et comment des classes caractérist
 ique peuvent intervenir\, via des termes topologiques dans les Lagrangiens
 . Pour une théorie de jauge abélienne\, nous verrons comment les monopô
 les magnétiques et l'effet Bohm-Aharonov peuvent s'interprèter comme une
  première classe de Chern\, et pour les théories non abéliennes\, le no
 mbre d'instanton est une deuxième classe de Chern (dans la version euclid
 ienne de la théorie de Yang et Mills).
URL:https://lama.univ-smb.fr/talks/726/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Krzysztof Kurdyka
DTSTART:20100503T073000Z
DTEND:20100503T093000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/729/
CATEGORIES:
DESCRIPTION:Titre: Polynômes hyperboliques et théorie des perturbations 
 analytiques à plusieurs paramètres\n\nRésumé: Let $P(x\,z)= z^d +sum_{
 i=1}^{d}a_i(x)z^{d-i}$ be a polynomial\, where $a_i$ are real analytic fun
 ctions in an open subset $U$ of $R^n$. If for any $x in U$ the polynomial 
 $zmapsto P(x\,z)$ has only real roots\, then we can write those roots as l
 ocally lipschitz functions of $x$. Moreover\, there exists a modification 
 (a locally finite composition of blowing-ups with smooth centers) $sigma :
  W to U$ such that the roots of the corresponding polynomial $tilde P(w\,z
 ) =P(sigma (w)\,z)\,\,win W $\, can be written locally as analytic functio
 ns of $w$. Let $A(x)\, \, xin U$ be an analytic family of symmetric matric
 es\, where $U$ is open in $R^n$. Then there exists a modification $sigma :
  W to U$\, such the corresponding family $tilde A(w) =A(sigma(w))$ can be 
 locally diagonalized analytically (i.e. we can choose locally a basis of e
 igenvectors in an analytic way). This generalizes the Rellich's well known
  theorem (1937) for one parameter families. Similarly for an analytic fami
 ly $A(x)\, \, xin U$ of antisymmetric matrices there exits a modification 
 $sigma$ such that we can find locally a basis of proper subspaces in an an
 alytic way.
URL:https://lama.univ-smb.fr/talks/729/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Olivier Le Gal
DTSTART:20091210T123000Z
DTEND:20091210T143000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/659/
CATEGORIES:
DESCRIPTION:Titre: Introduction à la géométrie modérée\n\nRésumé: L
 a première difficulté en géométrie réelle consiste à définir un cad
 re de travail. On ne peut en effet se restreindre à l'étude d'objets lis
 ses (ce serait exclure l'ensemble pourtant simple formé par l'union de de
 ux droites concourantes)\, mais les objets singuliers peuvent s'avérer tr
 op compliqués pour être étudiés avec les outils de géométrie différ
 entielle classiques (tout fermé de <b>R<sup>n</sup></b> est l'intersectio
 n de deux variétés lisses). Nous verrons comment les structures o-minima
 les répondent à cette problématique\, en évitant les « monstres »\, 
 tout en gardant un niveau de généralité élevé. Nous parlerons ainsi\,
  selon ce que le temps permet\, de la géométrie modérée qu'elles défi
 nissent\, des pathologies qu'elles autorisent\, des liens qu'elles entreti
 ennent avec la théorie des modèles\, et des questions qui s'y posent.
URL:https://lama.univ-smb.fr/talks/659/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nicolas Burq
DTSTART:20091105T130000Z
DTEND:20091105T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/647/
CATEGORIES:
DESCRIPTION:Titre: Equations aux dérivées partielles à données aléato
 ires : autour d'un théorème de Paley-Zygmund\n\nRésumé: En 1932\, Pale
 y et Zygmund démontrent que les séries trigonométriques aléatoires sur
  le tore sont presque surement plus régulières que ce a quoi on s'attend
 rait. Ce type de résultat a par la suite été étudié par de nombreux a
 uteurs dans un contexte d'analyse harmonique (Pisier et Kahane notamment).
  Curieusement\, pendant longtemps\, les spécialistes des EDP ne se sont p
 as interessés à ce type de questions. L'objet de cet exposé est précis
 ement de montrer quelques applications des idees directement inspirées de
  Paley et Zygmund\, au contexte des EDP. Plus précisément\, on montrera 
 que pour certaines équations des ondes et de Schrodinger\, pour des donn
 ées initiales aléatoires\, la situation est bien meilleure en termes d'e
 xistence et de comportement en temps longs\, que pour des données initial
 es fixées. Il s'agit de travaux en collaboration avec N. Tzvetkov (Cergy)
  et L. Thomann (Nantes).
URL:https://lama.univ-smb.fr/talks/647/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Guillaume Theyssier
DTSTART:20091008T120000Z
DTEND:20091008T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/660/
CATEGORIES:
DESCRIPTION:Titre: Introduction à la calculabilité et la complexité\n\n
 Résumé: Les théories de la calculabilité (que peut-on calculer ?) et d
 e la complexité algorithmique (quelle est la difficulté intrinsèque d'u
 n problème calculable ?) sont deux piliers de la science informatique. L'
 objectif de cet exposé est de donner un aperçu des concepts\, des princi
 paux résultats et des grands problèmes ouverts de ces théories. Selon l
 e temps\, nous parlerons de fonctions récursives\, d'ensembles diophantie
 ns\, de pavages du plan\, d'applications affines par morceaux\, d'identit
 és polynomiales\, etc\, avec le secret espoir de convaincre l'auditoire q
 ue la notion de calcul est avant tout protéiforme et peut s'immiscer dans
  de nombreux objets mathématiques ``classiques''.
URL:https://lama.univ-smb.fr/talks/660/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Philippe Briand
DTSTART:20090625T120000Z
DTEND:20090625T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/632/
CATEGORIES:
DESCRIPTION:Titre: Équations différentielles stochastiques rétrogrades 
 et applications\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/632/
END:VEVENT
BEGIN:VEVENT
SUMMARY:André Hirschowitz
DTSTART:20080529T120000Z
DTEND:20080529T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/488/
CATEGORIES:
DESCRIPTION:Titre: Enseigner les preuves avec Coqweb\n\nRésumé: Faut pas
  le dire\, mais l'enseignement supérieur des sciences (à Nice?)\, ça ma
 rche pas top (taper Objectif70 dans Google). Faut pas le dire\, mais nous\
 , les universitaires (niçois?)\, on n'a pas trop le temps de s'occuper de
  ce problème\, on est débordés. Et les autres\, ministres et recteurs\,
  gare à eux s'ils s'avisaient de se méler de nos affaires. Par exemple o
 n ne cherche pas trop à enseigner la rigueur autrement que par la méthod
 e dite de Léo Lacroix (``faites comme moi'')\, qui a largement fait ses r
 éfutations. Ceux qui essaient de faire autrement\, forcément\, ils y arr
 ivent pas du premier coup\, et ils se font casser bien avant d'y arriver. 
 Coqweb (à taper dans Google pour voir) propose une nouvelle méthode. C'e
 st une interface web pour Coq\, principalement développée par Loïc Pott
 ier pour l’enseignement. Il permet aux enseignants de proposer des énon
 cés sous une forme suffisamment familière. Les étudiants sont invités 
 à démontrer ces énoncés essentiellement en cliquant. Des indications p
 euvent être données en langage naturel\, et dans ce cas\, l’interface 
 vérifie que l’étudiant a bien compris l’indication. On dira un peu d
 e ce qu'il ne faut pas dire\, puis on racontera comment Coqweb marche bien
  et ce qu'on a fait avec.
URL:https://lama.univ-smb.fr/talks/488/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Guy Métivier
DTSTART:20080410T120000Z
DTEND:20080410T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/516/
CATEGORIES:
DESCRIPTION:Titre: Un parcours initiatique en optique\, optique géométri
 que et tissus\n\nRésumé: TBA
URL:https://lama.univ-smb.fr/talks/516/
END:VEVENT
BEGIN:VEVENT
SUMMARY:François Hamel et Serguei Nazarov
DTSTART:20080306T125000Z
DTEND:20080306T145000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/492/
CATEGORIES:
DESCRIPTION:Titre: Une demi-journée en la mémoire de Thomas Lachand-Robe
 rt\n\nRésumé: L'équipe EDP organise une demi-journée en la mémoire de
  Thomas Lachand-Robert (18/12/1966--23/02/2006). <p> Programme: <p> -- 13h
 50-14h00. ``Petite introduction''. <p> -- 14h00-15h00. François Hamel (Un
 iversité de Marseille). <p> ``Inégalités de réarrangement et optimisat
 ion de formes''. <p> -- 15h00-15h30. Pôt en la mémoire de Thomas Lachand
 -Robert. <p> -- 15h30-16h30. Serguei Nazarov (St Petersburg). <p> ``A crit
 erion of the continuous spectrum for elliptic systems on peak-shaped domai
 ns``.
URL:https://lama.univ-smb.fr/talks/492/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Denis SERRE
DTSTART:20071122T153000Z
DTEND:20071122T173000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/458/
CATEGORIES:
DESCRIPTION:Titre: Polynômes hyperboliques\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/458/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Frédéric Chazal
DTSTART:20070118T160000Z
DTEND:20070118T180000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/325/
CATEGORIES:
DESCRIPTION:Titre: Qu'est-ce que la géométrie d'un nuage de points ? Asp
 ects théoriques et algorithmiques\n\nRésumé: L'estimation et l'approxim
 ation de grandeurs topologiques ou géométriques associées à des formes
  dont on ne connait qu'une approximation posent des problèmes pratiques e
 t théoriques délicats en calcul géométrique. Ces problèmes ont été 
 largement étudiés depuis plusieurs années dans le cas de la reconstruct
 ion d'hypersurfaces lisses dans R^n : à partir d'un nuage de points mesur
 és sur une forme lisse\, on souhaite 'reconstruire' la surface de cette f
 orme en garantissant que le résultat produit possède la même topologie 
 que celle de la forme échantillonnée. Il existe bon nombre de résultats
  et d'algorithmes satisfaisant permettant de répondre a ce problème dans
  le cas particulier des surfaces dans R^3.Cependant\, les résultats et le
 s méthodes actuelles possèdent un double inconvénient. Ils ne se géné
 ralisent pas à des objets non lisses et conduisent à des algorithmes ine
 fficaces en dimension supérieure à 3. Le développement récents des out
 ils de mesure et de simulation nécessite de mettre au point des technique
 s mathématiques et algorithmiques permettant d'extraire l'information top
 ologique et géométrique de nuages de points issus d'objets non lisses da
 ns des espaces de toutes dimensions. Dans cet exposé\, nous présenterons
  quelques résultats récents dans cette voie. Nous verrons en particulier
 \, que dans le cas de l'approximation d'objets non lisses\, il apparait de
 s ``phenomènes d'échelle'' faisant apparaitre différentes topologies à
  différentes échelles.
URL:https://lama.univ-smb.fr/talks/325/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Elisabeth Rouy
DTSTART:20061109T130000Z
DTEND:20061109T150000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/310/
CATEGORIES:
DESCRIPTION:Titre: Les solutions de viscosité dans la résolution de prob
 lèmes non linéaires.\n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/310/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dorin Bucur
DTSTART:20061012T120000Z
DTEND:20061012T140000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/309/
CATEGORIES:
DESCRIPTION:Titre: Existe-t-il toujours une forme optimale ?\n\nRésumé: 
 Attention: l'exposé aura lieu dans l'amphithéâtre Nivolet
URL:https://lama.univ-smb.fr/talks/309/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Luc Frappat
DTSTART:20060309T133000Z
DTEND:20060309T153000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/282/
CATEGORIES:
DESCRIPTION:Titre: Approches algébriques dans les systèmes intégrables\
 n\nRésumé: 
URL:https://lama.univ-smb.fr/talks/282/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ilia Itenberg
DTSTART:20050407T143000Z
DTEND:20050407T163000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/272/
CATEGORIES:
DESCRIPTION:Titre: Géométrie tropicale et dénombrement de courbes ratio
 nnelles réelles.\n\nRésumé: Le but de l’exposé est de faire une intr
 oduction à la géométrie tropicale et de présenter ses applications à 
 la géométrie énumérative réelle et complexe.<br />La géométrie trop
 icale est un domaine relativement nouveau de mathématiques qui a connu un
  progrès spectaculaire durant les cinq dernières années. L’apparition
  de la géométrie tropicale était motivée par ses liens multiples et pr
 ofonds avec plusieurs branches de mathématiques. Une relation importante 
 entre le monde complexe et le monde tropical est donnée par le théorème
  de correspondance de Mikhalkin. Ce théorème et la découverte par J.-Y.
  Welschinger d’un analogue réel des invariants de Gromov-Witten produis
 ent des nouveaux résultats concernant le dénombrement de courbes rationn
 elles réelles.
URL:https://lama.univ-smb.fr/talks/272/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jean-Pierre Françoise
DTSTART:20041104T153000Z
DTEND:20041104T173000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/273/
CATEGORIES:
DESCRIPTION:Titre: Modélisation des rythmes du vivant\, oscillations et s
 ynchronisation.\n\nRésumé: On considère un modèle qui décrit la synch
 ronisation de l’activité électrique des cellules du noeud sinusal et l
 a formation du ryhtme cardiaque. L’objet de l’exposé est de présente
 r les outils mathématiques qui sont nécessaires à cette modélisation p
 uis de faire le point sur ce qui est connu et ce qui reste à développer 
 dans les domaines mathématiques concernés (bifurcation des cycles limite
 s\, accrochage des phases\, systèmes isochrones et leur perturbation\, sy
 nchronisation).
URL:https://lama.univ-smb.fr/talks/273/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Yann Gérard
DTSTART:20040422T153000Z
DTEND:20040422T173000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/274/
CATEGORIES:
DESCRIPTION:Titre: Reconstruction de surfaces.\n\nRésumé: Etant donné u
 n ensemble fini de points\, le problème que nous considérerons consiste 
 à construire une surface qui l’approche. Différents types de surfaces 
 peuvent etre considérées: des surfaces polyhédrales possédant différe
 nts types de convexité ou des surfaces equipotentielles parmi lesquelles 
 on trouve les surfaces algebriques (le potentiel est donné par un polynom
 e). C’est sur le problème de la reconstruction de surfaces algebriques 
 que nous focaliserons nos efforts. Nous ferons le lien entre ce problème 
 et la notion de couche digitale développée dans le cadre de la géométr
 ie discrète. Nous pourrons ainsi donner un aperçu des solutions dévelop
 pées dans ce domaine\, et de leurs nombreuses applications.
URL:https://lama.univ-smb.fr/talks/274/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Laurent Vuillon
DTSTART:20040226T153000Z
DTEND:20040226T173000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/275/
CATEGORIES:
DESCRIPTION:Titre: Problemes discrets: tomographie discrete et pavages.\n\
 nRésumé: Cet exposé sera constitué de deux parties portant sur des pro
 blèmes de mathématiques discrètes et utilisant des techniques de combin
 atoire des mots\, de géométrie discrète et de pavages du plan.<br />Dan
 s la première partie\, nous présenterons une introduction aux techniques
  de la tomographie discrète. Ce domaine a pour objet la reconstruction de
  matrice à valeurs dans {0\,1} connaissant un petit nombre de projections
  (les projections ou contraintes tomographiques sont des vecteurs donnant 
 par exemple le nombre de 1 sur chaque ligne et le nombre de 1 sur chaque c
 olonne). Nous présenterons l’algorithme de Ryser pour la reconstruction
  de matrices connaissant les projections verticale et horizontale\, puis l
 a reconstruction de polyominos horizontalement et verticalement convexes a
 vec contraintes tomographiques. Les méthodes utilisées font appel à la 
 géométrie discrète mais aussi à des réductions à 2-SAT. Enfin\, nous
  aborderons des résultats récents sur la reconstruction de matrices avec
  périodicité et contraintes tomographiques.<br />Dans la deuxième parti
 e\, nous montrerons que la complexité d’un mot de coupures u dans un pa
 vage régulier par un polyomino Q est égale à Pn(u)=(p+q-1)n +1\, pour t
 out n &gt\; 0 où Pn(u) compte le nombre de facteurs distincts de longueur
  n du mot infini u et où le mot de contour du polyomino Q est donné par 
 2p segments horizontaux et 2q segments verticaux. Nous reviendrons dans ce
 t exposé sur le théorème de Beauquier-Nivat donnant une caractérisatio
 n par mots de contour des polyominos qui pavent le plan par translations.
URL:https://lama.univ-smb.fr/talks/275/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Prof. Dr. Jens Struckmeier
DTSTART:20040122T160000Z
DTEND:20040122T180000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/276/
CATEGORIES:
DESCRIPTION:Titre: A Mathematical Investigation of a Dynamical Model for t
 he Growth and Size Distribution of Multiple Metastatic Tumors.\n\nRésumé
 : Recently\, Iwata\, Kawasaki and Shigesada proposed a dynamical model for
  the growth and size distribution of multiple metastatic tumors [J. theor.
  Biol.\, 203\, 177--186 (2000)]\, which is based on von Foerster’s equat
 ion from population dynamics. In the seminar we reformulate the model from
  a mathematical point of view and give an existence results using the meth
 od of characteristics and standard theory for linear integral equations. A
  dimensionless form of the model shows that it contains some interesting s
 hort and large-time asymptotics.
URL:https://lama.univ-smb.fr/talks/276/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Y. Yomdin
DTSTART:20031113T160000Z
DTEND:20031113T180000Z
DTSTAMP:20260405T073836Z
UID:https://lama.univ-smb.fr/talks/277/
CATEGORIES:
DESCRIPTION:Titre: Ridge detection\, Differential Geometry\, and stability
  of high-order Image Processing.\n\nRésumé: Ridges are bright lines on a
  dark background (or dark lines on a bright background). An accurate mathe
 matical definition of ridges presents some difficulties (arising also in o
 ther similar problems):<br /> there are several intuitively justified defi
 nitions which are not equivalent mathematically and which lead to quite di
 fferent results in practice.<br />We discuss a &quot\;differential-geometr
 ic&quot\; definition of ridges and compare it with some other possible def
 initions. Then we describe a stable high order numerical algorithm for rid
 ge detection.<!--Anonymous Whitehat notice : Your lama website can be hack
 ed\, due to php scripts with renamed extensions leading to wrong mime inte
 rpretation\, meaning\, passwords can be read from it. If any admin reads i
 t\, please\, make sure to reset all your passwords which could have been c
 ompromised meanwhile. At your service\, L.-->
URL:https://lama.univ-smb.fr/talks/277/
END:VEVENT
END:VCALENDAR