Re: [tlaplus] Teaching TLA+ How?

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Hi Ovidiu,

check out https://github.com/tlaplus/awesome-tlaplus#university-courses-teaching-with-tla

Shameless plug, my workshop material is available online [1] under a permissive license. Note, though, that it targets industrial users. 

Markus

[1] https://github.com/tlaplus-workshops/ewd998

> On Oct 12, 2022, at 1:13 PM, ovidiu...@xxxxxxxxx <ovidiu21marcu@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/6B0AADD8-93CE-45EE-956C-A8B378F150A7%40lemmster.de.