Videos from TLA+ conference 2024
Murat Demirbas
Hi Everyone,
The talk videos from the TLA+ Conference 2024 are being released gradually. I've been informed that this deliberate pacing is intended to build anticipation and excitement. (Although, I can't fathom how I could get any more excited about TLA+!)
The conference webpage has links to all the talks and videos, with some still marked as private for the time being:
Additionally, a YouTube playlist has been created, which will include all the videos. More videos will be made public <>, so stay tuned.
YouTube Playlist: https://www.youtube.com/playlist?list=PLWLcqZLzY8u9d78Ey5KUCMFLgNgYoFgCX
I'd like to take this opportunity to thank Markus Kuppe and Julia Ferraioli again for their hard work in organizing and running the conference.
Best regards,
Murat