Detroit Tech Watch: Weeks Of Debugging Can Save You Hours of TLA+

Name: Weeks Of Debugging Can Save You Hours of TLA+ — COLLIDER
Start: 2022-01-18T19:00:00-0500
End: 2022-01-18T21:00:00-0500

Tuesday, January 18, 2022
7:00 PM 9:00 PM 19:00 21:00

Google Calendar ICS

Details:

Detroit Tech Watch is back with the Collider team in 2022! This time, they are introducing us to TLA+ expert Markus Kuppe, who will show us what this language used for modeling programs and systems is all about.

For more information and tools click the link below:
https://www.meetup.com/Detroit-Tech-Watch/events/282933623/

RSVP