[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: Wed, 25 Sep 2019 13:45:59 -0700
- References: <CAJzDj1NHTyQwurS1Ajsi=gSOf+19=iSHn5kYk=hPSEwXKZq2Tw@mail.gmail.com>
On 25.09.19 13:37, 'Marko Schütz-Schmuck' via tlaplus wrote:
> Will the talks of this year's TLA+ conference become available on e.g.
> YouTube? The StrangeLoop talks are there, so I was hoping...
The recordings as well as the slides have been published at
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/8f895ce3-3e31-27b9-6390-057840a46ed7%40lemmster.de.