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
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
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at
For more options, visit