Wed | Jan 08 | 07:30 | Moscow-Beijing topology seminar | Mikhail Bludov | Balanced sets and homotopy invariants of covers | |
Wed | Jan 08 | 11:30 | RA Seminar | Claire Amiot | Tilting objects for gentle and skew-gentle algebras using the geometric model. | |
Wed | Jan 08 | 15:00 | Port-Hamiltonian Seminar | Claudia Totzeck | On the port-Hamiltonian structure of interacting particle systems | |
Wed | Jan 08 | 16:20 | Geometry of differential equations seminar | Vladimir Rubtsov | Towards a theory of homotopy structures for differential equations: First definitions and examples. Part 2 | |
Wed | Jan 08 | 17:00 | Metagovernance Seminar | Ted Rau | Is consent watered-down consensus? 3 key differences that are easy to miss. | |
Thu | Jan 09 | 08:30 | Gothenburg statistics seminar | Julia Jansson | Licentiate seminar: Statistical Properties of Point Process Learning for Gibbs Processes | |
Thu | Jan 09 | 13:00 | Greek Algebra & Number Theory Seminar | Faidon Andriopoulos | On the motivic filtration of TR | |
Thu | Jan 09 | 13:00 | Seminar on Quantum Optics and Related Topics | B. A. Malomed | Trapping wave fields in an expulsive potential by means of linear coupling | |
Thu | Jan 09 | 14:15 | Real and complex Geometry | Gurvan Mével | Floor diagrams and refined invariants in positive genus | |
Thu | Jan 09 | 15:00 | Seminar on Analysis, Differential Equations and Mathematical Physics | Roland Duduchava | Convolution integro-differential equations on Lie groups, Generic Bessel Potential Spaces and fundamental solutions | |
Thu | Jan 09 | 21:30 | SFU NT-AG seminar | Romina M. Arroyo | Complex structures on nilpotent almost abelian Lie algebras | |
Fri | Jan 10 | 10:00 | Gothenburg statistics seminar | Rasmus Waagepetersen | Point process approaches to study clustering of industry locations | |
Fri | Jan 10 | 16:00 | CRM - Séminaire du CIRGET / Géométrie et Topologie | Chung-Ming Pan | Singular Gauduchon metrics and Hermite-Einstein problem on non-Kähler varieties | |
Fri | Jan 10 | 18:00 | Equivariant Elliptic Cohomology Seminar | Giovanni Rossanigo | Orientations and Oriented Elliptic Curves | |
Sat | Jan 11 | 14:05 | Knots, graphs and groups | Vassily O. Manturov | Towards invariants of knots and links via $G_{n}^{k}$ | |
Mon | Jan 13 | 01:00 | Homotopical algebra learning seminar | Praphulla Koushik | 1.4 Equivalence of homotopy theories | |
Mon | Jan 13 | 13:00 | Paris algebra seminar | Severin Barmeier | Deformations of gentle algebras and gluing of Fukaya categories of surfaces | |
Mon | Jan 13 | 14:40 | Nečas Seminar on Continuum Mechanics | Winter Break | TBA | |
Mon | Jan 13 | 15:00 | European Non-Associative Algebra Seminar | Dmitry Millionshchikov | Narrow Lie (super)algebras | |
Mon | Jan 13 | 15:00 | Quantum Groups Seminar [QGS] | Heon Lee | TBA | |
Mon | Jan 13 | 15:30 | Knots and representation theory | Protasov Vladimir | TBA | |
Mon | Jan 13 | 21:00 | MIT number theory seminar | Emre Can Sertöz | Computing transcendence and linear relations of 1-periods | |
Tue | Jan 14 | 14:00 | One World Combinatorics on Words Seminar | Christophe Reutenauer | Christoffel matrices and Sturmian determinants | |
Tue | Jan 14 | 14:00 | One world IAMP mathematical physics seminar | Wendelin Werner | Percolation of loops and the Gaussian Free Field | |
Tue | Jan 14 | 14:00 | Lean Together 2025 | Jireh Loreaux | Welcome | |
Tue | Jan 14 | 14:15 | Lean Together 2025 | Jason Rute | The last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks? | |
Tue | Jan 14 | 14:45 | Lean Together 2025 | Damiano Testa | TBA | |
Tue | Jan 14 | 15:00 | International seminar on automorphic forms | Yiannis Petridis | TBA | |
Tue | Jan 14 | 15:00 | Systems Chemistry Discussion Series | Sergey Semenov | From life-inspired materials to the origin of life: dissipative structures by molecular design. | |
Tue | Jan 14 | 15:15 | Lean Together 2025 | Xavier Généreux and Jannis Limperg | Efficient Forward Reasoning for Aesop | |
Tue | Jan 14 | 15:45 | Lean Together 2025 | Coffee Break | TBA | |
Tue | Jan 14 | 16:00 | Geometria em Lisboa (IST) | Samuel Muñoz-Echániz | Mapping class groups of h-cobordant manifolds | |
Tue | Jan 14 | 16:00 | Lean Together 2025 | Emily Riehl | The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory in Lean | |
Tue | Jan 14 | 16:30 | Lean Together 2025 | Daniel Weber, Vlad Tsyrklevich | Equational Theories Project | |
Tue | Jan 14 | 17:15 | Lean Together 2025 | Coffee Break | TBA | |
Tue | Jan 14 | 17:15 | Northwestern Applied Mathematics Seminar | Luis Amaral | Science Is an All-You-Can-Eat Buffet and I Am Not Dieting | |
Tue | Jan 14 | 17:30 | Lean Together 2025 | Lean FRO | The Lean FRO Year 2 Roadmap and Vision | |
Tue | Jan 14 | 18:30 | Lean Together 2025 | David Renshaw | Searching for Proof Improvements with tryAtEachStep | |
Tue | Jan 14 | 21:00 | UCLA analysis and PDE seminar | Shaoming Guo | TBA | |
Tue | Jan 14 | 21:00 | CRG Weekly Seminars | Alexandre de Faveri | TBA | |
Wed | Jan 15 | 07:30 | Moscow-Beijing topology seminar | Arina Filimonova | TBA | |
Wed | Jan 15 | 11:00 | ICCUB Seminars | Pere Mujal | Harnessing quantum back-action for time-series processing | |
Wed | Jan 15 | 11:00 | NCTS international Geometric Measure Theory seminar | Nicholas Edelen | Regularity of capillary minimal surfaces | |
Wed | Jan 15 | 12:15 | Gothenburg statistics seminar | Alexey Lindo | TBA | |
Wed | Jan 15 | 12:30 | Lean Together 2025 | Scott Carnahan | Vertex algebras in Mathlib: coming soon? | |
Wed | Jan 15 | 13:00 | Lean Together 2025 | Siddhartha Gadgil | Real world Autoformalization | |
Wed | Jan 15 | 13:30 | Lean Together 2025 | Jakob von Raumer | Building a Formal Verification Framework for Smart Contracts | |
Wed | Jan 15 | 14:00 | Lean Together 2025 | Coffee Break | TBA | |
Wed | Jan 15 | 14:30 | Lean Together 2025 | Joseph Rotella | Programming with Dependently Typed Tables in Lean | |
Wed | Jan 15 | 15:00 | Lean Together 2025 | Oliver Nash | Root systems and root data in Mathlib | |
Wed | Jan 15 | 15:30 | Lean Together 2025 | Coffee Break | TBA | |
Wed | Jan 15 | 16:00 | Seminar on Algorithmic Aspects of Information Theory | Bryon ARAGAM | Learning compositional structure from data | |
Wed | Jan 15 | 16:00 | London number theory seminar | Alexandros Konstantinou | TBA | |
Wed | Jan 15 | 16:00 | Lean Together 2025 | Henrik Böving | Automated Bit-Level Reasoning in Lean 4 | |
Wed | Jan 15 | 16:30 | Lean Together 2025 | Lorenzo Luccioli | Information theory in Lean: the DPI | |
Wed | Jan 15 | 17:00 | Lean Together 2025 | Violeta Hernández Palacios | A Nimble Introduction to Nimbers | |
Wed | Jan 15 | 17:00 | Metagovernance Seminar | Wingham Rowan | Modern Markets for All: digital public infrastructure to unlock each person’s economic potential | |
Thu | Jan 16 | 00:00 | UCSD number theory seminar | Arijit Chakraborty | A Power-Saving Error Term in Counting C2 ≀ H Number Fields | |
Thu | Jan 16 | 12:00 | (ED-3S) Essex Data Science Seminar Series | Yi Xia | TBA | |
Thu | Jan 16 | 14:15 | Real and complex Geometry | Qaasim Shafi | Tropical refined curve counting and mirror symmetry | |
Thu | Jan 16 | 15:00 | Florida Atlantic University Crypto Café | Edoardo Persichetti | TBA | |
Thu | Jan 16 | 16:00 | Lean Together 2025 | Michael Rothgang | Scaling mathlib: tooling and automation for an ever-growing mathematics library | |
Thu | Jan 16 | 16:00 | Number Theory Web Seminar | Julia Stadlmann | Primes in arithmetic progressions to smooth moduli | |
Thu | Jan 16 | 16:30 | Lean Together 2025 | Coffee Break | TBA | |
Thu | Jan 16 | 17:00 | Lean Together 2025 | Floris van Doorn | TBA | |
Thu | Jan 16 | 17:30 | Lean Together 2025 | Marcus Rossel | Egg: An Equality Saturation Tactic in Lean | |
Thu | Jan 16 | 18:00 | Lean Together 2025 | Social hour | TBA | |
Thu | Jan 16 | 18:30 | Lean Together 2025 | Jean-Baptiste Tristan | Verified Foundations for Differential Privacy | |
Thu | Jan 16 | 19:00 | Lean Together 2025 | Abdalrhman Mohamed | lean-SMT | |
Thu | Jan 16 | 19:30 | Lean Together 2025 | Coffee Break | TBA | |
Thu | Jan 16 | 20:00 | Lean Together 2025 | Jack McKoen | Toward functor quasi-categories in Lean | |
Thu | Jan 16 | 20:30 | Lean Together 2025 | Leni Aniva | Pantograph and Proof Traces | |
Thu | Jan 16 | 20:30 | Prairie mathematics colloquium | Shonda Dueck | Cyclic partitions of complete and almost complete uniform hypergraphs | |
Thu | Jan 16 | 21:30 | SFU NT-AG seminar | Tian Wang | Effective open image theorem for products of principally polarized abelian varieties | |
Fri | Jan 17 | 08:00 | SEU Yau Center Theoretical Physics Seminars | Marco Serone | TBA | |
Fri | Jan 17 | 13:30 | Tropical Geometry in Frankfurt/Zoom TGiF/Z | Giusi Capobianco | The tropical 1-fold Abel-Prym map | |
Fri | Jan 17 | 14:00 | Tropical Geometry in Frankfurt/Zoom TGiF/Z | Shelby Cox | Tree spaces in tropical geometry | |
Fri | Jan 17 | 14:15 | Symplectic zoominar | Zhengyi Zhou (AMSS, CAS) | Kähler compactification of \(\mathbb{C}^n\) and Reeb dynamics | |
Fri | Jan 17 | 15:00 | Cross Alps Logic Seminar | Jouko Väänänen | Categoricity arguments and their philosophical uses | |
Fri | Jan 17 | 15:00 | Lean Together 2025 | Alex Kontorovich | Educational and research experiments with formalization | |
Fri | Jan 17 | 15:30 | Lean Together 2025 | Christian Merten | Formalizing the Bruhat-Tits tree | |
Fri | Jan 17 | 16:00 | GEOTOP-A seminar | Ciprian Manolescu | Generalizations of Rasmussen's invariant | |
Fri | Jan 17 | 16:00 | Lean Together 2025 | Coffee Break | TBA | |
Fri | Jan 17 | 16:30 | Lean Together 2025 | Hannah Fechtner | Braid Groups in Lean | |
Fri | Jan 17 | 17:00 | Lean Together 2025 | Joseph Tooby-Smith | Formalizing physics into Lean | |
Fri | Jan 17 | 17:30 | Lean Together 2025 | David Kurniadi Angdinata | Formalising division polynomials of elliptic curves | |
Fri | Jan 17 | 18:00 | Equivariant Elliptic Cohomology Seminar | Marco Giustetto | Orbispaces | |
Fri | Jan 17 | 18:00 | Lean Together 2025 | Yuma Mizuno | Metaprogramming on monoidal categories | |
Mon | Jan 20 | 01:00 | Homotopical algebra learning seminar | Praphulla Koushik | 1.5 Closed model categories | |
Mon | Jan 20 | 13:00 | Paris algebra seminar | Christof Geiss | Representations of shifted quantum affine algebras and cluster algebras | |
Mon | Jan 20 | 14:40 | Nečas Seminar on Continuum Mechanics | Winter Break | TBA | |
Mon | Jan 20 | 15:00 | European Non-Associative Algebra Seminar | Manuel Mancini | On the representability of actions of non-associative algebras | |
Tue | Jan 21 | 13:00 | Geometric Structures Research Seminar | Mikhail Korobkov | From the theorems of Morse, Sard, Dubovitskii and Federer to the Luzin N-property: the story so far. | |
Tue | Jan 21 | 13:00 | One World Numeration seminar | Thomas Garrity | Multi-dimensional continued fractions and integer partitions: Using the Natural Extension to create a tree structure on partitions | |
Tue | Jan 21 | 14:00 | Feza Gursey Center Higher Structures Seminars | Simona Paoli | TBA | |
Tue | Jan 21 | 14:00 | Non-local operators, probability and singularities | Haojie Hou, Xicheng Zhang | TBA | |
Tue | Jan 21 | 15:00 | International seminar on automorphic forms | Romain Branchereau | TBA | |
Tue | Jan 21 | 16:00 | Tricontinental Quantum Fundamentals Seminar | José Polo-Gómez | No Black Holes from Light | |
Tue | Jan 21 | 21:00 | UCLA analysis and PDE seminar | Javier Gomez-Serrano | Machine Learning in PDE: Discovering new, unstable solutions | |
Tue | Jan 21 | 21:00 | CRG Weekly Seminars | Emanuel Carneiro | TBA | |