- 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.
Sorry this was so late! I’ll try to ensure next meeting’s is up much much sooner!