Re: [tlaplus] Teaching TLA+ How?

[Hillel Wayne <hwayne@xxxxxxxxx>]

I've taught a bunch of TLA+ workshops at this point for all kinds of groups. Lemme know if you want to schedule a half hour to talk over ideas and structure.

H

On 10/12/2022 3:13 PM, ovidiu...@xxxxxxxxx wrote:

Hello,

Looking to teach TLA+ at the university for college/master students are there any available courses online?

I was only able to find this conversation https://discuss.tlapl.us/msg02777.html

I am also aware of available resources like

https://lamport.azurewebsites.net/tla/tla.html

http://lamport.azurewebsites.net/video/videos.html

Thanks,

Ovidiu Marcu

--
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/3322619e-d0a4-48e1-bc9b-0bb24a46cb67n%40googlegroups.com.

-- 
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/b0d78e03-9389-95d0-93af-f5ce4bf21f1b%40gmail.com.