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

Re: TLA+ Community Meeting

From: Xabier Burgos <xabier...@xxxxxxxxx>
Date: Wed, 11 Jul 2018 05:17:39 -0700 (PDT)
References: <659bc518-1f5e-4d54-8e0e-ba48a7ab0b29@googlegroups.com>

I'd like to attend but sadly I'll be away on the date. Are there plans to organise community meetings on a somewhat regular basis?

Follow-Ups:
- Re: [tlaplus] Re: TLA+ Community Meeting
  - From: Stephan Merz

References:
- TLA+ Community Meeting
  - From: Stephan Merz

Prev by Date: Re: Simple Concurrent/Distributed example with an implementation
Next by Date: Re: [tlaplus] Re: TLA+ Community Meeting
Previous by thread: Re: TLA+ Community Meeting
Next by thread: Re: [tlaplus] Re: TLA+ Community Meeting
Index(es):
- Date
- Thread