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

Re: Meeting of the TLA+ community at ABZ 2014

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