Séminaires


Titre Date Orateur Affiliation Type de séminaire Salle
Digital Calculus Frameworks and Comparative Evaluation of their Laplace-Beltrami operators 21 mars 2024 10:00 Colin Weill-Duflos LAMA Logique, Informatique et Mathématiques Discrètes TLR
Balls minimize moments of logarithmic and Newtonian equilibrium measures 24 mai 2024 11:30 Richard Laugesen University of Illinois Urbana-Champaign Équations aux Dérivées Partielles : Études Déterministes et Probabilistes
Corps multitopologiques, approximations et NTP2 (avec S. Montenegro) 19 sept. 2024 14:00 Silvain RIDEAU-KIKUCHI ENS Paris Géométrie TLR
Solutions de l'équation $a_n+(a_{n−1}+⋯(a_2+(a_1+x^{r_1})^{r_2}⋯)^{r_n}=b x$ 20 fév. 2025 14:00 Daniel PANAZZOLO Université de Haute Alsace (Mulhouse) Géométrie TLR
Introduction au mu-calcul 20 fév. 2025 09:30 Karim Nour Equipe LIMD Logique, Informatique et Mathématiques Discrètes TLR
TBA 27 mai 2025 11:30 Chritian Stinner Technische Universität Darmstadt Équations aux Dérivées Partielles : Études Déterministes et Probabilistes
(Abstract) GSOS for trace equivalence 27 mars 2025 14:00 Robin Jourde Equipe LIMD Logique, Informatique et Mathématiques Discrètes 8B 228/30
The Q-algebraicity problem in real algebraic geometry 16 mai 2024 14:00 Enrico SAVI Université de Cote d'Azur Géométrie TLR
Construction of weak solutions to a pressureless viscous model driven by nonlocal attraction-repulsion 3 mai 2024 11:30 Maja Szlenk University of Warsaw, Faculty of Mathematics, Informatics and Mechanics Équations aux Dérivées Partielles : Études Déterministes et Probabilistes
Saint-Venant equations in 2D with partially underwater obstacles 31 mai 2024 11:30 David Lannes Institut de Mathématiques de Bordeaux Équations aux Dérivées Partielles : Études Déterministes et Probabilistes TLR
Schéma ALE aléatoire pour les écoulements bifluides compressibles. Application à la simulation du déferlement. 17 jan. 2025 11:30 Philippe Helluy IRMA, Strasbourg Équations aux Dérivées Partielles : Études Déterministes et Probabilistes
TBA 18 avr. 2025 11:30 Matthieu Ménard Université Libre de Bruxelles Équations aux Dérivées Partielles : Études Déterministes et Probabilistes
Adventures with formally verified Coq code and unverified OCaml code 12 mars 2025 10:00 David Monniaux CNRS - Laboratoire Verimag Logique, Informatique et Mathématiques Discrètes TLR
Accelerating spectral simulations with ML 7 juin 2024 11:30 Hugo Frezat IPGP, Univ. Paris Cité Équations aux Dérivées Partielles : Études Déterministes et Probabilistes TLR
Groupes hyperboliques et problème de Tarski 3 oct. 2024 14:00 Simon ANDRE IMJ-PRG - Sorbonne Université Géométrie TLR