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

Submissions

Proposals for presentations, with a one-page summary of the content, should be sent by July 01, 2019 to <<tla2019>> \o <<@>> \o <<tlapl.us>>. 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.