University of Minnesota Twin Cities PL Seminar

About

This web page is intended to provide a loose organization to activities related to programming languages at the Department of Computer Science and Engineering at the University of Minnesota Twin Cities. Work in this area is carried out within the research groups of professors Favonia, Gopalan Nadathur and Eric Van Wyk. Work is also done in the closely related area of software engineering in the group led by professor Mats Heimdahl. Finally, professor Stephen McCamant leads a research group in the area of program analysis for software security.

If you are interested in participating but have only just stumbled on this page, feel free to attend the next meeting. You may also want to join the PL Seminar mailing list to stay informed about news of meetings and other activities.

Recent News

  • 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...
Choosing a Book for Fall
August 20, 2021

We’re on the last chapter of Seven Sketches in Compositionality, so it’s time to choose the book to start in the fall! The books are as listed on the Books page of this site. If there’s a book or activity you’d like people to vote on that isn’t listed, send the list a mail with the title!

Vote here!

State your availability here.

Calendar