1. 일시: 2025년 5월 23일(금), 14:00-16:00/ 2. 장소: 판교 테크노밸리 산업수학혁신센터 세미나실/ 3. 경기 성남시 수정구 대왕판교로 815, 기업지원허브 231호 국가수리과학연구소(무료주차는 2시간 지원)/ 4. 발표자: 백진언 박사(연세대학교)/ 5. 주제: Optimality of Gerver's Sofa/ Abstract: We resolve the *moving sofa problem*, posed by Moser in 1966, which asks for the maximum area of a connected planar shape that can move around the right-angled corner of a *L*-shaped hallway with unit width. We confirm the conjecture made by Gerver in 1994 that his construction, known as *Gerver's sofa*, with 18 curve sections attains the maximum area 2.2195… .