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

Re: Meeting of the TLA+ community at ABZ 2014

From: Stephan Merz <stepha...@xxxxxxxxx>
Date: Tue, 10 Jun 2014 03:01:59 -0700 (PDT)
References: <f2bc5777-7cf2-4056-8ec8-01f5fb198b0a@googlegroups.com>

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: Meeting of the TLA+ community at ABZ 2014
  - From: Andrew Helwer
- Re: [tlaplus] Re: Meeting of the TLA+ community at ABZ 2014
  - From: Annie Liu

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