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

Re: Meeting of the TLA+ community at ABZ 2014

From: Andrew Helwer <andrew...@xxxxxxxxx>
Date: Sat, 4 Apr 2015 20:48:21 -0700 (PDT)
References: <f2bc5777-7cf2-4056-8ec8-01f5fb198b0a@googlegroups.com> <a57a5628-6193-4b9a-8cee-e4ae9c3429fc@googlegroups.com>

Are there plans to hold another meeting this year?

On Tuesday, June 10, 2014 at 3:01:59 AM UTC-7, Stephan Merz wrote:

Thanks to all participants at the TLA+ workshop in Toulouse for having it made a success. The slides of all presentations are available at http://tla2014.loria.fr/program.html.

Best regards,
Stephan Merz

Follow-Ups:
- Re: [tlaplus] Meeting of the TLA+ community at ABZ 2014
  - From: Stephan Merz

References:
- Re: Meeting of the TLA+ community at ABZ 2014
  - From: Stephan Merz

Prev by Date: Re: Why Amazon Chose TLA+
Next by Date: Re: [tlaplus] Meeting of the TLA+ community at ABZ 2014
Previous by thread: Re: [tlaplus] Re: Meeting of the TLA+ community at ABZ 2014
Next by thread: Re: [tlaplus] Meeting of the TLA+ community at ABZ 2014
Index(es):
- Date
- Thread