[HoTT] aboutlogic podcasts

[HoTT] aboutlogic podcasts

['Thorsten Altenkirch (staff)' via Homotopy Type Theory]

[-- Attachment #1: Type: text/plain, Size: 2868 bytes --]

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



This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/PAXPR06MB786941653BE9EF0DFC136282C981A%40PAXPR06MB7869.eurprd06.prod.outlook.com.

[-- Attachment #2: Type: text/html, Size: 10526 bytes --]