Sie befinden sich hier: Home  Research  Datenassimilation  Events  Details
Oops, an error occurred! Code: 20251206160431f8a20854

Anschrift

Universität Potsdam
Institut für Mathematik
Campus Golm, Haus 9
Karl-Liebknecht-Str. 24-25
D-14476 Potsdam

Aktivitäten

08.12.2025, 09:00  –  Campus Golm, Building 9, Room 0.14
Forschungsseminar Wahrscheinlichkeitstheorie

Domino tilings of the Aztec diamond in random environment

Panagiotis Zografos

Abstract:
The Aztec diamond, under the uniform measure on domino tilings, is one of the classical gems
of integrable probability. Its special structure makes it exactly solvable, and over the years... 

mehr erfahren

11.12.2025, 16:15 Uhr  –  Raum 1.22, Haus 9
Forschungsseminar Differentialgeometrie

Hodge Dualities in the Perturbation Setup and Applications:Perturbed Zeta Determinant and Analytic Torsion

Ihsane Malass

We consider the perturbation of the exterior differential by a closed one-form \(a\), \(d_a := d + a \wedge \cdot\), on a manifold with boundary. This gives rise to the perturbed (or twisted) de Rham... 

mehr erfahren

12.12.2025, 12:00  –  Campus Golm, Building 9, Room 1.22 and via Zoom
Arbeitsgruppenseminar Analysis

A Pre-tty Pre-amble to Pre-Lie Algebras from Combinatorial Species

Yannic Vargas (CUNEF University Madrid)

We present an introduction to pre-Lie algebras, an algebraic structure closely related to Lie algebras. From a combinatorial perspective, pre-Lie algebras are connected to the notion of insertion of... 

mehr erfahren

17.12.2025, 14:00 - 16:00  –  Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium

Formalising Mathematics: differential geometry and number theory in the Lean proof assistant

María Inés Frutos Fernández and Michael B. Rothgang (Uni Bonn)

14:00  Michael Rothgang (Uni Bonn):  Formalising differential geometry in Lean.
15:00  Tea and Coffee Break
15:30  María Inés de Frutos Fernández (Uni Bonn):  Number Theory in the Lean Theorem Prover.

...  mehr erfahren

18.12.2025, 16:15  –  Raum 1.22
Forschungsseminar Differentialgeometrie

On local boundary conditions for Dirac-type operators

Nadine Große (Freiburg)

We discuss smooth local boundary conditions for Dirac-type operators, giving existence and non-existence results for local self-adjoint boundary conditions and discuss concrete parametrizations of the... 

mehr erfahren