KAIST, Daejeon, © KAIST Library
We aim to bring logicians in Korea together and celebrate World Logic Day, proclaimed by UNESCO. We will introduce the research domains of logic and discuss the diverse applications of logic in various fields.
On January 14, 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations, and associations active in mathematics, philosophy, computer science, engineering, economics, and cognitive science. For future annual celebrations of World Logic Day, it was officially claimed as the Day by UNESCO, in association with the International Council for Philosophy and Human Sciences(CIPSH), on November 13, 2019. This year is the seventh World Logic Day.
Why is January 14 for World Logic Day? Nobody can disagree that Alfred Tarski and Kurt Gödel were the most influential logicians of the 20th century. Alfred Tarski was born on January 14, 1901, and Kurt Gödel died on January 14, 1978. In memory of these two greatest logicians in the 20th century, January 14 is decided to be the Day.
The previous events are available on the Korea Logic Day website.
This year’s event will be held under the theme: “Logic in the Age of AI: Themes from Philosophy, Mathematics, and Computer Science.” With the rapid advancement of artificial intelligence technology today, the role of logic as a discipline connecting philosophy, mathematics, and computer science is becoming increasingly critical. By inviting speakers from these three fields, this event aims to introduce new issues and possibilities for logic in the AI era and provide a platform to exchange diverse perspectives and methodologies.
Important Dates
- Invited talk announcement:
- Title: December 12, 2025
- Abstract: December 20, 2025
- Registration deadline: January 5, 2026
- The Fifth Korea Logic Day 2026: January 14, 2026
Speakers and Talks
Invited Talks
- Jineon Baek (KIAS): “수학 연구에 쓰이는 공리들은 얼마나 당연한가?” (slides)
- Hyoyoon Lee (Sogang University): “Model theoretic approaches to Szemerédi’s regularity lemma” (slides)
- Eunsuk Yang (Jeonbuk National University): “Towards universal logic: Some examples”
Invited Talks (Students)
- Il Young Jeong (UNIST): “Fraïssé Classes and the First-Order Limit Property” (slides)
- Min Cheol Seo (Sungkyunkwan University): “Mathematical Structuralism and the Univalent Foundations” (slides)
- Taeyoung Yoon (Seoul National University): “분리논리: 프로그램의 안전성에 대한 형식 논증 체계” (slides)
Talk Abstracts
The abstracts can be found here.
Schedule
The event will take place on January 14th, 2026.
- Talks are scheduled from 1 PM to 6 PM.
- There will be a networking session from 12 PM. A light lunch (sandwiches) will be provided.
- After the talks, there will be a banquet until approximately 8 PM. There is no fee for the banquet, but please indicate whether you will attend when registering.
The talks are scheduled as follows:
| Speaker | Talk | |
|---|---|---|
| 12:50-13:00 | - | Opening remarks |
| 13:00-13:45 | Jineon Baek | “수학 연구에 쓰이는 공리들은 얼마나 당연한가?” |
| 13:50-14:35 | Eunsuk Yang | “Towards universal logic: Some examples” |
| 14:40-15:25 | Hyoyoon Lee | “Model theoretic approaches to Szemerédi’s regularity lemma” |
| 15:35-16:10 | Min Cheol Seo | “Mathematical Structuralism and the Univalent Foundations” |
| 16:10-16:45 | Taeyoung Yoon | “분리논리: 프로그램의 안전성에 대한 형식 논증 체계” |
| 16:45-17:20 | Il Young Jeong | “Fraïssé Classes and the First-Order Limit Property” |
| 17:30-18:00 | Business meeting and group photo |
※ The presentation times include 5 minutes of Q&A.
Registration
To participate in the event, please complete your registration by January 5, 2026.
Venue
The auditorium located on the ground floor of the School of Digital Humanities and Computational Social Sciences (N4 Building) at KAIST Main Campus, Daejeon, Korea
Access
Access information for the venue can be found here
Participants
List of registered participants:
강동휘 (UNIST), 구준모, 권순태, 김수겸 (한양대학교 철학과 학부), 김연홍 (전북대학교), 김이현 (연세대학교), 김장언 (동국대학교 대학원 철학과), 김준희 (고등과학원), 김진영 (서울대학교), 김형준 (UNIST), 도영민 (UNIST), 문순원 (서울대학교), 문재원 (KAIST), 박성수 (성균관대학교), 박찬진 (UNIST), 박채린 (성균관대학교), 손승윤 (연세대학교), 양승연 (KAIST), 양은석 (전북대 철학과), 여영서 (동덕여자대학교), 우인진 (성균관대학교), 유제인 (KAIST), 이명환 (한양대학교), 이예빈 (인하대학교), 이윤호, 이정욱 (국립창원대학교), 이지현, 이청명 (서울대학교), 이효윤 (서강대학교), 임기정 (연세대학교), 정정민 (전북대학교 철학과), 정정민, 최원범 (경희대학교), 최정담 (한국과학기술원), 현지훈 (KAIST), Alexander Stoimenov, Yvon Bossut (Changwon National University) plus 10 additional participants.
Organization
The Fifth Korea Logic Day 2026 is hosted by the following institutions:
The event is organized by the following institutions:
- KAIST School of Digital Humanities and Computational Social Sciences
- Changwon National University, Dept. of Mathematics and Statistics
- Hallym University, Division of Humanities (Major in Philosophy)
and by the following organizers:
- Seungrak Choi, Hallym University, Chuncheon, Korea
- Dongwoo Kim, KAIST, Daejeon, Korea
- Hyoyoon Lee, Sogang University, Seoul, Korea
- Junguk Lee, Changwon National University, Changwon, Korea
- Sewon Park, IMFM, Ljubljana, Slovenia
For local information, please contact Dongwoo Kim at dw.kim@kaist.ac.kr.
Financial Support
The Fifth Korea Logic Day 2026 is supported by the KAIST School of Digital Humanities and Computational Social Sciences; the Division of Humanities (Major in Philosophy) at Hallym University; and the G-LAMP Program at Changwon National University.
