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 engage in discussions on the diverse applications of logic in various fields.
On 14 January 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 the Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH) on 13 November 2019. This year is for the sixth World Logic Day. For more events in other places, please visit World Logic Day 2024.
Why is 14 January for World Logic Day? Nobody can disagree that Alfred Tarski and Kurt Gödel were most influential logicians in the 20th century. Alfred Tarski was born on 14 January 1901 and Kurt Gödel died on 14 January 1978. In memory of these two greatest logicians in the 20th century, 14 January is decided to be the day.
The previous events are available on the Korea Logic Day website.
Important dates
Please note that The third Korea Logic Day 2024 this year is on 12th.
- Abstract submission deadline: 26 December 2023.
- Registration deadline: 10 January 2024
- Sharing the Zoom link: 11 January 2024
- the 3rd Korea Logic Day: 12 January 2024
The event Zoom link has been sent. Please contact the organizers if you have not received it
Speakers
| Name | Affiliation | Topic |
|---|---|---|
| Kyungmin Bae | POSTECH | Logic in Computer Science |
| Seungrak Choi | University of Seoul | Proof Theory |
| Junyoung Jang | McGill University | Logic in Computer Science |
| Hanul Jeon | Cornell University | Set Theory |
| Donghyun Kim | Korea National University of Transportation | Logic and Education |
| Dongwoo Kim | KAIST | Philosophy of Logic |
| Joonhee Kim | KIAS | Model Theory |
| Junguk Lee | Changwon National University | Model Theory |
| Eunsuk Yang | Jeonbuk National University | Philosophical Logic |
| Takao Yuyama | Kyoto University | Logic in Computer Science |
Schedule
Each talk is 30 minutes, followed by an additional 10 minutes for discussion and a break.
| Speaker | Talk | |
|---|---|---|
| 09:00 | - | Opening remark: Hwan Sunwoo (Yonsei University), Martin Ziegler (KAIST) |
| - | - | Session 1, chair: Hyoyoon Lee (Yonsei University) |
| 09:10-09:40 | Junyoung Jang | Adjoint Logic: Multiple Modalities into a Computational Framework (Slides) |
| 09:50-10:20 | Hanul Jeon | Separating the Wholeness axioms (Slides) |
| - | - | Session 2, chair: Martin Ziegler (KAIST) |
| 10:30-11:00 | Takao Yuyama | Word problem for groups and G-automata (Slides) |
| 11:10-11:40 | Kyungmin Bae | Formal specification and analysis of concurrent systems in rewriting logic (Slides) |
| 11:40-13:10 | - | Lunch break |
| - | - | Session 3, chair: Sewon Park (Kyoto University) |
| 13:10-13:40 | Dongwoo Kim | On exact truthmaking for modalized statements |
| 13:50-14:20 | Seungrak Choi | Which Reduction Procedures for Classical Reductio are Acceptable? (Slides) |
| 14:20-14:40 | - | Coffee break |
| - | - | Session 4, chair: Hyeungjoon Kim (UNIST) |
| 14:40-15:10 | Junguk Lee | An introduction to model companion : Infinite sets are NOT trivial! (Slides) |
| 15:20-15:50 | Joonhee Kim | Pre-independence relations induced by Morley sequences in NSOP1 theories (Slides) |
| - | - | Session 5, chair: Seungrak Choi (University of Seoul) |
| 16:00-16:30 | Eunsuk Yang | Fuzzy extensions of Implicational tonoid logics |
| 16:40-17:10 | Donghyun Kim | 고등학교 및 대학 교양 논리학 교육 개편 방향 (Slides) |
| 17:10 | - | Closing remark: Byunghan Kim (Yonsei University) |
How to Register and Participate
The third Korea Logic Day 2024 will be held online via Zoom. Please register by 10 January 2024 and the instruction on how to attend the event will be shared to the registered email on 11 January 2024.
Registration link:
Talk Abstracts
The abstracts can be found here.
Group picture
A group picture of some participants taken after the closing remark:
Participants
Updated on January 12th
Heejin Ahn (KAIST), Kyungmin Bae (POSTECH), Sun Bok Bae (숭실대 가치와 문화 연구소), Jisun Baek (Yonsei University), Jeongdam Choi (KAIST), Young-Sam Chun, Inkyo Chung (Korea University), Jan Dobrowolski (The University of Manchester), Sungil Han (Seoul National University), Hanul Jeon (Cornell University), Soyeong Jeong, Byunghan Kim (Yonsei University), Daehee Kim, Hoil Kim (Kyungpook National University), Hyeungjoon Kim (UNIST), Hyunjoon Kim (Korea University), Joonhee Kim (KIAS), Sang-hyun Kim (KIAS), Yeon-Hong Kim (Jeonbuk National University), Hyoyoon Lee (Yonsei University), Hyunwoo Lee (Seoul National University), IlKwon Lee (Jeonbuk National University), Jaehun Lee, Jinhee Lee (Ajou University), Jong-Hyun Lee (Korea University), Junguk Lee (Changwon National University), Seunghyun Lee (Kyung Hee University), Kijeong Lim (Chonnam National University), Kyung-Tack Lim (Jeonbuk National University), SoonWon Moon (Inha University), Donghyun Nam (Inha University), Kihyo Park (Cornell University), Sewon Park (Kyoto University), Niolay V. Shilov (Innopolis University), Seungyun Shon (Yonsei University), Hanjong So (Korea University), Łukasz T. Stępień (University of the National Education Commission, Krakow, Poland), Hwan Sunwoo (Yonsei University), Sara Uckelman (Durham University), Soyoko Uranchimeg (Chungbuk National University), Chiwook Won (GIST), Eunsuk Yang (Jeonbuk National University), Martin Ziegler (KAIST), 이청명 and 11 more participants.
Hosting and Organizing
The third Korea Logic Day 2024 is hosted by Korean Association for Logic and organized by:
- Seungrak Choi, University of Seoul (main organizer)
- Joonhee Kim, KIAS
- Hyoyoon Lee, Yonsei University
- Sewon Park, Kyoto University
Pleaes contact kld2024-oc@googlegroups.com to reach the organizers.