Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

Hi everyone,

See ad below from Thorsten concerning a new podcast about logic.

Yours,

Ohad.

---

From: Thorsten Altenkirch (staff) <Thorsten.Altenkirch@nottingham.ac.uk>
Sent: Monday, January 12, 2026 4:14:04 pm
Subject: about logic podcasts

Dear all,

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

About Logic 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/9WAZXie752I
• Kevin Buzzard
  https://youtu.be/_1it1ndQbj0

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

---

Who is this for?
About Logic 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 Pérez-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

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.