Re: [tlaplus] Re: Meeting of the TLA+ community at ABZ 2014

[Annie Liu <anni...@xxxxxxxxx>]

Hi Stephan,

I really wanted to say thank you!  The slides are wonderful and most helpful!

Best,
Annie

On Tue, Jun 10, 2014 at 6:01 AM, Stephan Merz <stepha...@xxxxxxxxx> 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
>
> --
> You received this message because you are subscribed to the Google Groups
> "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at http://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.