BIMSA-YMSC Number Theory Lunch Seminar

This is an in-person seminar at BIMSA over lunch, aimed to promote communications in the Number Theory teams at BIMSA and YMSC. Each talk is 45 minutes long and does not focus on research results. Instead, we encourage each speaker to discuss either (1) a basic notion in Number Theory or related fields or (2) applications or computational aspects of Number Theory. People interested in Number Theory are welcome to attend.

Organizers：

Yong Suk Moon, Koji Shimizu

Speaker：

Yong Suk Moon

Time：

Thur., 12:00-1:00 pm, Sept. 19, 2024

Note: The lunch gathering starts at noon, and the talk begins at 12:15.

Venue：

BIMSA A4-1

Title：

Perfectoid spaces in Lean

Abstract:

We will briefly discuss how the notion of perfectoid spaces is formalized in Lean.