TLA+ Video Course License

[Mehdi Sabraoui]

Hello

I'd like to remix the TLA+ Video Course on youtube, but I don't see a license on the site https://lamport.azurewebsites.net/video/videos.html. Does it have an explicit license? If not, would it be possible to contact Dr. Lamport to request permission?

Thanks!

Mehdi Sabraoui

[Ovidiu Marcu]

Mehdi,

you may want to check with the author. What kind of remix? (https://www.youtube.com/results?search_query=lamport+tla%2B)  From https://lamport.azurewebsites.net/

If you believe this to be the case, or if you think you have something to tell me that I want to hear, you can send me email at the address obtained by reversing the order of the characters in the ten-letter string   ll.sulpalt   and appending   @gmail.com   to it. 

--
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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/c18a7f48-6a70-4b54-933d-68978ad9b6bfn%40googlegroups.com.

[Mehdi Sabraoui]

Unfortunately that email no longer works. It bounced back to me. 

I found the lecture series to be relaxing while I was going through it with music in the background. I’d like to use it with similar music as an asmr-style video. I believe that case is absolutely not fair use

You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/0TthPZMcFe4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAGxa7HUO87z7sw5J86bZiZ6VZRHANePLwizPUNMeAoZc9Dbq4Q%40mail.gmail.com.