INI Seminar Room 1

@iniseminarroom1

112 tuit · page 2/3

Formal & Physical Sciences Physics

Prof. Sean Hartnoll | Spacetime singularities and the Bruhat-Tits tree

Sean Hartnoll

July 16, 2026 73 min

★ ★ ★ ★ ☆ 4/5

Spacetime SingularitiesBKL BilliardsBruhat-Tits Tree

Formal & Physical Sciences Mathematics

Dr. Aurélien Bibaut | Instrumental Variable Analysis Without Structural Equations

Dr. Aurélien Bibaut

June 17, 2026 76 min

★ ★ ★ ★ ☆ 4/5

Causal InferenceInstrumental VariablesNonparametric

Formal & Physical Sciences Mathematics

Prof. Mikhail Sodin | Fourier Interpolation and Uniqueness

Mikhail Sodin

May 11, 2026 59 min

★ ★ ★ ★ ★ 5/5

Fourier AnalysisUniquenessInterpolation

Formal & Physical Sciences Mathematics

Dr. Laura Monk | Counting geodesics on random Weil-Petersson surfaces

Dr. Laura Monk

May 11, 2026 62 min

★ ★ ★ ★ ★ 5/5

Weil-PeterssonGeodesicsModuli Space

Formal & Physical Sciences Mathematics

Dr. Laura Monk | Formalising mathematics and spectral geometry in Lean

Dr Laura Monk

April 21, 2026 45 min

★ ★ ★ ★ ☆ 4/5

LeanFormal ProofProof Assistant

Formal & Physical Sciences Mathematics

Prof. Javier Gómez-Serrano | AI-Driven Mathematical Discovery: Singularities, Algorithms, and Beyond

Javier Gómez-Serrano

April 20, 2026 54 min

★ ★ ★ ★ ☆ 4/5

AI for MathematicsSingularitiesPINNs

Formal & Physical Sciences Mathematics

Dr. Kim Klinger-Logan | Convolution sums of divisor functions and graviton scattering amplitudes

Dr. Kim Klinger-Logan

April 10, 2026 64 min

★ ★ ★ ★ ☆ 4/5

Number TheoryAutomorphic FormsString Theory

Formal & Physical Sciences Physics

Prof. Sean Hartnoll | Recent appearances of automorphic Maass forms and L functions in physics.

Prof. Sean Hartnoll

April 8, 2026 62 min

★ ★ ★ ★ ☆ 4/5

Maass FormsL-FunctionsConformal Field Theory

Formal & Physical Sciences Mathematics

Sir William Timothy Gowers | Towards a database of motivated proofs

Sir William Timothy Gowers

April 7, 2026 68 min

★ ★ ★ ★ ☆ 4/5

Motivated ProofsAutomatic Theorem ProvingAI for Mathematics

Formal & Physical Sciences Mathematics

Prof. Kevin Buzzard | Formalizing mathematics today

Kevin Buzzard

April 7, 2026 67 min

★ ★ ★ ★ ☆ 4/5

FormalizationProof AssistantsLean

Formal & Physical Sciences AI — News & Applications

Prof. Geordie Williamson | Human-machine mathematical collaboration with modern AI

Geordie Williamson

April 7, 2026 61 min

★ ★ ★ ★ ☆ 4/5

AIMathematicsHuman-Machine Collaboration

Formal & Physical Sciences AI — Models & Research

Prof. Andreas Krause | Steering Generative Models for Discovery

Andreas Krause

March 20, 2026 62 min

★ ★ ★ ★ ☆ 4/5

Generative ModelsReinforcement LearningScientific Discovery

Formal & Physical Sciences AI — Models & Research

Dr. Shruti Mishra | Reinforcement learning in fluid mechanical environments

Dr. Shruti Mishra

March 20, 2026 48 min

★ ★ ★ ★ ☆ 4/5

Reinforcement LearningFluid MechanicsControl

Formal & Physical Sciences Mathematics

