University of Minnesota Twin Cities PL Seminar

  • Speaker: Nathan Guermond
  • Abstract: The goal will be twofold, firstly to understand how to design algebraic effect handlers to model effects, and secondly to understand the relationship between monads and algebraic effects. I will give plenty of examples including how to use the OCaml interface for effects.
  • Location: Keller 6-212
  • Time: 1-2 pm
  • 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...
  • Since the paper is dense, we’ve moved this meeting to 3:50pm to 5:00 on Thursday, 2021-11-04.
  • 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...
  • 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...
  • 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...