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


Proposals for presentations, with a one-page summary of the content, should be sent by July 01, 2019 to <<tla2019>> \o <<@>> \o <<>>. Notification of acceptance will be given by July 15, 2019. The abstracts and presentations given at the event will be made available on the web.