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)