INI Seminar Room 2

@iniseminarroom2

112 tuit · page 1/3

Formal & Physical Sciences Computing & Cybersecurity

Prof. Jan Krajicek | Facets of the logical foundations of complexity theory

Jan Krajicek

October 30, 2026 98 min

★ ★ ★ ★ ★ 5/5

Proof ComplexityBounded ArithmeticComplexity Theory

Formal & Physical Sciences Computing & Cybersecurity

Dr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part II

Dr. Robert Robere

October 28, 2026 55 min

★ ★ ★ ★ ☆ 4/5

Proof ComplexitySherali-AdamsLower Bounds

Formal & Physical Sciences Computing & Cybersecurity

Dr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part I

Robert Robere

October 28, 2026 60 min

★ ★ ★ ★ ★ 5/5

Proof ComplexitySherali-AdamsLower Bounds

Formal & Physical Sciences Physics

Carla Rubiliani | Lieb-Robinson Bounds in Long-Range Bosonic Systems

Carla Rubiliani

October 23, 2026 54 min

★ ★ ★ ★ ☆ 4/5

Lieb-Robinson BoundsBosonic SystemsLong-Range Interactions

Formal & Physical Sciences Computing & Cybersecurity

Oliver Korten | Top-Down Lower Bounds for All Depths

Oliver Korten

October 16, 2026 106 min

★ ★ ★ ★ ☆ 4/5

Circuit ComplexityLower BoundsParity

Formal & Physical Sciences Computing & Cybersecurity

Itai Leigh | On higher-order quantum functionals

Itai Leigh (Tel Aviv University)

October 15, 2026 67 min

★ ★ ★ ★ ☆ 4/5

Quantum FunctionalsTensor RankAsymptotic Spectrum

Formal & Physical Sciences Mathematics

Dr. Ondřej Ježil | Forcing Reading Group

Dr. Ondřej Ježil

October 14, 2026 72 min

★ ★ ★ ★ ☆ 4/5

ForcingLogicArithmetic

Formal & Physical Sciences Physics

Dr. Alexander Stottmeister | Sharp Quantum Entropy Mixing Rates and the Operator Layer Cake Theorem

Dr. Alexander Stottmeister

October 14, 2026 55 min

★ ★ ★ ★ ☆ 4/5

Quantum EntropyOperator InequalitiesVon Neumann Algebras

Formal & Physical Sciences Mathematics

Tianqi Yang | Does a Range Avoidance Oracle Help Solve Decision Problems?

Tianqi Yang

October 9, 2026 107 min

★ ★ ★ ★ ★ 5/5

Range AvoidanceComplexity TheoryArthur-Merlin Protocol

Formal & Physical Sciences Physics

Dr. Owen Ekblad | Parent Hamiltonians of ergodic matrix product states

Dr. Owen Ekblad (University of California, Davis)

October 1, 2026 58 min

★ ★ ★ ★ ☆ 4/5

Matrix Product StatesDisordered SystemsParent Hamiltonians

Formal & Physical Sciences Physics

Dr. Angelo Lucia | Spectral gap bounds for thermal quantum Markov semigroups

Dr Angelo Lucia (Politecnico di Milano)

September 29, 2026 61 min

★ ★ ★ ★ ☆ 4/5

Quantum Markov SemigroupsSpectral GapToric Code

Formal & Physical Sciences Mathematics

Dimitrios Tsintsilidas | Witnessing theorems for unprovability of circuit upper bounds

Dimitrios Tsintsilidas

September 28, 2026 88 min

★ ★ ★ ★ ☆ 4/5

Bounded ArithmeticWitnessing TheoremsComplexity Theory

Formal & Physical Sciences Computing & Cybersecurity

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part II )

Svyatoslav Gryaznov

September 25, 2026 56 min

★ ★ ★ ★ ★ 5/5

Circuit ComplexityLower BoundsRank Principle

Formal & Physical Sciences Computing & Cybersecurity

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part I )

Svyatoslav Gryaznov

September 25, 2026 60 min

★ ★ ★ ★ ☆ 4/5

