TLA+ Conference
12. September 2019
St. Louis, MO, USA