[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[tlaplus] TLA+ Conference talks?
From
: 'Marko Schütz-Schmuck' via tlaplus <
tlaplus@xxxxxxxxxxxxxxxx
>
Date
: Wed, 25 Sep 2019 16:37:44 -0400
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
--
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/CAJzDj1NHTyQwurS1Ajsi%3DgSOf%2B19%3DiSHn5kYk%3DhPSEwXKZq2Tw%40mail.gmail.com
.
Follow-Ups
:
Re: [tlaplus] TLA+ Conference talks?
From:
Markus Kuppe
Prev by Date:
[tlaplus] Re: Time-outs
Next by Date:
Re: [tlaplus] TLA+ Conference talks?
Previous by thread:
Re: [tlaplus] non-atomic Peterson in TLA+
Next by thread:
Re: [tlaplus] TLA+ Conference talks?
Index(es):
Date
Thread