Dr. Mats Stensrud | Causal effects conditional on post-treatment variables

Dr. Mats Stensrud

March 6, 2026 48 min

★ ★ ★ ★ ☆ 4/5

Causal InferenceSurvivor Average Causal EffectSeparable Effects

Formal & Physical Sciences Mathematics

Mr. Alain Didier Noutchegueme | Optimisation of Steklov transmission eigenvalues and minimal surf...

Alain Didier Noutchegueme

February 6, 2026 27 min

★ ★ ★ ★ ☆ 4/5

Steklov EigenvaluesMinimal SurfacesSpectral Geometry

Formal & Physical Sciences Mathematics

Dr. Hanne Van Den Bosch | Quantitative stability for minimizers of a Yamabe problem on manifolds...

Dr. Hanne Van Den Bosch

February 6, 2026 47 min

★ ★ ★ ★ ☆ 4/5

Yamabe ProblemQuantitative StabilityConformal Geometry

Humanities, Social Sciences & Thought Society & Culture

Prof. Yu Xie | Population Heterogeneity, Causal Inference, and AI-Generated Data for Social Science

Prof. Yu Xie

January 28, 2026 57 min

★ ★ ★ ★ ☆ 4/5

Causal InferencePopulation HeterogeneityAI-Generated Data

Humanities, Social Sciences & Thought Economics & Finance

Prof. Victor Chernozhukov | Adventures in Demand Analysis Using AI

Victor Chernozhukov

January 28, 2026 59 min

★ ★ ★ ★ ☆ 4/5

Demand AnalysisCausal InferenceMachine Learning

Humanities, Social Sciences & Thought Mathematics

Prof. Susan Athey | Causal Inference and Decompositions for Sequence Data Using Generative Models

Susan Athey

January 28, 2026 70 min

★ ★ ★ ★ ☆ 4/5

Causal InferenceGenerative ModelsSequence Data

Humanities, Social Sciences & Thought Economics & Finance

Prof. Maximilian Kasy | Machine learning, causal inference, and economics

Maximilian Kasy

January 28, 2026 61 min

★ ★ ★ ★ ☆ 4/5

Machine LearningCausal InferenceEconomics

Formal & Physical Sciences Mathematics

Prof. Qingyuan Zhao | Origins of randomization for causal inference

Prof. Qingyuan Zhao

January 23, 2026 63 min

★ ★ ★ ★ ☆ 4/5

RandomizationCausal InferenceHistory of Statistics

Formal & Physical Sciences Mathematics

Prof. Paul Rosenbaum | Being Realistic About Unmeasured Biases in Observational Studies

Prof. Paul Rosenbaum

January 23, 2026 66 min

★ ★ ★ ★ ★ 5/5

Causal InferenceObservational StudiesSensitivity Analysis

Formal & Physical Sciences Mathematics

Multiple Speakers | Panel discussion: Foundation of causal inference

INI Seminar Room 1

January 23, 2026 56 min

★ ★ ★ ★ ☆ 4/5

Causal InferenceCausal DiscoveryCounterfactuals

Formal & Physical Sciences Mathematics

Dr. Hyunseung Kang | Causal Inference With Instrumental Variables ( Part 1)

Dr. Hyunseung Kang

January 23, 2026 60 min

★ ★ ★ ★ ☆ 4/5

Causal InferenceInstrumental VariablesMonotonicity

Formal & Physical Sciences Mathematics

TURW01 | Prof. Laszlo Szekelyhidi | Convex integration in fluid dynamics

Prof. Laszlo Szekelyhidi

December 15, 2025 63 min

★ ★ ★ ★ ★ 5/5

Convex IntegrationFluid DynamicsWeak Solutions

Life & Natural Systems Climate & Ecology

Prof. Tim Lenton | Indentification and early warning of climate tipping points

Tim Lenton

December 15, 2025 64 min

★ ★ ★ ★ ☆ 4/5

Climate Tipping PointsEarly WarningEarth System

Formal & Physical Sciences Mathematics

