Séminaires I2M

HA^ω (Higher Type Arithmetic) is a first order many sorted theory. It is a conservative extension of HA (Heyting Arithmetic a.k.a the intuitionistic version of Peano Arithmetic) obtained by extending the syntax of terms to [...]

On étudie dans cette présentation l’uniformité différentielle des polynômes de degré pair définis sur des corps finis de caractéristique 2. Une caractérisation des polynômes Morse [...]

S'il est un objet proéminent de la topologie quantique, c'est l'algèbre des écheveaux de Kauffman associée à une surface orientée de type fini. Par exemple, [...]

Soit F un corps p-adique, et k un corps algébriquement clos de caractéristique l différente de p. Dans cet exposé, nous donnerons d'abord une décomposition [...]

TBA https://www.researchgate.net/scientific-contributions/Nathanael-Enriquez-19511850  

Rank-one systems are a class of dynamical systems arising in the late 60's and form a rich class of examples and counter-examples in ergodic theory. [...]

Les équations différentielles couplées présentent généralement une structure algébrique importante. Par exemple dans les équations de Navier-Stokes incompressibles, la vitesse n'est affectée que par la [...]

TBA Séminaire RAUZY  

TBA Séminaire RAUZY  

As an exception, this last week's seminar won't consist in a scientific presentation, but will instead be devoted to a social event. Please bring drinks, [...]

(j.w.w. P. Pradic) We present LMSO, a linear logic-based variant of MSO over omega-words. LMSO can be seen as a logical syntax for a Curry-Howard-Lambek-like [...]

L'exposé sera donné sur Zoom avec transmission live (et vidéo-projection)  dans la salle des séminaires. Abstract: In this talk, I will present some current developments in [...]

Voir sur le lien suivant : https://drive.google.com/file/d/1WKCz7PDms50Se_OQGnLe9dsJn2wLCvpn/view?usp=sharing .   Site :  https://sites.google.com/view/samuele-anni/home/s%C3%A9minaire-ati?authuser=0 [su_spacer size="10"] Rendez-vous à côté de la machine à café au rez-de-chaussée de l'ancienne BU. [su_spacer size="10"]

At the heart of symbolic dynamics lies the study of languages, infinite words and the dynamical structures associated. We focus on two classical methods to [...]

Both compressible and incompressible porous medium models have been used in the literature to describe the mechanical aspects of living tissues. Using a stiff pressure [...]

Bounding the combinatorial diameter of a polytope is a well-known and long-standing open problem. The great theoretical and practical interest in this question originates from [...]

TBA

The space of convex bodies (convex non empty and compact subsets) comes with an addition called the Minkowski sum. I will explain how on a [...]

Category theory is a mathematical framework developped since the 1940s to provide a general description of “relations between objects”, which has been fruitfully used since [...]

Let F be a homogenous irreducible form of degree at least 3 with integer coefficients. A Thue-Mahler equation is a Diophantine equation of the form [...]