Events organized

Conferences & workshops

Events in mathematical logic, computability, and theoretical computer science.

14 events · 2019–2027

2027 · Upcoming event

World Logic Day 2027

2026 · Recent events

Computability in Mathematics and Computer Science

May 12–14, 2026
Virtual

World Logic Day Workshop 2026

January 14, 2026
Astana, Kazakhstan · Online

2025

World Logic Day Workshop 2025

January 14, 2025
Astana, Kazakhstan · Online

2024

Equivalence, Numberings, Reducibilities

May 20–24, 2024
Astana, Kazakhstan

World Logic Day Workshop 2024

January 15, 2024
Astana, Kazakhstan · Online

2023

Fifth Workshop on Digitalization and Computable Models

October 2–6, 2023
Astana, Kazakhstan

World Logic Day Workshop 2023

January 16, 2023
Astana, Kazakhstan · Online

2022

World Logic Day Workshop 2022

January 17, 2022
Novosibirsk, Russia & Astana, Kazakhstan · Online

2021

Equivalences, Numberings, Reducibilities Workshop

June 16–18, 2021
Udine, Italy · Online
Satellite event of the 8th European Congress of Mathematics

World Logic Day Workshop 2021

January 14, 2021
Novosibirsk, Russia & Astana, Kazakhstan · Online

2019

14th International Conference on Computability, Complexity and Randomness

June 23–25, 2019
Astana, Kazakhstan

16th Asian Logic Conference

June 17–21, 2019
Astana, Kazakhstan
Conference report

World Logic Day Workshop 2019

January 14, 2019
Astana, Kazakhstan