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
- Hyoyoon Lee, Sogang University
- (more TBC)
Invited Talks (Students)
- Il Young Jeong, UNIST
- Min Cheol Seo, Sungkyunkwan University
- Taeyoung Yoon, Seoul National University
Talk Abstracts
TBA
Schedule
The event will take place on January 14th, 2026, with presentations scheduled from 12 PM to 6 PM, followed by a banquet that will continue until approximately 8 PM. A detailed schedule will be announced soon. There is no fee for the banquet, but please indicate whether you will attend when registering.
Registration
To participate in the event, please complete your registration using this form 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
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.
