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

We do not have any plans for a TLA workshop in 2015. Following the workshops in 2012 and 2014, we could again organize a meeting in 2016, for example at ABZ 2016 (http://www.cdcc.faw.jku.at/ABZ2016/). Feedback on the opportunity of such a meeting and its format (in particular, on the mix of tutorials and contributed presentations) would be very welcome.

On 05 Apr 2015, at 05:48, Andrew Helwer <andrew...@xxxxxxxxx> wrote:

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

--
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.