World Logic Day 2025 in Tallinn

Event website

World Logic Day Pub Quiz Gothenburg

Event flyer

Southern Summer Logic Day

Australasian Association for Logic

Further information here

World Logic Day 2025

Centre for Fundamental Computer Science, Queen Mary University of London

Further information here

World Logic Day Workshop 2025

Department of Mathematics at Nazarbayev University (Astana, Kazakhstan) and the Mathematical Center in Akademgorodok.

Further information and registration here

Round table on extension projects in Logic

YouTube broadcast here

Event flyer

Wittgenstein and the formal sciences 4

Further information and registration here

Special Session of the Colloquium of the Young Network for Wittgensteinian Philosophy

Further information and registration here

Formalize!(?) - 5

The Ethics of Formalizations

Further information and registration here

World Logic Day Symposium

Featuring two invited talks on logic by Dr. Jeremiah Joven Joaquin and Dr. Sara L. Uckelman.

Open to De La Salle University students and faculty members only.

Further information here

World Logic Day Lecture

Speaker: Joao Marques-Silva

Talk title: "Trustable Explainable AI — A Redemption by Logic"

More details: Event page

7th World Logic Day – DTU Compute Talks

January 15, 2025 (Wednesday)

See logic.compute.dtu.dk for more details.

The Fourth Korea Logic Day 2025

January 13–15, 2025

Location: Changwon, Republic of Korea

More information available at korealogicday.org/2025

World Logic Day 2025 at Université du Québec à Montréal (UQAM)

This event will take place on Tuesday, January 14, from 2–4 PM EST.

All information can be found here.

COLOQUIO POR EL DÍA MUNDIAL DE LA LÓGICA 2025

Date/Time: 14 January 2025, 2:00–11:00 PM (Lima local time)

Join us in celebrating World Logic Day with presentations exploring the importance of logic in mathematics, philosophy, and beyond.

Registration: Click here

For more details, see the event website .

The Logic We Like (Day 1 of 5)

A series of theoretical and practical experiences to train high school students in reasoning and critical thinking.

Date/Time (Local): January 10, 2025, 10:00–12:00 (CET)

More information: here .

The Logic We Like (Day 2 of 5)

A series of theoretical and practical experiences to train high school students in reasoning and critical thinking.

Date/Time (Local):
08:30–10:15 (CET) and 11:20–13:10 (CET)
(We combine them as one event in UTC: 07:30–12:10)

More information: here .

The Logic We Like (Day 3 of 5)

A series of theoretical and practical experiences to train high school students in reasoning and critical thinking.

Date/Time (Local): January 14, 2025, 11:00–13:00 (CET)

More information: here .

The Logic We Like (Day 4 of 5)

A series of theoretical and practical experiences to train high school students in reasoning and critical thinking.

Date/Time (Local): January 15, 2025, 08:30–10:15 (CET)

More information: here .

The Logic We Like (Day 5 of 5)

A series of theoretical and practical experiences to train high school students in reasoning and critical thinking.

Date/Time (Local): January 17, 2025, 08:00–13:00 (CET)

More information: here .

Second Meeting of the Mathematics, AI, and Human Cognition Reading Group

Date/Time: January 9, 10:00–11:30 EST (16:00–17:30 Berlin time)

We will discuss two papers:

• Jeremy Avigad’s “Automated Reasoning for Mathematics”
• Christoph Ernst, Jens Schröter & Andreas Sudmann’s “AI and the Imagination to Overcome Difference”

The authors of the second paper will be joining us for the discussion!

To participate, please write an email to Kati. The Zoom link will be sent closer to the meeting date.

Día Mundial de la Lógica 2025: Una mirada al futuro de la lógica

Flyers [1] [2] [3] (jpg-files) and more details are available for this international event celebrating World Logic Day.

Information and registration: https://cef.pucp.edu.pe/eventos/dia-mundial-de-la-logica-2025-una-mirada-al-futuro-de-la-logica/

Cross-Alps Logic Seminar

A special session dedicated to World Logic Day 2025 with guest speaker Prof. Jouko Väänänen. This seminar addresses various topics in mathematical logic and is intended to be approachable for a broader mathematical audience.

For more details, see the seminar website .

Logic and Computer Science: An Inseparable Bond

This is the third workshop organized by the Faculty of Informatics and Computer Science at the British University in Egypt, demonstrating the close relationship between logic and computer science.

Workshop poster: PDF

7th World Logic Day Workshop

Celebrate the 7th World Logic Day with talks on set theory, category theory, and algebraic logic, featuring invited speakers from multiple universities. Friendly atmosphere, insightful discussions!

Further information: here

World Logic Day Science Popularization Activity

Livestream link: Bilibili

Seminar “Logic and its Applications”

Speaker: IVANOV Ievgen

Talk title: “Abstract Rewriting Theory Oriented Towards Cyber-Physical Systems”

Date/Time: January 14, 2025, starting 12:00 (Kyiv time, EET / UTC+2)

Further information: logic.net.ua

World Logic Day 2025: Why Logic Matters? (Day 1)

Date/Time (Local): January 6, 2025 (12:45–16:00 WIB, GMT+7)

This event explores the importance of logic across disciplines, engaging local and international participants in a global celebration of logic.

Flyer: PDF

World Logic Day 2025: Why Logic Matters? (Day 2)

Date/Time (Local): January 7, 2025 (13:00–15:00 WIB, GMT+7)

A continuation of Day 1’s discussions, further highlighting the interdisciplinary significance of logic and global participation.

Flyer: PDF