Weak Rank PrincipleCircuit Lower BoundsProof Complexity

Formal & Physical Sciences Physics

PD Dr Tomotaka Kuwahara | Optimal low-rank compression of quantum dynamics

PD Dr Tomotaka Kuwahara

September 24, 2026 52 min

★ ★ ★ ★ ☆ 4/5

Quantum DynamicsLow-Rank ApproximationEntanglement

Formal & Physical Sciences Climate & Ecology

Dr. Reyk Börner | Defining and detecting tipping dynamics in the metastable climate system

Dr. Reyk Börner

September 21, 2026 60 min

★ ★ ★ ★ ☆ 4/5

Tipping PointsClimate DynamicsAMOC

Formal & Physical Sciences Mathematics

Stefan Grosser | Understanding Strong Proof Systems.

Stefan Grosser

September 17, 2026 29 min

★ ★ ★ ★ ☆ 4/5

Proof ComplexityStrong Proof SystemsExtended Frege

Formal & Physical Sciences Physics

Measuring Quantum Many-Body Systems in Phase Space - Nigel Cooper

Nigel Cooper

September 15, 2026 72 min

★ ★ ★ ★ ☆ 4/5

Quantum Many-BodyPhase SpaceCold Atoms

Formal & Physical Sciences Physics

Dr. Andras Molnar | Exact MPS eigenstates of local operators: symmetries of the XXZ model

Dr. Andras Molnar

September 14, 2026 71 min

★ ★ ★ ★ ★ 5/5

Quantum GroupsMatrix Product StatesXXZ Model

Formal & Physical Sciences Physics

Prof. Michael Wolf | Equipartitions of positive operators

Prof. Michael Wolf

September 8, 2026 73 min

★ ★ ★ ★ ☆ 4/5

EquipartitionPositive OperatorsQuantum Information

Formal & Physical Sciences Climate & Ecology

Dr. Francisco de Melo Virissimo | Reduced-order insights into emissions uncertainty and climate e...

Dr. Francisco de Melo Virissimo

September 1, 2026 41 min

★ ★ ★ ★ ☆ 4/5

Climate ModelingUncertainty QuantificationReduced-Order Models

Formal & Physical Sciences Biology

Assoc. Prof. Ada Altieri | Emergent patterns in large microbial communities: a disordered-system...

Ada Altieri

September 1, 2026 47 min

★ ★ ★ ★ ☆ 4/5

Microbial EcologyDisordered SystemsReplica Theory

Formal & Physical Sciences Mathematics

Prof. Gary Froyland | Detecting transient metastability and optimising system perturbations from ...

Gary Froyland

August 14, 2026 52 min

★ ★ ★ ★ ☆ 4/5

Transfer OperatorsMetastabilityLinear Response

Formal & Physical Sciences AI — Models & Research

Prof. John Harlim | Learning solution operator of dynamical systems with diffusion maps kernel ri...

Prof. John Harlim

August 13, 2026 69 min

★ ★ ★ ★ ☆ 4/5

Diffusion MapsKernel Ridge RegressionDynamical Systems

Formal & Physical Sciences Mathematics

Prof. Igor Mezic | Masterclass: Koopman/operator theory I - Three Points of View in Dynamical Sys...

Igor Mezic

August 13, 2026 69 min

★ ★ ★ ★ ★ 5/5

Koopman OperatorDynamical SystemsOperator Theory

Formal & Physical Sciences AI — Models & Research

Prof. Gitta Kutyniok | Beyond Scaling: Optimization and Learning for Sustainable AI

Prof. Gitta Kutyniok

August 13, 2026 55 min

★ ★ ★ ★ ☆ 4/5

AI SustainabilityOptimizationGeneralization

Formal & Physical Sciences Mathematics

Yuzhu Shi | Transition Geometry under Gaussian and Levy Title: Perturbations: Time Coupling and T...

Yuzhu Shi

August 12, 2026 43 min

★ ★ ★ ★ ☆ 4/5

Stochastic Differential EquationsLevy NoiseCommittor Function

Formal & Physical Sciences Mathematics

