[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:

https://conf.tlapl.us/2024/

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

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