TLA+ Conference - September 30, 2021 St. Louis, MO, USA

I don’t know if anyone here is planning to attend the TLA+ conference in St. Louis in conjunction with Strange Loop but there’s a talk scheduled that would certainly seem to be worth checking out:

Elixir Code Generation from TLA + specifications

Just wanted to make sure people are aware.