© 2021 Strange Loop
On the day before the conference (Sep 30th), the Strange Loop preconference provides a number of additional optional activities. All of these have a cost and require pre-registration (spots are limited). Additionally, attendees of the TLA+ Conference have an additional workshop option BEFORE the preconference day on Sept 29th.
Workshops are held at Union Station and provide the opportunity for longer, focused hands-on work. All workshops are 2.5 hrs except for the Actor workshop, which is 4 hours. Attendees are expected to bring their own laptop for the session. Materials and installation instructions will be provided the week prior to the conference.
NOTE: Lunch is NOT included with these workshops. You may purchase it as a standalone item, or there are restaurants both on-premise and in the area.
If you are a workshop attendee or a conference attendee arriving early, lunch is available as a standalone item for convenience. Restaurants are also available on-premise and in the surrounding area. Many attendees walk, scooter, or ride-share to downtown restaurants.
TLA+ Conference brings together industrial users of the TLA+ specification language and its associated tools; it complements the biannual TLA+ workshops. The conference will consist of invited talks that present developments concerning the TLA+ language and tools, and of contributed talks.
If you're attending the TLA+ Conference and you want to get a full day of instruction the day before, you can do so at the TLA+ Workshop! Note that this is the only event the day BEFORE the preconference day!