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

Re: [tlaplus] TLA+ Conference talks?

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Mon, 21 Oct 2019 17:45:21 -0700
References: <CAJzDj1NHTyQwurS1Ajsi=gSOf+19=iSHn5kYk=hPSEwXKZq2Tw@mail.gmail.com> <8f895ce3-3e31-27b9-6390-057840a46ed7@lemmster.de>

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:
https://youtu.be/tZywZc04lJg?list=PLWLcqZLzY8u_Osnz-YPOVrptG1ys73OkR

Markus

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.

References:
- [tlaplus] TLA+ Conference talks?
  - From: 'Marko Schütz-Schmuck' via tlaplus
- Re: [tlaplus] TLA+ Conference talks?
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] Using the primed variables in proofs
Next by Date: [tlaplus] [TLAPS] Is there a way to see the steps taken by the automated prover to prove a goal ?
Previous by thread: Re: [tlaplus] TLA+ Conference talks?
Next by thread: [tlaplus] help understanding TLC error
Index(es):
- Date
- Thread