#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
Type Theory Forall
English - September 24, 2022 11:15 - 1 hour - 64.6 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #22 Impredicativity, EM, Realizability and more - Cody Roux
Next Episode: #24 The History of Isabelle - Lawrence Paulson
In this episode we talk about Sigplan, the organization behind the most
important conferences and proceedings in our field. What is the SIGPLAN? What
exactly does it do? How is it organized? How are things published? To answer
these and many other questions we talk with Jens Palsberg, a professor at
UCLA, who is the past chair of the SIGPLAN. And also Jonathan Aldrich, a
professor at the CMU, who is a member of the ACM publication board.
Links
Jen's Website
Jonathan's Website
Jonathan's Twitter
Sigplan Blog
Post on Hybrid Conferences
SIGPlAN-M Mentoring Program