Institution Audience
Speaker Edited within hours
Affiliation Livestream available
Date Time
Times in UTC (now UTC +0)
Your timeSeriesSpeakerTitle
WedJan 0807:30Moscow-Beijing topology seminarMikhail BludovBalanced sets and homotopy invariants of covers
WedJan 0811:30RA SeminarClaire AmiotTilting objects for gentle and skew-gentle algebras using the geometric model.
WedJan 0815:00Port-Hamiltonian SeminarClaudia TotzeckOn the port-Hamiltonian structure of interacting particle systems
WedJan 0816:20Geometry of differential equations seminarVladimir RubtsovTowards a theory of homotopy structures for differential equations: First definitions and examples. Part 2
WedJan 0817:00Metagovernance SeminarTed RauIs consent watered-down consensus? 3 key differences that are easy to miss.
ThuJan 0908:30Gothenburg statistics seminarJulia JanssonLicentiate seminar: Statistical Properties of Point Process Learning for Gibbs Processes
ThuJan 0913:00Greek Algebra & Number Theory SeminarFaidon AndriopoulosOn the motivic filtration of TR
ThuJan 0913:00Seminar on Quantum Optics and Related TopicsB. A. MalomedTrapping wave fields in an expulsive potential by means of linear coupling
ThuJan 0914:15Real and complex GeometryGurvan MévelFloor diagrams and refined invariants in positive genus
ThuJan 0915:00Seminar on Analysis, Differential Equations and Mathematical PhysicsRoland DuduchavaConvolution integro-differential equations on Lie groups, Generic Bessel Potential Spaces and fundamental solutions
ThuJan 0921:30SFU NT-AG seminarRomina M. ArroyoComplex structures on nilpotent almost abelian Lie algebras
FriJan 1010:00Gothenburg statistics seminarRasmus WaagepetersenPoint process approaches to study clustering of industry locations
FriJan 1016:00CRM - Séminaire du CIRGET / Géométrie et TopologieChung-Ming PanSingular Gauduchon metrics and Hermite-Einstein problem on non-Kähler varieties
FriJan 1018:00Equivariant Elliptic Cohomology SeminarGiovanni RossanigoOrientations and Oriented Elliptic Curves
SatJan 1114:05Knots, graphs and groupsVassily O. ManturovTowards invariants of knots and links via $G_{n}^{k}$
MonJan 1301:00Homotopical algebra learning seminarPraphulla Koushik1.4 Equivalence of homotopy theories
MonJan 1313:00Paris algebra seminarSeverin BarmeierDeformations of gentle algebras and gluing of Fukaya categories of surfaces
MonJan 1314:40Nečas Seminar on Continuum MechanicsWinter BreakTBA
MonJan 1315:00European Non-Associative Algebra SeminarDmitry MillionshchikovNarrow Lie (super)algebras
MonJan 1315:00Quantum Groups Seminar [QGS]Heon LeeTBA
MonJan 1315:30Knots and representation theoryProtasov VladimirTBA
MonJan 1321:00MIT number theory seminarEmre Can SertözComputing transcendence and linear relations of 1-periods
TueJan 1414:00One World Combinatorics on Words SeminarChristophe ReutenauerChristoffel matrices and Sturmian determinants
TueJan 1414:00One world IAMP mathematical physics seminarWendelin WernerPercolation of loops and the Gaussian Free Field
TueJan 1414:00Lean Together 2025Jireh LoreauxWelcome
TueJan 1414:15Lean Together 2025Jason RuteThe last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks?
TueJan 1414:45Lean Together 2025Damiano TestaTBA
TueJan 1415:00International seminar on automorphic formsYiannis PetridisTBA
TueJan 1415:00Systems Chemistry Discussion SeriesSergey SemenovFrom life-inspired materials to the origin of life: dissipative structures by molecular design.
TueJan 1415:15Lean Together 2025Xavier Généreux and Jannis LimpergEfficient Forward Reasoning for Aesop
TueJan 1415:45Lean Together 2025Coffee BreakTBA
TueJan 1416:00Geometria em Lisboa (IST)Samuel Muñoz-EchánizMapping class groups of h-cobordant manifolds
TueJan 1416:00Lean Together 2025Emily RiehlThe ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory in Lean
TueJan 1416:30Lean Together 2025Daniel Weber, Vlad TsyrklevichEquational Theories Project
TueJan 1417:15Lean Together 2025Coffee BreakTBA
TueJan 1417:15Northwestern Applied Mathematics SeminarLuis AmaralScience Is an All-You-Can-Eat Buffet and I Am Not Dieting
TueJan 1417:30Lean Together 2025Lean FROThe Lean FRO Year 2 Roadmap and Vision
TueJan 1418:30Lean Together 2025David RenshawSearching for Proof Improvements with tryAtEachStep
TueJan 1421:00UCLA analysis and PDE seminarShaoming GuoTBA
TueJan 1421:00CRG Weekly SeminarsAlexandre de FaveriTBA
WedJan 1507:30Moscow-Beijing topology seminarArina FilimonovaTBA
WedJan 1511:00ICCUB SeminarsPere MujalHarnessing quantum back-action for time-series processing
WedJan 1511:00NCTS international Geometric Measure Theory seminarNicholas EdelenRegularity of capillary minimal surfaces
WedJan 1512:15Gothenburg statistics seminarAlexey LindoTBA
WedJan 1512:30Lean Together 2025Scott CarnahanVertex algebras in Mathlib: coming soon?
WedJan 1513:00Lean Together 2025Siddhartha GadgilReal world Autoformalization
WedJan 1513:30Lean Together 2025Jakob von RaumerBuilding a Formal Verification Framework for Smart Contracts
WedJan 1514:00Lean Together 2025Coffee BreakTBA
WedJan 1514:30Lean Together 2025Joseph RotellaProgramming with Dependently Typed Tables in Lean
WedJan 1515:00Lean Together 2025Oliver NashRoot systems and root data in Mathlib
WedJan 1515:30Lean Together 2025Coffee BreakTBA
WedJan 1516:00Seminar on Algorithmic Aspects of Information TheoryBryon ARAGAMLearning compositional structure from data
WedJan 1516:00London number theory seminarAlexandros KonstantinouTBA
WedJan 1516:00Lean Together 2025Henrik BövingAutomated Bit-Level Reasoning in Lean 4
WedJan 1516:30Lean Together 2025Lorenzo LuccioliInformation theory in Lean: the DPI
WedJan 1517:00Lean Together 2025Violeta Hernández PalaciosA Nimble Introduction to Nimbers
WedJan 1517:00Metagovernance SeminarWingham RowanModern Markets for All: digital public infrastructure to unlock each person’s economic potential
ThuJan 1600:00UCSD number theory seminarArijit ChakrabortyA Power-Saving Error Term in Counting C2 ≀ H Number Fields
ThuJan 1612:00(ED-3S) Essex Data Science Seminar SeriesYi XiaTBA
ThuJan 1614:15Real and complex GeometryQaasim ShafiTropical refined curve counting and mirror symmetry
ThuJan 1615:00Florida Atlantic University Crypto CaféEdoardo PersichettiTBA
ThuJan 1616:00Lean Together 2025Michael RothgangScaling mathlib: tooling and automation for an ever-growing mathematics library
ThuJan 1616:00Number Theory Web SeminarJulia StadlmannPrimes in arithmetic progressions to smooth moduli
ThuJan 1616:30Lean Together 2025Coffee BreakTBA
ThuJan 1617:00Lean Together 2025Floris van DoornTBA
ThuJan 1617:30Lean Together 2025Marcus RosselEgg: An Equality Saturation Tactic in Lean
ThuJan 1618:00Lean Together 2025Social hourTBA
ThuJan 1618:30Lean Together 2025Jean-Baptiste TristanVerified Foundations for Differential Privacy
ThuJan 1619:00Lean Together 2025Abdalrhman Mohamedlean-SMT
ThuJan 1619:30Lean Together 2025Coffee BreakTBA
ThuJan 1620:00Lean Together 2025Jack McKoenToward functor quasi-categories in Lean
ThuJan 1620:30Lean Together 2025Leni AnivaPantograph and Proof Traces
ThuJan 1620:30Prairie mathematics colloquiumShonda DueckCyclic partitions of complete and almost complete uniform hypergraphs
ThuJan 1621:30SFU NT-AG seminarTian WangEffective open image theorem for products of principally polarized abelian varieties
FriJan 1708:00SEU Yau Center Theoretical Physics SeminarsMarco SeroneTBA
FriJan 1713:30Tropical Geometry in Frankfurt/Zoom TGiF/ZGiusi CapobiancoThe tropical 1-fold Abel-Prym map
FriJan 1714:00Tropical Geometry in Frankfurt/Zoom TGiF/ZShelby CoxTree spaces in tropical geometry
FriJan 1714:15Symplectic zoominarZhengyi Zhou (AMSS, CAS)Kähler compactification of \(\mathbb{C}^n\) and Reeb dynamics
FriJan 1715:00Cross Alps Logic SeminarJouko VäänänenCategoricity arguments and their philosophical uses
FriJan 1715:00Lean Together 2025Alex KontorovichEducational and research experiments with formalization
FriJan 1715:30Lean Together 2025Christian MertenFormalizing the Bruhat-Tits tree
FriJan 1716:00GEOTOP-A seminarCiprian ManolescuGeneralizations of Rasmussen's invariant
FriJan 1716:00Lean Together 2025Coffee BreakTBA
FriJan 1716:30Lean Together 2025Hannah FechtnerBraid Groups in Lean
FriJan 1717:00Lean Together 2025Joseph Tooby-SmithFormalizing physics into Lean
FriJan 1717:30Lean Together 2025David Kurniadi AngdinataFormalising division polynomials of elliptic curves
FriJan 1718:00Equivariant Elliptic Cohomology SeminarMarco GiustettoOrbispaces
FriJan 1718:00Lean Together 2025Yuma MizunoMetaprogramming on monoidal categories
MonJan 2001:00Homotopical algebra learning seminarPraphulla Koushik1.5 Closed model categories
MonJan 2013:00Paris algebra seminarChristof GeissRepresentations of shifted quantum affine algebras and cluster algebras
MonJan 2014:40Nečas Seminar on Continuum MechanicsWinter BreakTBA
MonJan 2015:00European Non-Associative Algebra SeminarManuel ManciniOn the representability of actions of non-associative algebras
TueJan 2113:00Geometric Structures Research SeminarMikhail KorobkovFrom the theorems of Morse, Sard, Dubovitskii and Federer to the Luzin N-property: the story so far.
TueJan 2113:00One World Numeration seminarThomas GarrityMulti-dimensional continued fractions and integer partitions: Using the Natural Extension to create a tree structure on partitions
TueJan 2114:00Feza Gursey Center Higher Structures SeminarsSimona PaoliTBA
TueJan 2114:00Non-local operators, probability and singularitiesHaojie Hou, Xicheng ZhangTBA
TueJan 2115:00International seminar on automorphic formsRomain BranchereauTBA
TueJan 2116:00Tricontinental Quantum Fundamentals SeminarJosé Polo-GómezNo Black Holes from Light
TueJan 2121:00UCLA analysis and PDE seminarJavier Gomez-SerranoMachine Learning in PDE: Discovering new, unstable solutions
TueJan 2121:00CRG Weekly SeminarsEmanuel CarneiroTBA