[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ community event 2016

From: fl <freder...@xxxxxxxxxxx>
Date: Thu, 13 Oct 2016 03:39:06 -0700 (PDT)
References: <777255e9-99f9-4a4f-87ab-5a0f17be31dc@googlegroups.com> <a06f1846-fb0a-40c6-b714-95f93b4e32ac@googlegroups.com> <c6b7bab8-3a1a-4477-9e01-abe7ad2c1d98@googlegroups.com>

While I would not be able to attend, I'd be interested in watching a live stream.

It's like for theater. You need people on stage :)

--

FL

References:
- TLA+ community event 2016
  - From: Stephan Merz
- Re: TLA+ community event 2016
  - From: Leslie Lamport
- Re: TLA+ community event 2016
  - From: Hillel Wayne

Prev by Date: Re: TLA+ community event 2016
Next by Date: TLA+ and pluscal BNF grammars
Previous by thread: Re: TLA+ community event 2016
Next by thread: Re: TLA+ community event 2016
Index(es):
- Date
- Thread