Wittgenstein and the formal sciences 5

Further information and registration here

Special Session of the Colloquium of the Young Network for Wittgensteinian Philosophy: Zhouwanyue Nata Yang (LMU Munich), Title: A logical approach to Wittgenstein’s philosophy of mathematics.

Further information and registration here

World Logic Day 2026 Celebration – Day 1

First day of a two-day virtual celebration of World Logic Day 2026, organised by PUCP in partnership with researchers from Spain, Mexico, and Argentina.

Flyer: PDF

Information and Registration: https://cef.pucp.edu.pe

World Logic Day 2026 Celebration – Day 2

Second day of the two-day virtual World Logic Day 2026 celebration, continuing talks and discussions with international collaborators.

Flyer: PDF

Information and Registration: https://cef.pucp.edu.pe

Southern Summer Logic Day 2026

A celebration of UNESCO World Logic Day hosted by the Australasian Association for Logic. Everyone is welcome to participate.

Timetable (AEDT), Wednesday 14 January:

• Leonid Levin: 10:00–11:10
• Yuri Gurevich: 11:25–12:30
• Lunch break
• Jack Copeland & Nox Cowie: 13:30–14:30
• Break
• Rod Downey: 15:15–16:15
• Break
• Patrick Blackburn: 16:30–17:40

Further information: event website

Logic: A World of Interdisciplinary Science 4 — WLD 2026 Nigeria

A virtual celebration of World Logic Day 2026 focusing on the role and applications of logic (classical and non-classical) across research areas including Mathematics, Philosophy, and Computer Science. Talks and discussion open to all who are interested in logic.

Event homepage: https://sites.google.com/view/wld-2026-nigeria/home

Registration (free, required): https://forms.gle/uaC6SwViBsmWxyWh7

Journée Mondiale de la Logique 2026

A hybrid World Logic Day event hosted by the Université du Québec à Montréal (UQAM), bringing together participants on site and online.

Date/Time (Local): January 14, 2026, 14:00–16:00 EST

Registration (required for Zoom link): https://uqam-ca.libcal.com/event/3974313

More information: event webpage

World Logic Day Workshop 2026

A joint online workshop in celebration of World Logic Day 2026.

Further information: event homepage

Última Sesión – Taller de Didáctica de la Lógica 2025

Ciclo de Pedagogía (TDL 2025)

Mesa redonda con todos los conferencistas del ciclo dedicada a la discusión sobre el constructivismo en la educación media superior.

Mesa redonda:
Actualidad del constructivismo en la educación media superior: coincidencias y desencuentros con los planes de estudio

Panelistas:

• Mtro. Carlos Páramo
• Dr. Rodolfo Quiroz Sánchez
• Dra. Mercedes Agüero Servín
• Dr. Abel Rubén Hernández Ulloa

Date/Time (Local): Wednesday, December 10, 2025, 16:00–18:00 (CDMX, GMT−6)

Zoom access:
Join via Zoom
Meeting ID: 826 8171 2768
Passcode: 240884

8th World Logic Day in Hungary

A mini-workshop organised in celebration of UNESCO World Logic Day 2026, hosted jointly by the Regional Center of the Hungarian Academy of Sciences in Pécs and the HUN-REN Alfréd Rényi Institute of Mathematics.

Date/Time (Local): January 9, 2026, 14:00–19:00 (UTC+1)

Further information: event webpage

Freedom and Ground in Logic (Day 1)

The notion of freedom is often understood in terms of the notion of ground (or kindred notions). This workshop explores the logics of these notions and their relations, and their relevance for philosophical problems ranging from free-choice phenomena in language to the metaphysical challenge posed by logical determinism.

Schedule (Local time, CET / UTC+1):

• 10:00–11:30 — Elia Zardini (Complutense University of Madrid), “The Open Future: Metaphysics, Logic and Reasoning”
• 12:00–13:30 — Peter Verdée (University of Louvain), “Indirect Logical Grounding and the Difference between Classical and Non-Classical Disjunctions”
• 15:00–16:30 — Pilar Terrés (University of Valencia), “Logical Connectives under the Scope of Modal Operators”
• 17:00–18:30 — Maria Aloni (University of Amsterdam), “Free Choice as Neglect-Zero Effect”

