ORIGIN, MATTER, LIFE, INTELLIGENCE

KAIST Advanced Institute for Science-X X : eXchange, X-disciplinary, eXplore, & unknown

Past

KAIST Advanced Institute for Science-X

Program name : 이정욱 박사
  • Department: 수리과학과
  • Term: 1st 2019-12-26~2019-12-30
  • Director: 이용남 교수 (T. 2701)
  • Place: 자연과학동 1401호
Abstract
  • 수리논리(Modeling theory) 전문가를 초청하여 집중강연을 가져 이 분야의 이해를 돕고자 함.
Main contents and progress method
  • 가. 초청강연 1명 (내국인 1명) + 일반참가자 약 14명
    나. 세션 구성: 세미나 3회
    1) Model theory in mathematics
    2) Elementary theories of PAC structure via their Galois groups, I
    3) Elementary theories of PAC structure via their Galois groups, II
    다. 2019년 12 월 26 일 (목) ~ 12월 30일 (월)
A list of participants
Achievement
  • 1. 참여인원: 14 명 (참석자 명단 별도 첨부)
     
    2. 사업 성과 : 수리 논리 연구분야에 대한 연구자문 및 연구 분야에 대한 이해를 높임.
List and photos of invited speakers
  • 이정욱
    • Wroclaw 대학