2025년 제2회 10-10 프로젝트

2025년 제2회 10-10 프로젝트

2140

안녕하세요.
서울대학교 수리과학부 10-10 프로젝트에서 다음과 같이 제2회 가우스 석학강연을 개최합니다. 

강연을 듣고 싶은 분들의 많은 참여 바랍니다.

강연명: Formalization of Mathematics with Lean 4 - Special Lectures by main developers of Lean -
일시: 2025년 6월 23일 (월) 11:00~15:30
장소: 서울대학교 27동 220호


강연 일정
11:00~12:00
연사: Leo de Moura (Senior Principal Applied Scientist, AWS)
주제: The Lean Theorem Prover and the Formalization of Mathematics

13:30~14:30
연사: Soonho Kong (Principal Applied Scientist, AWS)
주제: AI Meets Lean: How Neural Theorem Proving is Transforming Formal Mathematics

14:30~15:30
학생 발표 및 토론
Computational Algebraic Geometry 분야의 수학 형식화 사례 발표 예정

자세한 정보 및 안내:
https://sites.google.com/view/lean4lectures/
문의: winsomevely@snu.ac.kr / 02-880-6272

많은 관심과 참여 부탁드립니다.

제목