Registration: No registration fees. If you would like to attend, please contact Elia Zardini at ezardini@ucm.es.

Freedom and Ground in Logic (Day 2)

Continuation of the workshop on the logics of freedom and grounding, focusing on logical determinism, modality, counterfactuals, and possibility semantics.

Schedule (Local time, CET / UTC+1):

• 10:00–11:30 — Jacek Wawer (Jagiellonian University), “The Simplest Argument for Logical Determinism”
• 12:00–13:30 — Roberto Ciuni (Roma Tre University), “The Undecidability of Freedom”
• 15:00–16:30 — David Boylan (University of Glasgow), “The Open Future in Possibility Semantics”
• 17:00–18:30 — Melissa Fusco (Columbia University), “Counterfactual and Chancy Relativism”

Registration: No registration fees. If you would like to attend, please contact Elia Zardini at ezardini@ucm.es.

8th World Logic Day – DTU Compute Talks

January 14, 2026 (Wednesday)

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

World Logic Day Pub Quiz

A logic-themed pub quiz organised by the University of Gothenburg Logic Group as part of the World Logic Day celebrations.

Date/Time (Local): Saturday, January 17, 2026, from 18:00 (UTC+1)

Attendance notice:
Please notify your planned attendance by sending an email to orvar.lorimer.olsson@gu.se with your name and “Logic Pub Quiz” in the subject line.

Logic Day in Sapienza

Half-day workshop (in presence; may be hybrid).

Date/Time (Local): January 14, 2026, 09:00–12:30 (CET)

Speakers:

• Lorenzo Carlucci
• Marco Console
• Giuseppe De Giacomo
• Nicola Galesi
• Massimo Lauria
• Maurizio Lenzerini

Further information: event webpage

Cross-Alps Logic Seminar – World Logic Day Special Session

A special World Logic Day 2026 session of the recurring Cross-Alps Logic Seminar, organised by the logic groups of the Universities of Genoa, Lausanne, Siena, Turin, and Udine.

Guest speaker: Anand Pillay

The seminar addresses topics in mathematical logic and is intended to be accessible to a broad mathematical audience.

Further information: seminar website

World Logic Day 2026 @SDU — Invited Talk

Speaker: Thomas Ågotnes (University of Bergen)

Anonymous Public Announcements

Date/Time (Local): January 8, 2026, 15:00–17:00 (Beijing time)

Flyer: PDF

World Logic Day 2026 @SDU — Graduate Seminar (Day 1)

First day of the graduate seminar featuring presentations by graduate students on logic, philosophy of language, and reasoning.

Date/Time (Local): January 12, 2026, 09:00–16:35 (Beijing time)

Flyer: PDF

World Logic Day 2026 @SDU — Graduate Seminar (Day 2)

Second day of the graduate seminar, continuing student presentations by graduate students on logic, philosophy of language, and reasoning.

Date/Time (Local): January 13, 2026, 10:00–16:10 (Beijing time)

Flyer: PDF

World Logic Day 2026 @SDU — Workshop on Logic and AI

A full-day workshop focusing on logic and artificial intelligence, featuring invited talks on argumentation, modal logic, counterfactuals, and explainable AI.

Date/Time (Local): January 14, 2026, 09:00–18:10 (Beijing time)

Flyer: PDF

World Logic Day 2026 in Tallinn

A local celebration of World Logic Day 2026 hosted by the Estonian Academy of Sciences, featuring talks and discussions on logic and its applications.

Date/Time (Local): January 10, 2026, starting at 10:00 (Tallinn time, GMT+2)

Further information: event webpage

World Logic Day Lecture by M. Vardi: Are AI minds genuine minds?

Reception to follow in Duncan Hall’s outside Portico.

Remote participation via Zoom (link sent after RSVP).

RSVP: vardi.eventbrite.com

World Logic Day 2026 in Münster: Reading Group on Heinrich Scholz and Alfred Tarski

German-language academic reading group and discussion held in the context of World Logic Day 2026. Participants will jointly read and discuss Heinrich Scholz’s 1937 review of Alfred Tarski’s Der Wahrheitsbegriff in den formalisierten Sprachen.

