This event has ended. Visit the official site or create your own event on Sched.
Gateways 2020 is scheduled from October 12 to October 23, with the tutorial and workshop track during the first week and the main conference track during the second week. This fifth Gateways annual conference is an opportunity for gateway creators and enthusiasts to learn, share, connect, and shape the future of gateways, while supporting and growing our community. Register for the conference by October 5.

The default time zone is Eastern Time. You can adjust it to your time zone on the right side of the schedule underneath the search box (or in the top bar, depending on the width of your screen).

Already registered for the conference and want to personalize your own schedule? Sign up for your own free Gateways 2020 Sched account. Note: Signing up for Sched is NOT the same as registering for the conference.
Back To Schedule
Thursday, October 22 • 4:00pm - 4:50pm
Learning Lab Room 1: Formal Methods for Verifying Research Computing Infrastructure

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Join this Learning Lab in Room 1, accessible from Thursday's QiqoChat Event Space. Scroll down the sidebar, just past the Sponsor booths, to find the Learning Lab sessions.

Host: Joe Stubbs

Description: Formal methods, and TLA+ in particular, are gaining traction in industry as a way to verify properties of a software system. At TACC, we have recently started using TLA+ to verify aspects of our Abaco API, a "functions-as-a-service" platform. While still in the early stages of this endeavor, we have been encouraged by the results so far. We're interested to see if anyone else is using (or thinking about using, or just interested in talking about the potential use of) formal methods for their projects.  

Thursday October 22, 2020 4:00pm - 4:50pm EDT
Learning Lab Rooms