36th Colloquium Lecture

October 14, 2026, 9:00

Lecture hall K3

Marie E. Rognes

Exciting times: high-fidelity modeling of living tissues

25th Jarník’s Lecture

October 6, 2026, 15:40

Lecture hall K1

Prof. Dr. Volker Mehrmann

Energy Based Mathematical Modelling, Simulation and Control

Random Metric Graphs

16–18 September 2026, Room K1

A workshop at the interface of stochastic geometry and spectral theory

Web: wg14.karlin.mff.cuni.cz

A Millenium Prize Problem possibly solved

OpenAI has made available its Lean 4 formalizations of a proof of

The finite time blowup for Navier–Stokes and the Euler equation

at https://github.com/openai/NavierStokesAndEuler