Strange Loop

Sept 30 - Oct 2, 2021

/

Union Station

/

St. Louis, MO

Preconference Activities

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 (2.5 hours, $225)

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.

Workshops ($225):

Lunch ($50)

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+ Conf (Thu Sept 30, full day)

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.

TLA+ Workshop (Wed Sept 29, full day)

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!