University of Minnesota Twin Cities PL Seminar

About

Here you can find information on the seminar on 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.

To volunteer to give a talk at a future meeting, use the sign-up sheet. Simply put your name and the date on which you’d like to give a talk. See the calendar below for our schedule during the semester.

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

Recent News

2024-10-17 Talk: CompCert
October 17, 2024
  • Topic: CompCert - A Formally Verified Optimizing Compiler
  • Speaker: Linglong Meng
  • Location: Keller 2-225
  • Time: 4:00-5:00 pm
  • Paper: Simon Peyton Jones et al. A semantics for imprecise exceptions. ACM SIGPLAN Notices.
  • Speaker: Nathan Ringo
  • Location: Keller 2-225
  • Time: 4:00-5:00 pm
  • Paper: Perry Hart. Colimits in Homotopy Type Theory. Preprint.
  • Speaker: Perry Hart
  • Location: Keller 2-225
  • Time: 10:00-11:00 am
  • Paper: Sebastiaan Joosten. Finding models through graph saturation. Journal of Logical and Algebraic Methods in Programming.
  • Speaker: Sebastiaan Joosten
  • Location: Keller 5-212
  • Time: 10:00-11:00 am
  • Paper: Dale Miller and Gopalan Nadathur. Programming with Higher-Order Logic, Ch. 8.
  • Speaker: Nathan Guermond
  • Location: Keller 5-212
  • Time: 10:00-11:00 am

Calendar