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

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.