Prof. Oliver Junge | Entropic transfer operators - (Joint with FCP)

Prof. Oliver Junge (Technical University of Munich)

August 12, 2026 73 min

★ ★ ★ ★ ☆ 4/5

Transfer OperatorsOptimal TransportDynamical Systems

Formal & Physical Sciences Mathematics

Prof. Jinqiao Duan | Critical transitions in stochastic dynamical systems: from connecting orbits...

Prof. Jinqiao Duan

August 12, 2026 55 min

★ ★ ★ ★ ☆ 4/5

Stochastic Dynamical SystemsCritical TransitionsSchrödinger Bridge

Formal & Physical Sciences Mathematics

Prof. Ilya Pavlyukevich | How to simulate Lévy flights in a steep potential

Prof. Ilya Pavlyukevich

August 12, 2026 40 min

★ ★ ★ ★ ☆ 4/5

Lévy FlightsStochastic Differential EquationsNumerical Simulation

Formal & Physical Sciences Physics

Prof. Valerio Lucarini | When Response Theory Met Koopman Theory

Valerio Lucarini

August 11, 2026 53 min

★ ★ ★ ★ ☆ 4/5

Response TheoryKoopman TheoryClimate Science

Formal & Physical Sciences Mathematics

Prof. Ilya Pavlyukevich | Stochastic Energy-Balance Model with a moving ice line

Prof. Ilya Pavlyukevich

August 11, 2026 71 min

★ ★ ★ ★ ☆ 4/5

Stochastic Differential EquationsClimate ModelingEnergy Balance Model

Formal & Physical Sciences Mathematics

Prof. Gary Froyland | Masterclass: transfer operators IV

Gary Froyland

August 11, 2026 59 min

★ ★ ★ ★ ★ 5/5

Transfer OperatorsRandom Dynamical SystemsExtreme Value Theory

Formal & Physical Sciences Mathematics

Dr. Niccolò Zagli | Koopman analysis of tipping in an energy balance model: dimension reduction, ...

Dr. Niccolò Zagli

August 11, 2026 50 min

★ ★ ★ ★ ☆ 4/5

Koopman OperatorTipping PointsEnergy Balance Model

Formal & Physical Sciences Mathematics

Dr. Matthew Colbrook | Masterclass: spectral/computational operator methods III

Dr. Matthew Colbrook

August 11, 2026 59 min

★ ★ ★ ★ ★ 5/5

Spectral TheoryComputational MethodsDynamical Systems

Formal & Physical Sciences Mathematics

Dr. Matthew Colbrook | Masterclass: spectral/computational operator methods II

Dr. Matthew Colbrook

August 11, 2026 63 min

★ ★ ★ ★ ☆ 4/5

Koopman OperatorSpectral MeasuresUnitary Approximation

Formal & Physical Sciences Mathematics

Dr. Caroline Wormell | Spectral error of EDMD (and other operators)

Dr. Caroline Wormell

August 11, 2026 67 min

★ ★ ★ ★ ☆ 4/5

EDMDKoopman OperatorSpectral Error

Formal & Physical Sciences Climate & Ecology

Prof. Susanne Ditlevsen | Estimating early warning signals and tipping points in climate

Prof. Susanne Ditlevsen

August 10, 2026 63 min

★ ★ ★ ★ ☆ 4/5

Early Warning SignalsTipping PointsClimate

Formal & Physical Sciences Mathematics

Dr. Niki-Myrto Mavraki | Mini Course: Small Points and Bifurcations: Geometry in Families of Rati...

Dr. Niki-Myrto Mavraki

July 15, 2026 62 min

★ ★ ★ ★ ★ 5/5

Complex DynamicsArithmetic DynamicsBifurcation

Formal & Physical Sciences Mathematics

Dr. Niki-Myrto Mavraki | Mini Course: Small Points and Bifurcations: Geometry in Families of Rati...

Dr. Niki-Myrto Mavraki

July 14, 2026 63 min

★ ★ ★ ★ ★ 5/5

Complex DynamicsBifurcation CurrentsHeight Theory