Meetings in Korea

Meetings on Mathematical Logic in Korea

• The fourth Korea Logic Day 2025, Changwon, January 13-16, 2025

• The third Korea Logic Day 2024, online, January 12, 2024

• Model Theory Conference in Seoul, Seoul, Korea, August 28th to 30th, 2023 Kimference for forKim and dividing

• Lecture Series by Isaac Goldbring from UC Irvine, The Connes Embedding Problem, MIP*=RE, and Model Theory, 2022.01.05-2022.02.23, link

• The second Korea Logic Day 2022, online, January 14, 2022

• Special session on Mathematical Logic, 2021 KMS Fall meeting, Online, Octorber 21st, 2021

• The first Korea Logic Day 2021, online, January 14, 2021

• Special session on Mathematical Logic, 2020 KMS Spring meeting, Online, July 3rd, 2020

• The 15th Asian Logic Conference, Daejeon, Korea, July 10-14, 2017