2016 TLA+ Workshop

[Leslie Lamport]

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. 

Thanks,

Leslie

[Annie Liu]

Hello. 

This sounds great!  

How about CAV 2016, July 17-23, Toronto?

http://i-cav.org/2016/

Best, Annie

[Andrew Helwer]

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

[Leslie Lamport]

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.

 

Leslie

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