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

Please register through the Strange Loop web site once registration is open in June, 2019.