Changwon tourism Image
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.

Important Dates

Speakers

Tutorial Talk

Invited Talks

Student Talks

TBA

Talks and Schedule

TBA

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 fourth Korea Logic Day will be held in person in Changwon, Korea. Details about the venue will be announced.

Access

TBD

Accommodation

TBD

Organization

The fourth Korea Logic Day 2025 is hosted by the Korean Association for Mathematical Logic (KAML) and organized by:

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.

Korea NRF Logo