2026 event planning #52
Description
We will use this issue to plan and schedule events for 2026.
Talks
Schedule
- 2026-01-?? - 2026 kickoff event (planning TODO)
- 2026-02-10 - Regular meetup - Web double header
- 2026-03-10 - Regular meetup
- @donovancrichton - algebra presentations as interfaces, covering common FP algebras, free algebras, and categories as algebras
- ?
- March? - Q1 Hack Day (proposed Sat 21 or Sat 28)
- 2026-04-14 - Regular meetup
- ?
- 2026-05-12 - Regular meetup
- ?
- 2026-06-09 - Regular meetup
- ?
- May/June? - Q2 Hack Day
- 2026-07-14 - Regular meetup
- ?
- August-September? - Q3 Hack Day
- 2026-08-11 - Regular meetup
- ?
- 2026-09-08 - Regular meetup
- ?
- 2026-10-13 - Regular meetup
- ?
- October/November? - Q4 Hack Day
- 2026-11-10 - Regular meetup
- ?
- 2026-12-xx - End of year Social event?
- TODO
Concrete but unscheduled
These are concrete talk proposals where we have a willing presenter. Please file separate issues for general topic requests.
- Naso Evangelou-Oost - Subtypes and quotient types in Lean 4
- @flatwhatson - Hygienic Macrology in Scheme
- @flatwhatson - Type Reconstruction in Pre-Scheme
Requested topics
- Debugging in Haskell (stack traces, etc)
Venues
- BCC Library Brisbane Square (main talks)
- UQ St Lucia (hack days)