The discussion addresses both the historical significance of the text and its relevance for contemporary philosophy of logic and philosophy of science.

Contact & registration: jenslemanski@uni-muenster.de

Further information: University of Münster event page

Coloquio por el Día Mundial de la Lógica 2026

Academic colloquium organised in celebration of World Logic Day 2026, focusing on the role of logic in human reasoning, critical thinking, and the humanities, as well as its foundational importance in formal and non-formal contexts.

Date/Time (Local): Saturday, January 17, 2026, 10:00–18:00 (Lima, Peru)

Registration: https://forms.gle/dDsMqqt6Kn13Z2wXA

More Information: The conference homepage.

Conservatory Epistemology and Methodology of Science & Logic

An online conservatory organised by Lógica MX as part of the World Logic Day 2026 celebrations, focusing on epistemological and methodological issues in science and logic.

Date/Time (Local): Friday, January 9, 2026, starting at 18:00 (CET)

Event webpage: https://logicamx.wixsite.com/logicamx/epistemology-and-methodology-of-sc-and-l

YouTube channel: https://youtube.com/@logicamx

World Logic Day @ Swansea University

A half-day event featuring three talks on the beginnings and current developments of: Computability theory and Program extraction from proofs.

Speakers:

• Arnold Beckmann
• Ulrich Berger
• John V. Tucker

Further information: event webpage

Course on Programming with Proofs — Session 1

First session of a 10-hour course on programming with proofs, delivered by Alexandre Rademaker as part of the World Logic Day 2026 celebrations.

Date/Time (Local): January 14, 2026, 10:00 (CET)

Flyers: PDF | Web version

Course on Programming with Proofs — Session 2

Second session of the World Logic Day 2026 course on programming with proofs, continuing the introduction to proof-based programming techniques.

Date/Time (Local): January 14, 2026, 14:00 (CET)

Flyers: PDF | Web version

Course on Programming with Proofs — Session 3

Third session of the course, further developing methods for programming with formal proofs in a logical framework.

Date/Time (Local): January 15, 2026, 10:00 (CET)

Flyers: PDF | Web version

Course on Programming with Proofs — Session 4

Final session of the 10-hour World Logic Day 2026 course on programming with proofs, concluding the series with advanced topics and discussion.

Date/Time (Local): January 21, 2026, 14:00 (CET)

Flyers: PDF | Web version

Course on Programming with Proofs — Session 5

Closing session of the World Logic Day 2026 course, completing the 10-hour programme on programming with proofs by Alexandre Rademaker.

Date/Time (Local): January 22, 2026, 10:00 (CET)

Flyers: PDF | Web version

Logic Festa

Two Workshops: “Is Mathematics Logical? / Is Logic Mathematical?” & “Logic and AI”

An online World Logic Day 2026 event organised by the Japan Association for Philosophy of Science, featuring two thematic workshops exploring the foundations of logic, mathematics, and their interaction with artificial intelligence.

Date/Time (Local): January 10, 2026, 09:30–16:30 (JST, UTC+9)

Language: Japanese (only)

Flyer: PDF

Further information and registration are available on the event webpage .

Program:

Introduction: Makoto Kikuchi (President, Japan Association for Philosophy of Science), "(1) About the UNESCO World Logic Day, (2) The Association’s Publication Project, and (3) Hosting the 2027 CLMPST Congress in Kobe

Workshop 1: Is Mathematics Logical? / Is Logic Mathematical?, Coordinator: Hiroshi Fujita

• Masaharu Ikeda: The Relationship between Mathematics and Logic in Early Modern Philosophy
• Hiroshi Fujita: The Five Letters: Borel, Baire, and Lebesgue
• Hidenori Kurokawa: Imitation of Rigor and Informal Rigor

Workshop 2: Logic and AI, Coordinators: Mitsuhiro Okada and Koji Mineshima

• Keynote 1: Kohei Suenaga: Formal Verification and AI as a Black Box
• Keynote 2: Sho Yokoi: Non-Logical Capacities of Language Models
• Mitsuhiro Okada & Koji Mineshima: Formal Logical Reasoning, Language Model Reasoning, and Human Logical Reasoning
• Jun Otsuka: Generalization and Logical Rigor

