1. Introductions and ad hoc items
  2. Anything about the new release (Brent)
  3. Mike's proposal: https://hackmd.io/O4c3wiLZQLeXuXirm7dl9A
  4. Discussion on groups of unknown order.
  • No labels