PhD Defense Invitation: Jiedong Jiang

Stream: general

[Jiang Jiedong]

Dear all,

I’m excited to invite you to attend my PhD thesis defense this Friday, May 23! The session is open to the public, and I’d be honored to have you join.

Title: Formalization of p-adic Mathematics and Autoformalization
Candidate: Jiedong Jiang
Time: 2025-05-23T13:30:00+08:00 (30min talk + questions)
Location: Room 313, Zhihua Building, Peking University
Online Access: Google Meet Link

Looking forward to seeing you there!