Junam Reservoir, © Changwon City Hall - Changwon Tour
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.
Mailing List
During the business meeting, we decided to create a Google group as a mailing list for sharing various logic-related news in Korea, including announcements on future Logic Day events. Please consider joining the Korea Logic Mailing List.
Important Dates
- Invited and tutorial talk announcement:
- Title: December 3, 2024
- Abstract: December 10, 2024
- Participation and student talk application deadline: December 11, 2024
- Participant notification: December 13, 2024
- 4th Korea Logic Day: January 13–15, 2025
Speakers and Talks
Tutorial Talk
- Shichang Song, Beijing Jiaotong University : Introduction to continuous logic (slides1, slides2, slides3)
Invited Talks
- Carl-Fredrik Nyberg Brodda, KIAS : Some decision problems in finitely presented groups and semigroups (slides)
- Seungrak Choi, Hallym University : Formalizing intuitionistic negations in natural deduction system (slides)
- Hanul Jeon, Cornell University : On proof-theoretic dilator and Pohlers’ characteristic ordinals (slides)
- Dongwoo Kim, KAIST : Reference and Analysis in Frege
- Sewon Park, Kyoto University : Real functions are continuous, continuously, computationally (slides)
Student Talks
- Yeon-Hong Kim, Jeonbuk National University : Standard completeness of weak-u-associative uninorm logics (slides)
- Jisun Baek, Yonsei University : Graphs on Infinite Cardinals: The Erdős-Dushnik-Miller theorem (slides)
- Min Cheol Seo, Sungkyunkwan University : Multi-Agent Simulative Belief Ascription (slides)
- Kijeong Lim, Chonnam National University : 고전일차논리의 새로운 Coq 형식화와 건전성 및 완전성 정리의 증명 (slides)
Talk Abstracts
The abstracts can be found here.
Schedule
Monday, January 13
| Speaker | Talk | |
|---|---|---|
| 14:00-14:20 | - | Registration |
| 14:20-14:30 | - | Opening Remark |
| - | - | Session 1 chair: Junguk Lee (Changwon National University) |
| 14:30-15:45 | Shichang Song | Tutorial 1 Introduction to continuous logic |
| 15:45-16:00 | - | Break |
| 16:00-17:00 | Sewon Park | Real functions are continuous, continuously, computationally |
| 17:00-18:00 | Carl-Fredrik Nyberg Brodda | Some decision problems in finitely presented groups and semigroups |
| 18:30- | - | Dinner |
Tuesday, January 14
| Speaker | Talk | |
|---|---|---|
| - | - | Session 2 chair: Hyoyoon Lee (Seogang University) |
| 09:00-10:15 | Shichang Song | Tutorial 2 Introduction to continuous logic |
| 10:15-10:30 | - | Break |
| 10:30-11:00 | Yeon-Hong Kim | Standard completeness of weak-u-associative uninorm logics |
| 11:00-11:30 | Jisun Baek | Graphs on Infinite Cardinals: The Erdős-Dushnik-Miller theorem |
| 11:30-12:00 | Min Cheol Seo | Multi-Agent Simulative Belief Ascription |
| 12:00-12:30 | Kijeong Lim | 고전일차논리의 새로운 Coq 형식화와 건전성 및 완전성 정리의 증명 |
| 12:30-14:30 | - | Lunch Break |
| - | - | Session 3 chair: Joonhee Kim (Korea Institute for Advanced Science) |
| 14:30-15:45 | Shichang Song | Tutorial 3 Introduction to continuous logic |
| 15:45-16:00 | - | Break |
| 16:00-17:00 | Dongwoo Kim | Reference and Analysis in Frege |
| 17:00-18:00 | - | KAML Buisness Meeting |
| 18:30- | - | Banquet |
Wednesday, January 15
| Speaker | Talk | |
|---|---|---|
| - | - | Session 4 chair: Jinhoo Ahn (Changwon National University) |
| 10:00-11:00 | Hanul Jeon | On proof-theoretic dilator and Pohlers’ characteristic ordinals |
| 11:00-11:15 | - | Break |
| 11:15-12:15 | Seungrak Choi | Formalizing intuitionistic negations in natural deduction system |
| 12:15-12:30 | - | Group Photo |
Participant Application
Successful applicants will be offered full-board accommodation for the days of the Fourth Korea Logic Day. Due to limited resources, not all applicants may be selected.
Student applications must include a letter of recommendation, preferably from the thesis adviser, sent directly by the recommender to korea-logic-day@googlegroups.com by the deadline. Student participants will be assigned a shared twin room and may indicate a preferred roommate in their application.
Successful applicants will notified via the provided email address in their applications.
The application can be made here: https://forms.gle/JQinHA4oNcepZjMx8
Student Talk Application
To foster student engagement, we plan to have a session where students introduce their research in progress. Each talk will be approximately 15 to 30 minutes, adjusted based on the number of talks. Student applicants who wish to give a talk can indicate this and provide the title and abstract in the participant application form.
Confirmed talks will notified via the provided email address in their applications.
Venue
The Tiffany room (located at the basement 3), Grand Mercure Ambassador Changwon, Changwon, Korea
Access
The hotel webpage for the access is here.
Directions to Hotel
-From Changwon Jungang Station to the Hotel: Take bus number 221 (get off at City 7 Bus Stop) or bus number 220 (get off at Changwon Convention Center Bus Stop).
-From Gimhae Airport to the hotel: After making a reservation, take an Limousine bus bound for Changwon/Masan and get off at Namsan-dong. Then take bus number 17 or 109 and get off at City7 Bus Stop.
Accommodation
The accommodation will be provided at Grand Mercure Ambassador Changwon in Changwon, Korea. The check-in is from 15:00 on January 13th, 2025, and the check-out is until 12:00 on January 15th, 2025. For detailed information, please ask the front desk.
Group picture
A group picture of participants taken after finishing all sessions:
Organization
The Fourth Korea Logic Day 2025 is hosted by the Korean Association for Mathematical Logic (KAML) and organized by:
- Jinhoo Ahn, Changwon National University
- Seungrak Choi, Hallym University
- Joonhee Kim, KIAS
- Hyoyoon Lee, Sogang University
- Junguk Lee, Changwon National University
- Sewon Park, Kyoto University
Please contact korea-logic-day@googlegroups.com to reach the organizers.
Financial Support
The Fourth Korea Logic Day is supported by the National Research Foundation of Korea and Changwon National University G-LAMP program.
