Day closing
summary
Day closing gives practical logistics and requests: organizers ask for written feedback for future conferences and topics, note a planned meetup at 6:45 at the pub Coal Hole across from the conference hotel, and announce that a social tab is added to the Dafny conference website for details. Urgent reminder that the clock room is closing soon so attendees should collect belongings immediately.
AI-written summary · about