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

Re: [tlaplus] 2016 TLA+ Workshop

This sounds great!  
How about CAV 2016, July 17-23, Toronto?
Best, Annie

On Tue, Nov 3, 2015 at 12:31 PM, Leslie Lamport <tlapl...@xxxxxxxxx> 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.
> Thanks,
> Leslie