세미나 및 콜로키움
2024년 04월

04-21

04-22

04-23

04-24

04-25

04-26

04-27
제 목 : Right-adjoints of Datalog Programs

일시: 2024-04-23 / 16:30
장소 : Room B332, IBS (기초과학연구원)
연사 : Víctor Dalmau

We say that two functors Λ and Γ between thin categories of relational structures are adjoint if for all structures A and B, we have that Λ(A) maps...

사업실적
교육인력양성
논문실적
학술회의 및 워크샵
2024/01/22 ~ 2024/01/24

2023 Winter Workshop on PDE and Applied Mathematics [Jan. 22nd (Mon) ~ 24th (Wed), 2024]
34141 대전광역시 유성구 대학로 291(구성동 373-1) KAIST 수리과학 교육 및 연구통합 사업단 (산업경영학동 2221호) / Tel: 042-350-5708, Fax: 042-350-5710 copyright (C) 2015, KAIST MS, all rights reserved. E-Mail: moonju@kaist.ac.kr