| Mon | Jan 19 | 22:30 | Séminaire GAATI | Christophe Raffalli | Distance to the Real Discriminant | |
| Tue | Jan 20 | 00:00 | Fraser Valley Math & Stats Seminar | Tariq Nuruddin | Akaike's Information Criteria for comparison of statistical models | |
| Tue | Jan 20 | 06:00 | OIST representation theory seminar | Pavel Turek | Balanced columns of decomposition matrices | |
| Tue | Jan 20 | 12:30 | Lean Together 2026 | Moritz Doll | Formalizing Schwartz functions and tempered distributions | |
| Tue | Jan 20 | 13:00 | Lean Together 2026 | Fabrizio Montesi | CSLib: The Lean Computer Science Library | |
| Tue | Jan 20 | 13:30 | Lean Together 2026 | María Inés de Frutos Fernández | Formalizing the universal divided power algebra | |
| Tue | Jan 20 | 14:00 | One World Combinatorics on Words Seminar | Savinien Kreczman | Factor complexity and critical exponent of words in a Thue-Morse family | |
| Tue | Jan 20 | 14:00 | One world IAMP mathematical physics seminar | Holger Gies | Quantum field theories of relativistic Luttinger fermions | |
| Tue | Jan 20 | 14:00 | Lean Together 2026 | Break | Break | |
| Tue | Jan 20 | 14:30 | Lean Together 2026 | Sebastian Ullrich | The Lean module system | |
| Tue | Jan 20 | 15:00 | Lean Together 2026 | Stefan Kebekus | Project VD: Formalizing Value Distribution Theory of Complex Analysis | |
| Tue | Jan 20 | 15:30 | Lean Together 2026 | Break | Break | |
| Tue | Jan 20 | 16:00 | International seminar on automorphic forms | Katy Woo | Sums of Hecke eigenvalues along polynomials and arithmetic applications | |
| Tue | Jan 20 | 16:00 | Lean Together 2026 | Sebastian Graf | Simpler $\texttt{do}$ proofs with $\texttt{mvcgen}$ | |
| Tue | Jan 20 | 16:00 | Potomac region PDE seminar | Anping Pan | Variational principle and Lagrangian formulations of hydrodynamic equations | |
| Tue | Jan 20 | 16:30 | Lean Together 2026 | David Ledvinka | Formalization of Brownian Motion in Lean | |
| Tue | Jan 20 | 17:00 | Lean Together 2026 | Harry Goldstein | Metaprogramming the Next Generation of Testing Tools | |
| Tue | Jan 20 | 19:30 | NHETC Seminar | Nathan Seiberg | Symmetry, Anomaly, Gauging, Proliferation, and Condensation | |
| Tue | Jan 20 | 21:00 | UCLA analysis and PDE seminar | Luccas Campos | Scattering for the k-DgBO | |
| Tue | Jan 20 | 23:30 | PIMS-CORDS SFU Operations Research Seminar | Nicholas Richardson | Optimization and applications for unsupervised signal demixing | |
| Wed | Jan 21 | 07:30 | Moscow-Beijing topology seminar | Andreani Petrou | HOMFLY-PT and Kauffman polynomials: for which knots are they related? | |
| Wed | Jan 21 | 08:00 | Quantum Theories of Fields, Matter, and Strings | Lorenzo Di Pietro | F-theorem for Quantum Field Theories on Anti-de Sitter Space | |
| Wed | Jan 21 | 09:00 | AUTH HEP-TH Seminars | Gerben Oling | A boundary energy-momentum tensor from gravity near null infinity | |
| Wed | Jan 21 | 09:30 | NCTS international Geometric Measure Theory seminar | Paul Minter | Stationary Integral Varifolds near Multiplicity 2 Planes | |
| Wed | Jan 21 | 10:00 | European Quantum Algebra Lectures (EQuAL) | Adrià Marin Salvador | Continuous Tensor Categories and Direct Integrals | |
| Wed | Jan 21 | 11:00 | ICCUB Seminars | Naomi Oei | Dissociation and Regeneration of Charmonia within microscopic Langevin simulations | |
| Wed | Jan 21 | 12:15 | Gothenburg statistics seminar | Simon Olsson | Transferable Implicit Transfer Operators | |
| Wed | Jan 21 | 16:00 | Lean Together 2026 | Markus Himmel, Sofia Rodrigues | What's new in the Lean standard library | |
| Wed | Jan 21 | 16:30 | Lean Together 2026 | Break | Break | |
| Wed | Jan 21 | 17:00 | Lean Together 2026 | Jovan Gerbscheid | New tools for theorem proving in Lean | |
| Wed | Jan 21 | 17:00 | Metagovernance Seminar | Cecilia Rikap | "Intellectual Monopolies" in the AI Age (Understanding Control Beyond Ownership) | |
| Wed | Jan 21 | 17:00 | Topological Quantum Field Theory Club (IST, Lisbon) | Maxine Calle | Nested cobordisms and TQFTs | |
| Wed | Jan 21 | 17:30 | Lean Together 2026 | Sophie Morel | TBA | |
| Wed | Jan 21 | 18:00 | Lean Together 2026 | Break | Break | |
| Wed | Jan 21 | 18:30 | Lean Together 2026 | Thomas R. Murrills | Better living through metaprogramming: Solving the Goldblum Dilemma with cotools | |
| Wed | Jan 21 | 19:00 | Lean Together 2026 | Sidharth Hariharan, Seewoo Lee, Chris Birkbeck | Progress on the Sphere Packing Project | |
| Wed | Jan 21 | 19:30 | Lean Together 2026 | Break | Break | |
| Wed | Jan 21 | 20:00 | Lean Together 2026 | Alex Kontorovich | Teaching Real Analysis as a Video Game | |
| Wed | Jan 21 | 20:30 | Lean Together 2026 | Chris Henson | Proof Automation and Metaprogramming in CSLib: Locally Nameless Lambda Calculi | |
| Thu | Jan 22 | 11:00 | Mathematical models and integration methods | E. N. Pelinovsky | Soliton turbulence and rogue waves in systems described by Korteweg–de Vries type equations | |
| Thu | Jan 22 | 14:15 | Real and complex Geometry | Andres Franco Valiente | Introduction to tropical-topological (tropological) sigma models | |
| Thu | Jan 22 | 15:00 | Lean Together 2026 | Wojciech Różowski | Coinductive predicates in Lean | |
| Thu | Jan 22 | 15:30 | Lean Together 2026 | Oliver Dressler | lean-lsp-mcp: Tools for agentic interaction with Lean | |
| Thu | Jan 22 | 16:00 | Lean Together 2026 | Break | Break | |
| Thu | Jan 22 | 16:00 | Number Theory Web Seminar | Lillian Pierce | Counting points in thin sets: a big picture | |
| Thu | Jan 22 | 16:30 | Lean Together 2026 | Hannah Scholz | Formalisation of CW complexes | |
| Thu | Jan 22 | 17:00 | Lean Together 2026 | Salvatore Mercuri | A bottom-up approach to formalisation in the FLT project | |
| Thu | Jan 22 | 17:30 | Lean Together 2026 | Etienne Marion | Formalization of the Ionescu-Tulcea theorem in Mathlib | |
| Thu | Jan 22 | 18:00 | Lean Together 2026 | Julius Marx | MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL in Lean | |
| Thu | Jan 22 | 19:00 | Online logic seminar | Adrian Mathias | Iteration Problems in Symbolic Dynamics I | |
| Thu | Jan 22 | 22:00 | UCLA Combinatorics Seminar | Fan Zhou | Categorifying Jacobi-Trudi | |
| Fri | Jan 23 | 08:00 | SEU Yau Center Theoretical Physics Seminars | Pratik Rath | TBA | |
| Fri | Jan 23 | 13:00 | Analysis Junior Seminars | Guglielmo Padula | TBA | |
| Fri | Jan 23 | 13:00 | Lean Together 2026 | Kim Morrison | grind | |
| Fri | Jan 23 | 13:30 | Lean Together 2026 | Alex Best | Aristotle, an AI theorem prover using Lean | |
| Fri | Jan 23 | 14:00 | Lean Together 2026 | Son Ho | Formal Verification of Rust Cryptographic Code in Lean with Aeneas | |
| Fri | Jan 23 | 14:15 | Symplectic zoominar | Levin Maier (Heidelberg); Elad Kosloff (HUJI); Joel Schmitz (Neuchâtel) | Three 20min research talks | |
| Fri | Jan 23 | 14:30 | Lean Together 2026 | Break | Break | |
| Fri | Jan 23 | 15:00 | Lean Together 2026 | Christoph Thiele | TBA | |
| Fri | Jan 23 | 15:30 | Lean Together 2026 | Michal Mrugala | Formalizing Class Field Theory | |
| Fri | Jan 23 | 16:00 | Lean Together 2026 | Break | Break | |
| Fri | Jan 23 | 16:30 | Lean Together 2026 | Joël Riou | Formalization of homotopy theory in Lean | |
| Fri | Jan 23 | 17:00 | Lean Together 2026 | Atticus Kuhn | Verification of model-checking techniques in Lean | |
| Sat | Jan 24 | 14:05 | Knots, graphs and groups | Oleg German | TBA | |
| Mon | Jan 26 | 12:15 | CAM seminar | Mihály Kovács | Neumann-Neumann type domain decomposition of elliptic problems on metric graphs | |
| Mon | Jan 26 | 13:00 | Paris algebra seminar | Fan Qin | Quantum cluster algebras over commutative rings and quantized coordinate rings of simple algebraic groups | |
| Mon | Jan 26 | 14:40 | Nečas Seminar on Continuum Mechanics | semester break | TBA | |
| Mon | Jan 26 | 15:00 | European Non-Associative Algebra Seminar | Bernardo Leite da Cunha | Representations of two-dimensional compatible Lie algebras | |
| Mon | Jan 26 | 15:00 | Geometric and functional inequalities and applications | Fausto Ferrari | Recent regularity results in free boundary problems | |
| Mon | Jan 26 | 15:00 | SISSA algebraic geometry seminar | Giordano Crimi | Derived categories of cubic 4-folds. I | |
| Mon | Jan 26 | 15:00 | SISSA Mathematical Physics seminar | Sara Perletti | TBA | |
| Mon | Jan 26 | 21:00 | Boston University Number Theory Seminar | TBA | TBA | |
| Mon | Jan 26 | 22:30 | Séminaire GAATI | Kéva Djambaé | TBA | |
| Tue | Jan 27 | 08:00 | Tricontinental Quantum Fundamentals Seminar | Germain Tobar | Quantum metasurfaces as probes of vacuum particle content | |
| Tue | Jan 27 | 13:00 | One World Numeration seminar | Henri Cohen | Continued Fractions and Irrationality Measures for Chowla-Selberg Gamma Quotients | |
| Tue | Jan 27 | 13:00 | Sheffield Number Theory Seminar | Stefan Dawydiak | TBA | |
| Tue | Jan 27 | 14:00 | MIF++ (Mathematics of Chemistry and Biology) | Egon Schulte | Local Theory in Delone Sets and Tilings | |
| Tue | Jan 27 | 14:00 | Vienna Geometry and Analysis on Groups Seminar | Mathieu Sablik | Self-simulable groups | |
| Tue | Jan 27 | 15:00 | International seminar on automorphic forms | Pan Yan | On the global Gan-Gross-Prasad conjecture for GSpin groups | |
| Tue | Jan 27 | 16:00 | Seminar on Biological Control Systems | Jordi Pla Mauri | TBA | |
| Tue | Jan 27 | 16:00 | Potomac region PDE seminar | Sathyanarayanan Chandramouli | TBA | |
| Tue | Jan 27 | 19:30 | NHETC Seminar | Carolina Figueiredo | Large $n$: scattering amplitudes at large multiplicity | |
| Tue | Jan 27 | 20:00 | Harvard MIT Algebraic Geometry Seminar | Sung Gi Park | From GIT to Baily-Borel: Moduli of hypersurfaces via minimal exponents | |
| Tue | Jan 27 | 21:00 | Five College Number Theory Seminar | Alice Lin | TBA | |
| Tue | Jan 27 | 23:30 | PIMS-CORDS SFU Operations Research Seminar | Pencheng Xie (remote) | Model-Based Derivative-Free Optimization with Improved Approximation | |
| Wed | Jan 28 | 07:30 | Moscow-Beijing topology seminar | Andronick Arutyunov | TBA | |
| Wed | Jan 28 | 12:30 | Seed Seminar of Mathematics and Physics | Julio Para-Martinez | TBA | |
| Wed | Jan 28 | 13:00 | Longitudinal Algebra and Geometry Open ONline Seminar (LAGOON) | TBA | TBA | |
| Wed | Jan 28 | 13:00 | SISSA's Analysis seminars | Marco Inversi | Some dissipative properties of Euler solutions | |
| Wed | Jan 28 | 14:00 | AUTH HEP-TH Seminars | Sahand Seifnashri | TBA | |
| Wed | Jan 28 | 14:00 | Seed Seminar of Mathematics and Physics | Eric Pichon-Pharabod | Numerical computations of periods and monodromy representations | |
| Wed | Jan 28 | 15:00 | AnLy Strings and Fields online seminars | Ivano Basile | Horror vacui: instabilities in scale-separated Casimir compactifications | |
| Wed | Jan 28 | 15:30 | Seed Seminar of Mathematics and Physics | Roberta Angius | Thimble decomposition and Wall Crossing Structure for Physical Integrals | |
| Wed | Jan 28 | 16:00 | Virtual seminar on geometry with symmetries | David Lenze | Rigidity of the Ebin metric | |
| Wed | Jan 28 | 16:00 | Theorems of the 21st Century Seminar | Boaz Klartag | Sphere packing | |
| Wed | Jan 28 | 17:00 | Metagovernance Seminar | Jenny Liu Zhang, Amanda Nicole Curtis, and Joanna Rivera-Carlisle | The Small Hassles Court Minigame (Final Presentation from Metagov's Governable Space-Makers Fellowship) | |
| Wed | Jan 28 | 17:00 | Topological Quantum Field Theory Club (IST, Lisbon) | Vincentas Mulevicius | TBA | |
| Wed | Jan 28 | 20:00 | Noncommutative geometry in NYC | David Handelman | Random walks on groups from a dimension group perspective | |
| Wed | Jan 28 | 23:00 | University of Utah Representation Theory / Number Theory Seminar | Ekta Tiwari | TBA | |
| Thu | Jan 29 | 12:15 | Gothenburg statistics seminar | Jun Yang | Stereographic Barker’s MCMC Proposal: Efficiency and Robustness at Your Disposal | |
