Cover Image for BFPG Meetup - April 2025 - IT Education in Qld + STLC
Cover Image for BFPG Meetup - April 2025 - IT Education in Qld + STLC
Curious minds interested in practice and theory of functional programming (FP). Our members range from absolute beginner to expert. All are welcome!
Registration
Welcome! To join the event, please register below.
About Event

Join the BFPG Discord: https://discord.gg/yYz2d8w7FY

Agenda

  • 18:00: Welcome and setup

  • Presentation #1: An Overview of IT Education in Queensland - Thea

  • Presentation #2: Simply Typed Lambda Calculus with explicit substitutions - Donovan Crichton

  • 20:00ish: Pack down, head to Criterion pub.

Location
Brisbane Square Library
266 George St, Brisbane City QLD 4000, Australia
We meet in the Tiered Theatrette (ground floor). You may need to see the security guard for access after 18:00.
Curious minds interested in practice and theory of functional programming (FP). Our members range from absolute beginner to expert. All are welcome!