In this talk, we examine regularity and stability issues for two damped abstract elastic systems. The damping involves the average velocity and a fractional power...
Résumé: Les théories conformes des champs de Toda sont des généralisations de la théorie conforme des champs de Liouville dans lesquelles le champ n'est plus...
In this talk I will introduce strongly invertible Legendrian links in the standard contact three-dimensional space. After a short presentation of the equivariant analogues of...
The starting point of this talk is the structure of the object !Bool in probabilistic coherent spaces. For the purpose of building a semantics interpretation...
TBA Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou...
On présente un nouvel invariant topologique pour les arrangements de droites complexes dans CP^2, qui forment une famille particulière de courbes algébriques planes. La motivation...
Composition du jury Ugo DAL LAGO Rapporteur Professore ordinario, Università di Bologna Giulio MANZONETTO Président, Professeur des universités, Université Paris Cité Laurent REGNIER Co-directeur, Professeur...
In a first part, we introduce the Markoff numbers, which are fascinating integers related to number theory, Diophantine equation, hyperbolic geometry, continued fractions and Christoffel...
The recent introduction of analytic geometry of Clausen and Scholze has made possible a new study to the theory of D-modules from the stacky approach...
Résumé : Un arbre couvrant d'un graphe connexe fini G est un sous-graphe connexe de G qui contient chaque sommet et ne contient aucun cycle....
On s'intéresse à l'étude du comportement des invariants géométriques des variétés hyperboliques tridimensionnelles lorsque leur complexité augmente. Une façon de le faire est de considérer...
TBA Le séminaire des doctorant⋅es de l’I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d’un exposé plus ou moins (in)formel,...
Une trajectoire de billard dans un pavage est une trajectoire dans le plan pavé, en ligne droite dans chaque tuile du pavage et réfractée à...
A d-dimensional extension of a fictitious domain penalization technique that we previously proposed for Neumann or Robin boundary conditions will be presented. We apply Droniou's...
Abstract: In this talk, we revisit several results on exponential integrability in probability spaces and derive some new ones. In particular, we give a quantitative...
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard...
TBA Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou...
Cette thèse introduit une interprétation dialogique des preuves à travers le jeu TUVA, en s'appuyant sur le travail de J.L. Krivine. En particulier, elle montre...
Dans une correspondance scientifique qu'il a entretenue dans les années 980 avec Abū Isḥaq al-Ṣābi’, ancien haut fonctionnaire à Bagdad, Abū Sahl al-Qūhī, géomètre de...
Le jury est composé de : Paola FREDIANI (Université de Pavia), Rapporteuse Sorin DUMITRESCU (Université de Côte d’Azur), Rapporteur Karl OELJEKLAUS (Université d’Aix-Marseille), Président du...
In this talk we consider the following eigenvalue problem, arising from time-harmonic Maxwell’s equations in the context of perfectly conducting cavities: ε^{-1} curl μ^{-1} curl...
Dans cet exposé, nous découvrirons des variantes de pseudo-métriques en utilisant des distances sur l'ensemble des mots finis, en élargissant les concepts des pseudo-métriques de...
Gan Gross et Prasad ont énoncé en 2012 une série de conjectures reliant certaines périodes de formes automorphes cuspidales sur des groupes classiques à des...
Les langages de programmation dits fonctionnels, c'est-à-dire fondés sur le lambda-calcul, forment un modèle de calcul dans lequel les programmes calculent des fonctions d'ordre supérieur,...