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

Re: [tlaplus] TLA+ Conference talks?

On 25.09.19 13:45, Markus Kuppe wrote:
> The recordings as well as the slides have been published at
> https://conf.tlapl.us/program

The recording of Jay Parlar's talk "Alloy for TLA+ users" is finally
also available:


PS: Hillel Wayne requested his talk not to be recorded.

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/b5e82bba-0f65-44ea-a515-ac587a9f2c54%40lemmster.de.