Prof. Terence Tao | On Gromov's theorem on groups of polynominal growth and related topics

Terence Tao

December 15, 2025 64 min

★ ★ ★ ★ ☆ 4/5

Gromov's TheoremPolynomial GrowthApproximate Groups

Formal & Physical Sciences Physics

Prof. Robbert Dijkgraaf | Atiyah’s Dream: The Geometry of Quantum Physics

Robbert Dijkgraaf

December 15, 2025 57 min

★ ★ ★ ★ ☆ 4/5

Quantum Field TheoryGeometryMichael Atiyah

Formal & Physical Sciences Mathematics

Prof. Pierre Deligne | Cohomology of algebraic varieties

Pierre Deligne

December 15, 2025 67 min

★ ★ ★ ★ ★ 5/5

Algebraic GeometryCohomologyHodge Theory

Formal & Physical Sciences Computing & Cybersecurity

Prof. Nigel Smart | Fully Homomorphic Encryption

Prof. Nigel Smart

December 15, 2025 31 min

★ ★ ★ ★ ☆ 4/5

CryptographyHomomorphic EncryptionRing Learning With Errors

Formal & Physical Sciences Mathematics

Prof. Mikhail Gromov | 100 Problems around Scalar Curvature

Mikhail Gromov

December 15, 2025 63 min

★ ★ ★ ★ ☆ 4/5

Scalar CurvatureGeometryIndex Theorem

Formal & Physical Sciences Mathematics

Prof. Lisa Piccirillo | Knot concordance and 4-manifolds

Lisa Piccirillo

December 15, 2025 51 min

★ ★ ★ ★ ★ 5/5

Knot Theory4-ManifoldsConcordance

Formal & Physical Sciences Mathematics

Prof. Jon Keating | Lecture 1: A Primer in Random Matrix Theory

Jon Keating

December 15, 2025 57 min

★ ★ ★ ★ ★ 5/5

Random Matrix TheoryQuantum ChaosWigner Matrices

Formal & Physical Sciences Mathematics

Prof. John Pardon | Existence of Lefschetz fibrations on Stein/Weinstein domains

John Pardon

December 15, 2025 61 min

★ ★ ★ ★ ☆ 4/5

Lefschetz FibrationsStein DomainsWeinstein Domains

Formal & Physical Sciences Physics

Prof. John Ball | Professor Jerry Ericksen interviewed by John Ball. A film of a recent... of...

John Ball

December 15, 2025 50 min

★ ★ ★ ★ ☆ 4/5

Liquid CrystalsContinuum MechanicsJerry Ericksen

Formal & Physical Sciences Mathematics

Prof. Jean-Pierre Serre | The quaquaversal group

Jean-Pierre Serre

December 15, 2025 51 min

★ ★ ★ ★ ★ 5/5

Quaquaversal GroupS-Arithmetic GroupsAmalgams

Formal & Physical Sciences Mathematics

Prof. Jack Thorne | Modularity, old and new

Jack Thorne

December 15, 2025 58 min

★ ★ ★ ★ ★ 5/5

ModularityElliptic CurvesGalois Representations

Formal & Physical Sciences Mathematics

Prof. Corina E Tarnita | Plenary Lecture 7: Mathematics of social behavior

Corina E. Tarnita

December 15, 2025 64 min

★ ★ ★ ★ ☆ 4/5

Mathematical BiologyGame TheoryEvolution

Formal & Physical Sciences Mathematics

Prof. Ciprian Manolescu | Floer homology and covering spaces

Prof. Ciprian Manolescu

December 15, 2025 60 min

★ ★ ★ ★ ★ 5/5

Floer HomologyCovering Spaces3-Manifolds

Formal & Physical Sciences Physics

Prof. Bernard Nienhuis | Entanglement in the XXZ chain

Prof. Bernard Nienhuis

December 15, 2025 62 min

★ ★ ★ ★ ☆ 4/5

EntanglementXXZ ChainConformal Field Theory