TLA+ Conference talks?

Marko Schütz-Schmuck

unread,

Sep 25, 2019, 4:37:55 PM9/25/19

to tlaplus

Will the talks of this year's TLA+ conference become available on e.g. YouTube? The StrangeLoop talks are there, so I was hoping...

Best regards

Marko

Markus Kuppe

unread,

Sep 25, 2019, 4:46:09 PM9/25/19

to tla...@googlegroups.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

Marko Schütz-Schmuck

unread,

Sep 25, 2019, 5:48:16 PM9/25/19

to tlaplus

Thanks!

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/8f895ce3-3e31-27b9-6390-057840a46ed7%40lemmster.de.

Dieter von Holten

unread,

Sep 27, 2019, 9:17:22 AM9/27/19

to tla...@googlegroups.com

" The recordings as well as the slides ..." - this is not precise.

You should say "most recordings and most of the slides...."

Markus Kuppe

unread,

Oct 21, 2019, 8:45:30 PM10/21/19

to tla...@googlegroups.com

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.

Reply all

Reply to author

Forward