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

RE: [tlaplus] Re: 2016 TLA+ Workshop

I just noticed this sitting in my inbox.  We’ve applied to hold the workshop with the Formal Methods conference in Cyprus in November.   (Just search for Formal Methods 2016.)  We won’t hear back from them for a while.




From: tla...@xxxxxxxxxxxxxxxx [mailto:tla...@xxxxxxxxxxxxxxxx] On Behalf Of Andrew Helwer
Sent: Tuesday, January 19, 2016 4:42 PM
To: tlaplus <tl...@xxxxxxxxxxxxxxxx>
Subject: [tlaplus] Re: 2016 TLA+ Workshop


Very interested in the conference! It will be announced here?

On Tuesday, November 3, 2015 at 9:31:12 AM UTC-8, Leslie Lamport wrote:

There have been two TLA+ workshops: the first in Paris in August 2012
co-located with the Formal Methods Conference; the second in Toulouse,
France in June 2014 co-located with the ABZ Conference.  We are
thinking of having a third one in 2016.  We are interested in
attracting users and potential users from industry as well as
academia.  We would like to hear your suggestions about when and
where to hold it.  Two possible conferences at which it could be
held are


   ABZ - Linz, Austria 23-27 May
   Formal Methods - Cyprus 7-11 November


However, perhaps you could suggest a better alternative--especially
for people in industry and educators.  It might also be nice to hold
the next one in North America. 





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+unsu...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.