* aboutlogic podcasts
@ 2026-01-12 16:19 Thorsten Altenkirch (staff)
0 siblings, 0 replies; only message in thread
From: Thorsten Altenkirch (staff) @ 2026-01-12 16:19 UTC (permalink / raw)
To: types-announce@lists.seas.upenn.edu,
homotopytypetheory@googlegroups.com, categories@mq.edu.au,
constructivenews@googlegroups.com
[-- Attachment #1: Type: text/plain, Size: 3681 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<https://url.au.m.mimecastprotect.com/s/eOU3CRONg6svXmPYMS9fKH1-fNA?domain=youtu.be>
* Deniz Sarikaya
https://youtu.be/9WAZXie752I<https://url.au.m.mimecastprotect.com/s/SdgtCVARmOHx8wjBWUzhvHE9u45?domain=youtu.be>
* Kevin Buzzard
https://youtu.be/_1it1ndQbj0<https://url.au.m.mimecastprotect.com/s/S7nzCWLVn6i589w3MuKi2HoLC0r?domain=youtu.be>
Listen and subscribe here:
https://www.youtube.com/@aboutlogic<https://url.au.m.mimecastprotect.com/s/6AxlCXLW6DiXZ57A8fksEHW0V0O?domain=youtube.com>
________________________________
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/<https://url.au.m.mimecastprotect.com/s/6CUwCYW86EsLX1oYnSMtQHxJ4I-?domain=cs.nott.ac.uk/> ) and Deniz Sarikaya ( https://www.denizsarikaya.de/<https://url.au.m.mimecastprotect.com/s/bKt1CZY146s5Y4nvkuPu3HBdz7R?domain=denizsarikaya.de/> ) and produced by Jan-Niklas Meyer ( http://www.jammos.com/<https://url.au.m.mimecastprotect.com/s/rL-IC1WLjwsMXzwgPuyC3HV_H3h?domain=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're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #2: Type: text/html, Size: 12524 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-01-12 18:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-01-12 16:19 aboutlogic podcasts Thorsten Altenkirch (staff)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).