University of Minnesota Twin Cities PL Seminar

  • We’re meeting from 3:50pm to 5:00 on Thursday, 2021-09-23.
  • We’re planning to discuss “On the Unusual Effectiveness of Logic in Computer Science” (pdf).
  • If you want to attend in person, we have reserved Room 2-225 in Keller Hall.
  • If you want to attend via Zoom, the link is here.
  • There’s a calendar event here, and the group calendar is currently here.


  • Meeting time was pushed back by 20 minutes to avoid conflicting with CSCI5106.