| Digital Calculus Frameworks and Comparative Evaluation of their Laplace-Beltrami operators |
03/21/2024 10 a.m. |
Colin Weill-Duflos |
LAMA |
Logic, Computer Science, and Discrete Mathematics |
TLR |
| Balls minimize moments of logarithmic and Newtonian equilibrium measures |
05/24/2024 11:30 a.m. |
Richard Laugesen |
University of Illinois Urbana-Champaign |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |
| Corps multitopologiques, approximations et NTP2 (avec S. Montenegro) |
09/19/2024 2 p.m. |
Silvain RIDEAU-KIKUCHI |
ENS Paris |
Geometry |
TLR |
| Solutions de l'équation $a_n+(a_{n−1}+⋯(a_2+(a_1+x^{r_1})^{r_2}⋯)^{r_n}=b x$ |
02/20/2025 2 p.m. |
Daniel PANAZZOLO |
Université de Haute Alsace (Mulhouse) |
Geometry |
TLR |
| TBA |
05/30/2025 11:30 a.m. |
Chritian Stinner |
Technische Universität Darmstadt |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |
| Introduction au mu-calcul |
02/20/2025 9:30 a.m. |
Karim Nour |
Equipe LIMD |
Logic, Computer Science, and Discrete Mathematics |
TLR |
| The Q-algebraicity problem in real algebraic geometry |
05/16/2024 2 p.m. |
Enrico SAVI |
Université de Cote d'Azur |
Geometry |
TLR |
| Construction of weak solutions to a pressureless viscous model driven by nonlocal attraction-repulsion |
05/03/2024 11:30 a.m. |
Maja Szlenk |
University of Warsaw, Faculty of Mathematics, Informatics and Mechanics |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |
| Saint-Venant equations in 2D with partially underwater obstacles |
05/31/2024 11:30 a.m. |
David Lannes |
Institut de Mathématiques de Bordeaux |
Partial Differential Equations: Deterministic and Probabilistic Studies |
TLR |
| Schéma ALE aléatoire pour les écoulements bifluides compressibles. Application à la simulation du déferlement. |
01/17/2025 11:30 a.m. |
Philippe Helluy |
IRMA, Strasbourg |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |
| TBA |
04/18/2025 11:30 a.m. |
Matthieu Ménard |
Université Libre de Bruxelles |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |
| Adventures with formally verified Coq code and unverified OCaml code |
03/12/2025 10 a.m. |
David Monniaux |
CNRS - Laboratoire Verimag |
Logic, Computer Science, and Discrete Mathematics |
TLR |
| Accelerating spectral simulations with ML |
06/07/2024 11:30 a.m. |
Hugo Frezat |
IPGP, Univ. Paris Cité |
Partial Differential Equations: Deterministic and Probabilistic Studies |
TLR |
| Groupes hyperboliques et problème de Tarski |
10/03/2024 2 p.m. |
Simon ANDRE |
IMJ-PRG - Sorbonne Université |
Geometry |
TLR |
| TBA |
03/14/2025 11:30 a.m. |
Martin Donati |
l'Institut Fourier, UGA |
Partial Differential Equations: Deterministic and Probabilistic Studies |
— |