Panel Discussion, Coordinators: Mitsuhiro Okada, Koji Mineshima. Panelist: Kohei Suenaga, Sho Yokoi, and Jun Otsuka.

Discussion Session: Invited Commentators

• Yuichiro Hosokawa — From the Viewpoint of AI Counterfactual Fairness Studies and Logic
• Yuko Murakami — AI Research and Education and Logic Research and Education
• Kentaro Ozeki — Logic and AI Alignment

Open Discussion

Closing

IAL World Logic Day 2026 Event

A hybrid World Logic Day 2026 event hosted by Sharif University of Technology, bringing together researchers in logic, philosophy of logic, philosophy of mathematics, and philosophy of computing and information.

Date/Time (Local): Wednesday, January 14, 2026, 14:30–18:00 (Iran Standard Time, UTC+3:30)

Program:

• Lotfollah Nabavi (Tarbiat Modares University): Gödel Translation: An Approach to Logical Monism
• Massoud Pourmahdian (Amirkabir University of Technology) : A Mathematical Viewpoint on Mathematical Logic
• Mohammad Izadi (Sharif University of Technology): Neural-Symbolic Artificial Intelligence: A Two-Way Connection Between Logical Reasoning and Machine Learning

Event webpage: https://ialogic.ir/index.php/en/

Registration: No registration required.

World Logic Day 2026 — Online Lecture

Language: Italian

Description (English):
Fifty years later, in a conversation with Silvia Pittarello, Giovanni Sambin reflects on his discovery of the fixed point theorem expressing the use of self-reference in Gödel's incompleteness theorems in algebraic terms.

Date/Time (Local): January 14, 2026, 21:00–23:00 (CET)

Video: Watch on YouTube

Reference page: https://silviapittarello.it/world-logic-day-2026/

About Logic — Podcast Launch

Launch of aboutlogic, a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. The podcast features in-depth conversations with researchers and educators working in and around the foundations of these fields.

Topics range from the foundations of computer science and set theory to critical thinking, puzzles, and reflections on academic life—its motivations, frustrations, and surprises.

Date/Time (Local): January 14, 2026, 18:30–20:45 (CET)

Launch episodes (≈45 minutes each):

• Thorsten Altenkirch — Episode on YouTube
• Deniz Sarikaya — Episode on YouTube
• Kevin Buzzard — Episode on YouTube

Listen and subscribe: https://www.youtube.com/@aboutlogic

Audience: Students, researchers, educators, and anyone interested in careful thinking and the ideas shaping modern logic and foundations.

Feria de Lógica 2026

A World Logic Day 2026 event organised by the Seminario Bestias Proposicionales, bringing together activities and discussions centred on logic and its philosophical significance.

Date/Time (Local): January 14, 2026, starting at 10:00 (Mexico City, UTC−6)

Flyer: PNG

Streaming: Bestias Proposicionales YouTube channel

La logica fra enigmi e immagini

An online World Logic Day 2026 event organised by Scienza Express edizioni dedicated to logic, its languages, and its forms of representation — with attention to puzzles, images, and unconventional demonstrations.

Date/Time (Local): January 14, 2026, 15:30–18:00 (CET) (dalle 15.30 alle 18:00).

The webinar is part of the cultural series *U Math* and offers an afternoon of reflection and discussion on how logic can be told, explored, and taught through enigmas, images, and non-conventional demonstrations.

Program:

• Ore 15:30 — Passato, presente e futuro degli enigmi logici (Filippo Cavallari)
• Ore 16:20 — Dimostrazioni senza parole. *Io nel pensier mi fingo* (Claudio Bernardi, Lorenzo Mazza, Elena Petterlini)
• Ore 17:10 — La logica inaspettata. Dimostrare con lo sguardo (Silvia Perini, Francesca Ruzzi, Antonio Veredice)
• Ore 18:00 — Conclusioni e saluti

The event is designed for teachers, university students, enthusiasts of mathematics and logic, and anyone interested in new forms of communication and teaching of logical thought.

For more information, contact: info@scienzaexpress.it.

Critical Thinking and Argumentation

