BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Stefan Kebekus
DTSTART:20260120T150000Z
DTEND:20260120T153000Z
DTSTAMP:20260420T025502Z
UID:LT2026/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/16/">
 Project VD: Formalizing Value Distribution Theory of Complex Analysis</a>\
 nby Stefan Kebekus as part of Lean Together 2026\n\n\nAbstract\nWe present
  "Project VD"\, an effort to formalize value distribution theory in the Le
 an theorem prover. Pioneered by Nevanlinna (and others) in the 1920s\, the
  theory studies how complex-analytic and meromorphic functions distribute 
 their values\, providing a quantitative measure of their complexity. Beyon
 d its intrinsic interest\, the theory gained wider significance after Vojt
 a found surprising connections between complex analysis and Diophantine ge
 ometry.\n\nThis talk will briefly introduce the main objects and report on
  the formalization work completed so far. Finally\, I would like to pose s
 everal open design questions that have emerged during this project\, hopin
 g to start a discussion in the community.\n
LOCATION:https://researchseminars.org/talk/LT2026/16/
END:VEVENT
END:VCALENDAR