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

Schedule(t) == ...

Talks == UNION { {"case studies","success stories"},
                 {"TLC",  "Toolbox", "TLAPS", "SANY"},
                 {"teaching", "courses"} }

\A talk \in Talks : Schedule(talk)