A World Logic Day 2026 event organised by the Department of Communication Sciences of the University of Teramo, dedicated to logic and the promotion of good practices of argumentation and reasoning.

The initiative is part of a broader national celebration involving many Italian universities under the patronage of AILA (Associazione Italiana di Logica e sue Applicazioni) and SILFS (Società Italiana di Logica e Filosofia della Scienza). The event is addressed primarily to upper secondary school students and to a wider public.

Date/Time (Local): Wednesday, January 14, 2026, 09:00–12:30 (CET)

Poster: PDF

Program:

• 09:00 — Saluti istituzionali
• 09:30 — Perché la logica conta (più di quanto si pensi)
  An introduction to logic as an essential tool for everyday life and the digital world, from decision-making to the analysis of fake news.
• 10:00 — Elementare, Watson! Impariamo da Sherlock Holmes
  An exploration of logical inference through the famous reasoning methods of Sherlock Holmes, highlighting the difference between observation and mere looking.
• 10:45 — Un’ora di logica vs. una vita di errori: cosa scegli?
  Everyday situations where reasoning can fail: generalisations, false causes, contradictions, and other logical traps.
• 11:45 — L’enigma è servito (o di crimini quasi perfetti)
  A logic-based mystery session showing how rigorous reasoning allows us to distinguish the possible from the necessary and reach the truth.

Registration (required): https://forms.gle/rrdsJDF2LZ19smoN6

Logic, Language, and AI

As part of the World Logic Day 2026 celebrations, the Italian Association of Logic and its Applications (AILA) and the Italian Society for Logic and the Philosophy of Science (SILFS) coordinate a nationwide series of public outreach initiatives hosted by Italian universities and research centres.

A featured online symposium coordinated by AILA, entitled Logic, Language, and AI, will take place on January 14, 2026.

Date/Time (Local): January 14, 2026, 18:00 (CET)

Speakers:

• Matteo Bianchetti (OpenAI)
• Maria Paola Bonacina (University of Verona)
• Marco Giunti (University of Cagliari)

Moderator: Silvia Pittarello

Access: Watch on YouTube

Remark: In addition to this symposium, AILA and SILFS sponsor and coordinate numerous World Logic Day 2026 events across Italy, hosted by universities including Bari, Calabria, Cagliari, Insubria, Milan, Padua, Palermo, Roma Tre, Sapienza University of Rome, Salerno, Teramo, Turin, Udine, Urbino, and others. Many of these initiatives are listed separately on this page with their own detailed entries.

World Logic Day at the DMI (UniPa)

An interactive World Logic Day 2026 seminar designed for senior high school students, introducing key ideas in logic and its applications through accessible talks and examples.

Date/Time (Local): January 14, 2026, starting at 09:30 (CET)

Program:

• Introduction: Gianluigi Oliveri
• Lydia Castronovo — The Logic of Uncertainty and Probability
• Gianmarco La Rosa & Giuseppe Filippone — Fuzzy Logic and Its Applications
• Gabriele Fici — The Precedence of Operations
• Filippo Cavallari — Raymond Smullyan and the “Gamification” of Mathematics

Poster: https://wld.unipa.it/

Logic and Computer Science: From George Boole to Artificial Intelligence

An afternoon World Logic Day 2026 symposium organised by the Degree Course in Computer Science at the University of Insubria, exploring the deep and enduring relationship between logic and computer science.

From the pioneering work of George Boole, who formalised logic as a mathematical language, to symbolic Artificial Intelligence based on symbols and logical rules, logic remains a foundational pillar of AI. The event also examines logic in dialogue with contemporary approaches based on statistical learning and neural networks.

Date/Time (Local): January 14, 2026, starting at 14:30 (CET)

Audience: University students, high school students, and educators.

Speakers:

• Prof. Mauro Ferrari
• Prof. Fabio Minazzi
• Prof. Brunella Gerla
• Prof. Pietro Galliani
• Dr. Loris Bozzato
• Dr. Paolo Giardini

Further information: event webpage

WRL 2026 Workshop – Quantum Machine Learning, Logic, and Algebraic Structures

A World Logic Day 2026 workshop hosted by the University of Cagliari, bringing together perspectives from logic, algebra, philosophy of science, and quantum and quantum-inspired machine learning.

