Logic List Mailing Archive

Announcement: aboutlogic - first episode launches on January 14 [world logic day]

Dear all,

We're happy to announce the launch of aboutlogic, a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet.

aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like-its motivations, frustrations, and surprises.

The podcast launches on January 14 at 18:30, with three episodes released at once, featuring:

Thorsten Altenkirch
https://youtu.be/j97k9S6GbgA
Deniz Sarikaya
https://youtu.be/yn7nAYHgbxQ
Kevin Buzzard
https://youtu.be/_1it1ndQbj0
Listen and subscribe here:
https://www.youtube.com/@aboutlogic

Who is this for?
aboutlogic is for students, researchers, educators, and curious friends-anyone interested in careful thinking and the ideas that shape modern logic and foundations.

Upcoming guests (TBC)
Graham Priest - January 28, 2026
Steve Awodey - February 11, 2026
Colin Rittberg - February 25, 2026
Alexander Steen - March 11, 2026
Jordi Fairhurst & Seunghyun Song - March 25, 2026 Jos Antonio Prez-Escobar - April 8, 2026 Deborah Kant - April 22, 2026 Urs Schreiber - May 6, 2026

Hosts & production
aboutlogic is hosted by Thorsten Altenkirch http://www.cs.nott.ac.uk/~psztxa/ ) and Deniz Sarikaya ( https://www.denizsarikaya.de/ ) and produced by Jan-Niklas Meyer ( http://www.jammos.com/ ).

The first season (Episodes 1-10) is generously supported by the Akademie der Wissenschaften in Hamburg.

Please feel free to share this with students, friends, or anyone who might enjoy it.

Best wishes,
Thorsten Altenkirch, Jan-Niklas Meyer, and Deniz Sarikaya
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php