| Tue | Jan 20 | 00:00 | Fraser Valley Math & Stats Seminar | Tariq Nuruddin | Akaike's Information Criteria for comparison of statistical models | | | |
| Mon | Jan 19 | 22:30 | Séminaire GAATI | Christophe Raffalli | Distance to the Real Discriminant | | | |
| Mon | Jan 19 | 18:30 | Lean Together 2026 | Siddharth Bhat | Sound & Complete Tactics for the Linear-Bitwise Fragment of Multi-Width Parametric Bitvector Theory | | | paper |
| Mon | Jan 19 | 17:30 | Lean Together 2026 | Leo de Moura | The State of Lean | | | |
| Mon | Jan 19 | 17:00 | Lean Together 2026 | Break | Break | | | |
| Mon | Jan 19 | 16:30 | Lean Together 2026 | Yaël Dillies | Hopf algebras, affine group schemes and all of that | | | |
| Mon | Jan 19 | 16:00 | Lean Together 2026 | Leopoldo Sarra | Towards autoformalization for physics and engineering with Lean | | | |
| Mon | Jan 19 | 15:45 | Lean Together 2026 | Break | Break | | | |
| Mon | Jan 19 | 15:30 | Knots and representation theory | Seongjeong Kim | On braids for Knots in $S_{g} \times S^{1}$ | | | |
| Mon | Jan 19 | 15:15 | Lean Together 2026 | Jonas van der Schaaf | Internal Projectivity of the Sequence Space in Lean | | | |
| Mon | Jan 19 | 15:00 | European Non-Associative Algebra Seminar | Dimitar Grantcharov | U(h)-Free sl(2)-Modules of rank 2 | | | |
| Mon | Jan 19 | 15:00 | Geometric and functional inequalities and applications | Detang Zhou | Eigenvalue estimate on self shrinkers | | | |
| Mon | Jan 19 | 15:00 | Quantum Groups Seminar [QGS] | Jennifer Brown | Parabolic Reduction and Quantum Character Varieties | | | |
| Mon | Jan 19 | 14:45 | Lean Together 2026 | Vasilii Nesterov | Verified computation of real asymptotics | | | |
| Mon | Jan 19 | 14:40 | Nečas Seminar on Continuum Mechanics | semester break | TBA | | | |
| Mon | Jan 19 | 14:15 | Lean Together 2026 | Johan Commelin | The Mathlib Initiative: Scaling, Infrastructure, and Future Directions | | | |
| Mon | Jan 19 | 14:00 | Lean Together 2026 | Lean Together Organizers | Opening Remarks | | | |
| Mon | Jan 19 | 13:00 | Paris algebra seminar | Markus Reineke | Varieties of complexes and canonical bases of quantum groups | | | |
| Mon | Jan 19 | 12:15 | CAM seminar | Start | TBA | | | |
| Mon | Jan 19 | 11:30 | Basic Notions and Applied Topology Seminar | Jacek Gulgowski | Linear Model Selection and Regularization (Part 2) | | | |
| Fri | Jan 16 | 20:30 | FirstPrinciples Talks | Chenhao Tan | Science in the Age of AI | | | |
| Fri | Jan 16 | 16:30 | Relatorium seminar | The Relatorium Group | Looking back at 2025 | | | |
| Fri | Jan 16 | 16:00 | CRM - Séminaire du CIRGET / Géométrie et Topologie | Jérôme Vétois | Nonexistence of extremals for the second conformal eigenvalue in low dimensions | | | |
| Fri | Jan 16 | 16:00 | GEOTOP-A seminar | Ivan Smalyukh | Artificial matter from knots: solitons and vortices in chiral media | | | |
| Fri | Jan 16 | 14:15 | Symplectic zoominar | Oliver Edtmair (ETH) | On the topological invariance of helicity | | | |
| Fri | Jan 16 | 08:00 | Nagoya Math-Phys Seminar | Vincent Caudrelier | Classical Yang-Baxter equation, Lagrangian multiforms and ultralocal integrable hierarchies | | | |
| Thu | Jan 15 | 21:30 | SFU NT-AG seminar | Felix Thimm | Wall-Crossing and the DT/PT3 Descendant Correspondence | | | paper |
| Thu | Jan 15 | 19:00 | Online logic seminar | Gilda Ferreira | From Commuting Conversions to Syntactic Identity | | | |
| Thu | Jan 15 | 16:00 | Number Theory Web Seminar | Daniel Loughran | Arithmetic statistics via algebraic stacks | | | |
| Thu | Jan 15 | 15:00 | Quantum Theories of Fields, Matter, and Strings | Alison Warman | Phases with Generalized Symmetries from the SymTFT | | | |
| Thu | Jan 15 | 15:00 | Seminar on Analysis, Differential Equations and Mathematical Physics | Maxim Shishlenin | Wave tomography: theory, numerical methods and neural networks | | | |
| Thu | Jan 15 | 13:30 | Geometry and topology online | Jerónimo García Mejía | Complete classification of the Dehn functions of Bestvina—Brady groups | | | paper |
| Thu | Jan 15 | 13:00 | Geometric Structures Research Seminar | Andrei Agrachev | Geometry of osculating curves | | | |
| Wed | Jan 14 | 23:00 | University of Utah Representation Theory / Number Theory Seminar | Shenghao Li | Base change fundamental lemma for Bernstein centers of principal series blocks | | | |
| Wed | Jan 14 | 17:00 | Metagovernance Seminar | No seminar | TBA | | | |
| Wed | Jan 14 | 16:00 | FGC-HRI-IPM Number Theory Webinars | Kübra Benli | Sums of proper divisors with missing digits | | | |
| Wed | Jan 14 | 15:00 | AnLy Strings and Fields online seminars | Alek Bedroya | Holographic Constraints on the String Landscape | | | |
| Wed | Jan 14 | 15:00 | Port-Hamiltonian Seminar | Karim Cherifi | System identification of port-Hamiltonian systems | | | |
| Wed | Jan 14 | 13:00 | SISSA's Analysis seminars | Federico Renzi | The superposition principle for local 1-dimensional currents | | | |
| Wed | Jan 14 | 11:30 | RA Seminar | Nicholas Williams | The talk has been postponed to 8 April. | | | |
| Wed | Jan 14 | 11:00 | ICCUB Seminars | Thomas Celora | Modelling bulk-viscotiy in NS mergers: hydrodynamic challenges | | | |
| Wed | Jan 14 | 07:30 | Moscow-Beijing topology seminar | Natalia V. Maslova | On Gruenberg-Kegel graphs and beyond | | | |
| Wed | Jan 14 | 01:00 | IBS Biomedical Mathematics Seminar | Sang-Min Park | Leveraging Large-Scale Perturbome Data for Complex Disease Target Discovery | | | |
| Tue | Jan 13 | 21:00 | Diagram categories in homotopy theory | Valentina Zapata Castro | Model categories in a grid | | | |
| Tue | Jan 13 | 20:00 | FirstPrinciples Talks | Nathan Kutz | Shallow Recurrent Decoders for the Automated Discovery of Physical Models | | | |
| Tue | Jan 13 | 15:00 | International seminar on automorphic forms | Dimitrii Adler | Jacobi forms and modular differential equations | | | |
| Tue | Jan 13 | 14:00 | Non-local operators, probability and singularities | Jean Bertoin | On the elephant random walk and its zeros | | | |
| Tue | Jan 13 | 14:00 | Vienna Geometry and Analysis on Groups Seminar | Anne Lonjou | Cremona group and CAT(0) cube complexes | | | |
| Tue | Jan 13 | 13:15 | Dioscuri Centre in Topological Data Analysis Seminar | Michael Bleher | Topological Signatures of Convergence in Viral Evolution | | | |
| Tue | Jan 13 | 13:00 | One World Numeration seminar | Joaco Prandi | When the weak separation condition implies the generalize finite type in $\mathbb{R}^d$ | slides | | paper |
| Tue | Jan 13 | 13:00 | Bilecik Algebra and Number Theory General Seminar | Andrej Dujella | Diophantine m-tuples and elliptic curves | | | |
| Tue | Jan 13 | 08:00 | BIMSA Integrable Systems Seminar | Ilia Danilin | Algebraic topology of Shuffle algebras and Nichols algebras | | video | |
| Mon | Jan 12 | 16:00 | Seminar on Microbial Biotechnology: Developing the Conceptual Framework of the DBTL Cycle | Postponed | TBA | | | |
| Mon | Jan 12 | 15:30 | Knots and representation theory | Dmitriy Khudoteplov | Vogel classification of Lie algebras | | | |
| Mon | Jan 12 | 15:00 | European Non-Associative Algebra Seminar | Ramón González Rodríguez | Quasigroupoids and weak Hopf quasigroups | | | |
| Mon | Jan 12 | 15:00 | SISSA algebraic geometry seminar | Lorenzo Cortelli | On the derived categories of Fano varieties | | | |
| Mon | Jan 12 | 14:40 | Nečas Seminar on Continuum Mechanics | semester break | TBA | | | |
| Mon | Jan 12 | 11:30 | Basic Notions and Applied Topology Seminar | Mateusz Masłowski | Linear Model Selection and Regularization (Part 1) | | | |
| Mon | Jan 12 | 00:00 | Tropical mathematics and machine learning | Eva Yi Xie | A Multi-Region Brain Model to Elucidate the Role of Hippocampus in Spatially Embedded Decision-Making | | | paper |
| Sat | Jan 10 | 14:05 | Knots, graphs and groups | Yangzhou Liu | Braids presentation and secant-quandle invariant of knots II | | | |
| Fri | Jan 09 | 15:00 | Cross Alps Logic Seminar | Anand Pillay | Categoricity and relative categoricity in first order logic | | | |
| Fri | Jan 09 | 08:00 | SEU Yau Center Theoretical Physics Seminars | Li Li | Higher derivative effects on dark side of black holes: Kasner eons and beyond (offline) | | | |
| Thu | Jan 08 | 16:00 | FirstPrinciples Talks | Gerard Milburn | Quantum machines learning quantum | | | |
| Thu | Jan 08 | 14:15 | Real and complex Geometry | Carl Lian | Counting curves on $\mathbb{P}^r$ | | | |
| Thu | Jan 08 | 11:30 | AUTH HEP-TH Seminars | Themistocles Zikopoulos | Conformal boundaries in gravity | slides | | |
| Thu | Jan 08 | 01:00 | Metagovernance Seminar | Helena Rong | Turning to Trust Experience Design | | video | |
| Wed | Jan 07 | 07:30 | Moscow-Beijing topology seminar | Brett Parker | Tropical perspectives on Skein modules. | | | |
| Tue | Jan 06 | 15:00 | Geometria em Lisboa (IST) | Rui Loja Fernandes | Resolutions of proper actions and toric manifolds | | | |
| Tue | Jan 06 | 14:00 | One World Combinatorics on Words Seminar | Louis Marin | Maximal 2-dimensional binary words of bounded degree | slides | video | |
| Tue | Jan 06 | 14:00 | One world IAMP mathematical physics seminar | Alex Bols | Anyons in Quantum Spin Systems: Superselection Sectors and How to Compute Them | | | |
| Tue | Jan 06 | 08:00 | BIMSA Integrable Systems Seminar | Didina Serban | The fermionic point of the q-deformed Haldane-Shastry model | slides | video | |
| Tue | Jan 06 | 07:30 | CSG Research Seminars | Elena V. Konstantinova | On reconstruction of permutations with Hamming distance | | | |
| Mon | Jan 05 | 15:30 | Knots and representation theory | Igor Nikonov | On biquandles for the groups $G^k_n$ and surface singular braid monoid | | | |
| Mon | Jan 05 | 15:00 | European Non-Associative Algebra Seminar | Mateo Tomašević | Automatic additivity of multiplicative and Jordan multiplicative maps | | | |
| Mon | Jan 05 | 14:40 | Nečas Seminar on Continuum Mechanics | Anna Doležalová | Mission p smaller than n-1: Possible - Nonlinear Elasticity Beyond Conventional Limits | | | |
| Mon | Jan 05 | 06:00 | Tropical mathematics and machine learning | Abbas Shoja-Daliklidash | Postponed | | | paper |
| Sat | Jan 03 | 14:05 | Knots, graphs and groups | Yangzhou Liu | Braids presentation and secant-quandle invariant of knots | | | |
| Wed | Dec 31 | 07:30 | Moscow-Beijing topology seminar | Malik Maricar | Introduction to phenomenological physics theory, deriving the Bohr Volume forms, current applications in academia and industry; regarding medicine and engineering | | | |
| Tue | Dec 30 | 07:00 | IBS Biomedical Mathematics Seminar | Seokjoo Chae | Rationalizing Therapeutics: Mathematical Insights into Drug and Cell Therapy Development | | | |
| Tue | Dec 30 | 06:00 | IBS Biomedical Mathematics Seminar | Daeil Jang | Expanding the Data Analysis Toolkit: Explainable AI, Causal Learning, and Time-Series Foundation Models | | | |
| Mon | Dec 29 | 15:30 | Knots and representation theory | Louis Kauffman | Topological Quantum Computing - Fibonacci Model and Majorana Fermions Knots and representation theory | | | |
| Mon | Dec 29 | 14:40 | Nečas Seminar on Continuum Mechanics | X-mas break | TBA | | | |
| Mon | Dec 29 | 07:00 | IBS Biomedical Mathematics Seminar | Wooseok Ha | Distribution shift in machine learning: robustness, invariance, and a causal view | | | |
| Sat | Dec 27 | 14:05 | Knots, graphs and groups | Maria Rubanenko | Distance multiplication algorithms for Monge, unit-Monge matrices | | | |
| Thu | Dec 25 | 15:00 | Seminar on Analysis, Differential Equations and Mathematical Physics | Ekaterina Turilova | Choquet order and abelian subalgebras | | | |
| Thu | Dec 25 | 14:15 | Real and complex Geometry | Uriel Sinichkin | Refined invariants in tropical, complex, and real enumerative geometries | | | |
| Wed | Dec 24 | 16:20 | Geometry of differential equations seminar | Mikhail Markov | Boundary calculus for gauge fields on asymptotically AdS spaces | slides | video | paper |
| Wed | Dec 24 | 07:30 | Moscow-Beijing topology seminar | Rajat Mishra | Jet Spaces, Differential Characters, and Manin Kernels | | | |
| Tue | Dec 23 | 08:00 | BIMSA Integrable Systems Seminar | Mikhail Alfimov | On RG flow and dual description of N=2 supersymmetric 2d integrable sigma models | slides | video | |
| Tue | Dec 23 | 07:00 | Quantum Theories of Fields, Matter, and Strings | Jun Madea | Twisted Partition Functions as Order Parameters | | | |
| Mon | Dec 22 | 18:00 | Non-Associative Day in Online | Artem Lopatin | Invariants for simple evolution algebras | | | |
| Mon | Dec 22 | 17:00 | Non-Associative Day in Online | Maxime Fairon | Double Poisson algebra cohomology | | | |
| Mon | Dec 22 | 16:00 | Non-Associative Day in Online | Marzia Mazzotta | Associative Pentagon Algebras | | | |
| Mon | Dec 22 | 15:30 | Knots and representation theory | Igor M. Nikonov | On knot invariants induced by skein relations | | | |
| Mon | Dec 22 | 14:40 | Nečas Seminar on Continuum Mechanics | X-mas break | TBA | | | |
| Mon | Dec 22 | 14:00 | Non-Associative Day in Online | Anastasia Doikou | Combinatorial Drinfel'd twists & the Yang-Baxter equation | | | |
| Mon | Dec 22 | 13:00 | Non-Associative Day in Online | Cindy Tsang | Hopf--Galois structures of cyclic type on parallel extensions of prime power degree | | | |
| Mon | Dec 22 | 12:30 | Bilkent Topology Seminar | Bjørnar Gullikstad Hem | Decomposing multipersistence modules using functor calculus | | | |
| Mon | Dec 22 | 12:00 | Non-Associative Day in Online | Lucio Centrone | On algebras with regular gradings | | | |
| Mon | Dec 22 | 10:00 | Non-Associative Day in Online | Pavel Kolesnikov | Dendriform splitting and chiral algebras | | | |