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).
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.