1. Agenda

• Electing a new treasurer (if AdamChlipala still wishes to vacate the position)

• Usual financial report
  • Income, Monthly expenses, member count, deficit size, etc.
• Report from sysadmins: overall and per-person
• Feedback from members / Any other business