Date/Time (Local): January 14, 2026, 10:00–16:00 (CET)

Program:

• 10:00 — Opening: Roberto Giuntini — From Quantum Logic to Engineering and Back
• 11:00 — Francesco Paoli — Bochvar Algebras: Categorical Equivalence and the Generated Variety
• 11:50 — Break
• 12:00 — Giuseppe Sergioli — Quantum and Quantum-inspired Machine Learning: Differences and Similarities
• 13:00 — Lunch break
• 15:00 — Stefano Bonzio — Topological and Differentiable Aspects of Clifford Semigroups
• 16:00 — Closing: Michele Camerota — History and Philosophy of Science: A New Perspective

From Classical Logic to AI

A specialised World Logic Day 2026 workshop on formal reasoning, designed for students in the final two years of secondary education. The workshop serves as a foundational and preparatory activity for the official WLD26 celebrations.

The main event features presentations by university faculty and researchers exploring logic and its diverse applications across philosophy, mathematics, and artificial intelligence. The primary objective is to cultivate and enhance students’ logical-deductive, analytical, and critical thinking skills.

By fostering an interdisciplinary dialogue between philosophy, mathematics, and computer science, the initiative highlights the historical and epistemological continuity connecting classical thought with modern scientific and computational paradigms.

Date: January 14, 2026

Poster: PDF

Logic Everywhere

The University of Bari celebrates World Logic Day 2026 with a full-day initiative organised into two distinct sessions, aimed respectively at secondary school students and the wider university community.

Date/Time (Local): January 14, 2026, 10:00–12:00 and 15:00–17:00 (CET)

Program:

Morning session (10:00–12:00)
Department of Computer Science — for secondary school students

• Margherita Barile — Logic in Chinese Culture
• Gioacchino Sterlicchio — Formal Reasoning and the Preservation of the “Skies of the Future”

Afternoon session (15:00–17:00)
Department of Humanities Research and Innovation (DIRIUM) — open to the entire university community

• Abeer Dyoub — The Role of Logic in Orienting the Ethical Behaviour of Artificial Intelligence
• Luca San Mauro — Logical Tools in “Trial-and-Error” Mathematics

The event is organised and sponsored by the Interdepartmental Research Center for “Logic and Applications” (CILA) at the University of Bari.

Poster: information to be announced.

Dünya Mantık Günü 2026

Dünya Mantık Günü’nün sekizincisi, İstanbul Üniversitesi Edebiyat Fakültesi tarafından 14 Ocak 2026 Çarşamba günü düzenlenmektedir. Etkinlik, Prof. Dr. Ali Durusoy’un Dünya Mantık Günü Bildirisi ile başlayacak ve bildiride ele alınan temalar çerçevesinde, mantığın günümüz koşullarındaki yeri ve imkânı üzerine bir panelle devam edecektir.

Date/Time (Local): Wednesday, January 14, 2026, starting at 14:30 (Turkey Time, UTC+3)

Program:

Dünya Mantık Günü Bildirisi
Prof. Dr. Ali Durusoy

Panel (alphabetical order by surname):

• Arş. Gör. Dr. Cemalettin Ergün
• Dr. Öğr. Üyesi Eylem Hacımuratoğlu Özer
• Prof. Dr. Ferruh Özpilavcı
• Dr. Öğr. Üyesi Vedat Kamer
• Prof. Dr. Mehmet Özturan
• Dr. Öğr. Üyesi Alper Yavuz
• Prof. Dr. Yücel Yüksel (Moderator)

Flyer: WebP

Introduzione al pensiero critico: pensare, argomentare, discutere

A World Logic Day 2026 outreach seminar and workshop hosted by the Istituto Tecnico Industriale Statale “E. Mattei” of Urbino for upper secondary school students.

The event engages over 40 third-year students from the Electronics and Mechanics tracks and focuses on the development of critical thinking, argumentation, and discussion skills.

Date/Time (Local): January 4, 2026, 09:00–13:50 (CET)

Speaker: Flavia Marcacci (University of Urbino Carlo Bo)

