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

Re: TLA+ community event 2016



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

On Monday, 10 October 2016 12:08:49 UTC-5, Leslie Lamport wrote:
Should we organize a TLA+ workshop?  There was little interest in one attached to the Formal Methods conference in Cyprus this year.  We would like to know if that was because of the time and/or place of the event, or because there is little interest in a TLA+ workshop.  Please let us know whether or not you would attend one if it were at a sufficiently convenient time and place--and what you would consider sufficiently convenient.  Please respond to me and I'll post a summary of the responses.

Thanks,

Leslie