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 |