Fwd: Logicpodcast: aboutlogic - First Season concluded. Next season starting soon.

[Joao Marcos]

---------- Forwarded message ---------

Dear colleagues,

We are happy to share that the aboutlogic podcast has completed its
first season, reaching a total of 10 episodes. We are delighted to
have reached over 1,000 subscribers within the first four months.
We are grateful for the support of the Academy of Sciences and
Humanities in Hamburg.

Over the course of this first season, we had the pleasure of speaking
with researchers from logic, computer science, and philosophy,
covering topics ranging from type theory and formalisation to the
sociology and philosophy of mathematics.

All episodes are available here:
https://www.youtube.com/@aboutlogic
https://aboutlogic.podigee.io/

Season 1 guests include:
Thorsten Altenkirch (Host)
Deniz Sarikaya (Host)
Kevin Buzzard
Graham Priest
Steve Awodey
Colin Rittberg
Alexander Steen
Deborah Kant
Andrej Bauer
Jordi Fairhurst & Seunghyun Song

We hope the podcast will be of interest to you, your students, and
anyone curious about logic and its many facets. Feedback and
suggestions for future episodes are very welcome.
We will wrap up this season in our next episode, that appears on May
6. Season 2 will begin in about a two weeks and will feature, (most
likely) among others:
- Urs Schreiber
- Bernhard Fisseni & Bernhard Schröder
- José Antonio Pérez-Escobar
- Joel Hamkins
- Emily Riehl
- ...

Since we will have no funding to cover the costs starting from season two.
Allow us the following comment: Your support helps us keep these
conversations going!
Please consider subscribing so you don't miss our biweekly episodes.
If you'd like to contribute, you can buy us a coffee here:
https://buymeacoffee.com/aboutlogic

Best regards,
Deniz & Thorsten