University of Minnesota Twin Cities PL Seminar

  • We’re meeting from 2:30pm to 4:00 on Monday, 2022-02-21.
  • We’re planning to discuss “Separation Logic and Abstraction” (pdf).
  • If you want to attend in person, we have reserved Room 6-212 in Keller Hall.
  • Since no one had been using our Zoom link last semester, we are not currently providing this option. However, if you are interested in attending remotely, please email the mailing list so that we can accomodate you!
  • There’s a calendar event here, and the group calendar is currently here.
More...
  • We’re meeting from 3:50pm to 5:00 on Thursday, 2021-10-21.
  • We’re planning to discuss “Sequent Calculus as a Compiler Intermediate Language” (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.
More...

Since the paper is a bit dense, we’re moving back the meeting.

We’re also making a bit of a procedural change, to choose a paper for the next meeting at the meeting. This should avoid the situation where a paper is chosen late!

2021-10-07 Meeting

October 7, 2021
  • We’re meeting from 3:50pm to 5:00 on Thursday, 2021-10-07.
  • We’re planning to discuss “Inadequacy of Computable Loop Invariants” (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.
More...

First Meeting

September 15, 2021
  • 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.
More...