The session is followed by contributions from Pierluigi Graziani and Alessandro Aldini and forms part of a three-lecture series promoted by the University of Urbino within local schools (further sessions scheduled for January 14, 20, and 30, 2026).

School website: https://www.itisurbino.edu.it/

Introduzione al pensiero critico: pensare, argomentare, discutere (Session 2)

Second session of a three-part World Logic Day 2026 outreach lecture series promoted by the University of Urbino Carlo Bo and hosted at the Istituto Tecnico Industriale Statale “E. Mattei”.

The session focuses on analytical tools and conceptual frameworks for critical thinking, formal logic, and structured argumentation.

Date/Time (Local): January 14, 2026, 09:00–13:50 (CET)

Speaker: Flavia Marcacci (University of Urbino Carlo Bo)

School website: https://www.itisurbino.edu.it/

Introduzione al pensiero critico: pensare, argomentare, discutere (Session 3)

Third session of the World Logic Day 2026 lecture series promoted by the University of Urbino Carlo Bo, dedicated to the development of logical, argumentative, and problem-solving skills.

The workshop continues the progressive introduction to formal reasoning and critical discussion practices for upper secondary school students.

Date/Time (Local): January 20, 2026, 09:00–13:50 (CET)

Speaker: Flavia Marcacci (University of Urbino Carlo Bo)

School website: https://www.itisurbino.edu.it/

Introduzione al pensiero critico: pensare, argomentare, discutere (Session 4)

Final session of the three-part World Logic Day 2026 outreach lecture series promoted by the University of Urbino Carlo Bo in collaboration with local secondary schools.

The concluding workshop consolidates students’ understanding of critical thinking, logical inference, and structured argumentation.

Date/Time (Local): January 30, 2026, 09:00–13:50 (CET)

Speaker: Flavia Marcacci (University of Urbino Carlo Bo)

School website: https://www.itisurbino.edu.it/

World Logic Day 2026 / Día Mundial de la Lógica 2026

A hybrid World Logic Day 2026 event organised by the Preparatory School of Degollado of the University of Guadalajara, featuring lectures and workshops dedicated to logic and philosophy.

The school has a strong tradition of promoting logic and philosophy, having previously hosted World Logic Day 2025 and the Mexican Philosophy Olympiad at the state level, in collaboration with IPOMEXICO and the International Philosophy Olympiad.

Date/Time (Local): January 14, 2026, 10:00–13:30 (CST, UTC−6)

Event webpage: http://prepadegollado.sems.udg.mx/wld

Flyer: PDF

Lógica y Futuro

A World Logic Day 2026 event organised by the Faculty of Humanities and Education of the Central University of Venezuela, in collaboration with the School of Philosophy, the Institute of Philosophy, and the Venezuelan Society of Philosophy.

Date/Time (Local): January 16, 2026, starting at 09:30 (Venezuela Time, UTC−4)

Presenters:

• Francisco Blanco
• Solani Rivas
• María Lugo
• Víctor Valderrama
• Carlos López

Moderator: Ricardo Silva

Flyer: JPG

World Logic Day: Unlock Mathematical Logic (Popular Science Session)

A live-streamed World Logic Day 2026 popular science session organised by the Nankai Logic Group, aimed at introducing key ideas of mathematical logic to a broad audience.

Date/Time (Local): January 14, 2026, 19:00–20:30 (China Standard Time, UTC+8)

Announcement page: event announcement

Scientific Seminar for World Logic Day

A World Logic Day 2026 scientific seminar organised at the Faculty of Mathematics and Informatics of Sofia University “St. Kliment Ohridski” within the framework of the NextGenerationEU initiative and the Bulgarian National Recovery and Resilience Plan.

Date/Time (Local): January 14, 2026, 18:00–19:00 (EET, UTC+2)

Speaker: Grigor Kolev

Talk: Correspondence Problems for Classes of Postlinear Orders

Abstract:
We consider problems for definability and correspondence between closed predicate formulas and propositional formulas with intuitionistic semantics with respect to classes of postlinear orders. We prove decidability of the monadic second-order theory of the class of all countable postlinear orders and decidability of the problems for definability and correspondence for any first-order finitely axiomatisable class of postlinear orders.

Further information:
In English
Sofia University announcement in Bulgaric