[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From
: Cheng Huang <
cheng...@xxxxxxxxx
>
Date
: Sat, 18 Jun 2016 09:54:24 -0700 (PDT)
References
: <
01462cf9-1663-4d6e-a14b-83e1695a35c7@googlegroups.com
> <CAD5NRCGsUR_H56kte=Hzkc1PLw3X4DvXZeZ8VDNQKONtM=guOg@mail.gmail.com> <
0E7F0F91-8772-4832-B4AF-EF7A458CB091@gmail.com
> <
CAEui0wVVucNjUDbVGeimZ1b3dYC2F38oM3d4gY1B2Fd0ok+MSA@mail.gmail.com
>
Yes, the lectures will be recorded and available for on-demand watching, accessible from any platform. :-)
Thanks,
-- Cheng
Follow-Ups
:
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From:
Simon Cross
References
:
[Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From:
Cheng Huang
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From:
Simon Cross
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From:
Stephan Merz
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
From:
Luke Dunstan
Prev by Date:
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Next by Date:
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Previous by thread:
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Next by thread:
Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)
Index(es):
Date
Thread