[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Videos from TLA+ conference 2024

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,

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6b21d7ed-37fa-4afb-9cd6-e349881dec8cn%40googlegroups.com.