초학제연구단 &lt;과학을 변화시키는 AI&gt;<br/>AI와 논리, 수학의 증명 자동화를 중심으로

초학제연구단 <과학을 변화시키는 AI>
AI와 논리, 수학의 증명 자동화를 중심으로

August 18th, 2026
8101, 1st fl., Bldg.8, KIAS
QUC School on AI in High Energy Physics

QUC School on AI in High Energy Physics

August 17th ~ August 28th, 2026
1503, 5th fl., Bldg.1, KIAS
Eleventh Polish-Korean Conference<br/>on &quot;Protein Folding: Theoretical and Experimental Approaches&quot;

Eleventh Polish-Korean Conference
on "Protein Folding: Theoretical and Experimental Approaches"

August 24th ~ August 26th, 2026
Kim Dongmyeong Lecture Hall, Bldg.1, KIAS
고등과학원x고려대 초학제연구단<br/>AI, Platform, Algorithm

고등과학원x고려대 초학제연구단
AI, Platform, Algorithm

August 28th, 2026
8101, 1st fl., Bldg.8, KIAS

초학제연구단 <과학을 변화시키는 AI>
AI와 논리, 수학의 증명 자동화를 중심으로

August 18th, 2026
8101, 1st fl., Bldg.8, KIAS

QUC School on AI in High Energy Physics

August 17th ~ August 28th, 2026
1503, 5th fl., Bldg.1, KIAS

Eleventh Polish-Korean Conference
on "Protein Folding: Theoretical and Experimental Approaches"

August 24th ~ August 26th, 2026
Kim Dongmyeong Lecture Hall, Bldg.1, KIAS

고등과학원x고려대 초학제연구단
AI, Platform, Algorithm

August 28th, 2026
8101, 1st fl., Bldg.8, KIAS

Resources for
Popup Zone

Quick Menu

JOBS
Library
HORIZON
Conference
Support KIAS
Maps & Directions
News
Read All News
News
우주가 거대한 정보 시스템이라면 (중앙일보)
2026-08-11
“AI 시대 인간의 가치는 무엇인가”…카오스재단, 석학 6인이 풀어낸 미래의 질문 (이데일리)
2026-08-03
    Research
    [Prof. Young-Hoon Kiem, School of Mathematics] Asymptotic regularity in the topology of moduli spaces of stable curves of genus 0 (Published in Proc. Nat'l Academy of Sciences of USA)
    2026-07-13
    [Prof. In-Jee Jeong, School of Mathematics] Classification of radially homogeneous, self-similar steady solutions to two-dimensional Boussinesq equations
    2026-07-13
      Opinion
      [기고]우리의 과학 (이데일리)
      2026-05-21
      Meanwhile : The $25 problem (Korea JoongAng Daily)
      2026-02-10
        Job Openings
        View more

        Discover KIAS

        The Korea Institute for Advanced Study (KIAS) is dedicated to exploring fundamental questions in the basic sciences,
        conducting world-leading research through new discoveries, and fostering creative and driven talents who will shape
        the future of basic science and technology.

        About KIAS
        Brochure
        Download
        Annual Report
        Download