This sounds great!
How about CAV 2016, July 17-23, Toronto?
On Tue, Nov 3, 2015 at 12:31 PM, Leslie Lamport <tlapl...@xxxxxxxxx
> 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.