[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
https://conf.tlapl.us/program
Best
Markus
--
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.