TLA+ community event 2016

[Stephan Merz]

A TLA+ community event will be organized as a satellite of FM 2016, the 21st International Symposium on Formal Methods, in Limassol, Cyprus, on November 7 or 8, 2016 – the exact date is to be confirmed by the organizers of FM 2016. As in previous years, the program will consist of a mix of tutorial presentations and contributed talks. Besides a basic tutorial on TLA+ by myself for interested participants new to TLA+, there will be tutorials by Markus Kuppe on TLC and by Michael Leuschel and Dominik Hansen on "Animation, Visualisation and Constraint Solving for TLA+ Using ProB".

Contributed talks should present work of interest to users of TLA+ and PlusCal, such as

• industrial and academic case studies,
• new tools for TLA+,
• innovative use of existing tools or reports on their shortcomings,
• use of TLA+ in education.

This list is not exhaustive. Presentations should be informal and leave sufficient time for discussions. There will not be formal proceedings, and presentations of relevant work published elsewhere are welcome.

Important dates:

• September 16: submission of a short (1-2) page abstract summarizing the content of the contribution
• September 23: notification of acceptance
• November 7 or 8: TLA+ workshop

Participants will be required to register for attending the event through the FM 2016 Web page.

For more details, see http://tla2016.loria.fr.

Hope to meet many of you at this event!

Stephan Merz

[Stephan Merz]

Reminder: the TLA+ community event associated with FM 2016 is scheduled for November 7. Contributions presenting uses of TLA+ in industry or academia, extensions of existing tools for TLA+ or presentations of new tools are most welcome.

Please contact tla...@inria.fr if you intend to present at the workshop.

Web page: http://tla2016.loria.fr

Thanks,

Stephan

[Stephan Merz]

Since we have not received any proposals for presentations at the workshop or other statements of interest, we suggest canceling the event. We believe that the ongoing DrTLA+ series better serves the community at this point, and that any future physical workshop should be organized at a place that is easier to reach. If there is strong support for maintaining the workshop at FM 2016, please speak up quickly.

Stephan (also on behalf of Leslie)

[Andrew Helwer]

Aw shucks. Wasn't someone going to present a TLA+ visualization module? This was mentioned back in my thread on the analysis of Runway.

[Stephan Merz]

We'll try to organize another event at a place that's easier to reach, where Michael Leuschel or members of his group will present the link between ProB and TLA+. See also https://www3.hhu.de/stups/prob/index.php/Main_Page.

Best regards,

Stephan

On 29 Sep 2016, at 17:40, Andrew Helwer <andrew...@gmail.com> wrote:

Aw shucks. Wasn't someone going to present a TLA+ visualization module? This was mentioned back in my thread on the analysis of Runway.

--
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.

[Leslie Lamport]

Should we organize a TLA+ workshop?  There was little interest in one attached to the Formal Methods conference in Cyprus this year.  We would like to know if that was because of the time and/or place of the event, or because there is little interest in a TLA+ workshop.  Please let us know whether or not you would attend one if it were at a sufficiently convenient time and place--and what you would consider sufficiently convenient.  Please respond to me and I'll post a summary of the responses.

Thanks,

Leslie

[Hillel Wayne]

While I would not be able to attend, I'd be interested in watching a live stream.

[fl]

 

While I would not be able to attend, I'd be interested in watching a live stream.

It's like for theater. You need people on stage :)

 

--

FL

[Leslie Lamport]

On 10 October I asked members of the group to let me know whether or

not they were interested in a TLA+ workshop.  I received 6 responses,

which I have summarized below.  The small number of responses suggests

to me that there is not much interest in a workshop.

Leslie

 

 - While I would like to hear experiences from other TLA+ users, I am

   mostly interested in updates to TLA+, both in research and in

   changes to the tools and additions to the language.

 

 - Our group is very much interested in attending a TLA+ workshop...

   It would be really great to hear case studies from industry, in

   which case the location should be closer to the industry people--

   for instance, at the NASA Formal Methods meeting.

 

 - While I would not be able to attend, I'd be interested in watching

   a live stream.

 

 - My group would be interested.  Anywhere near New York City would

   be convenient, but a major conference like PODC or CAV in the US

   would be nice too.

 

 - I would attend a TLA+ workshop, and possibly also bring a few

   (2-3) colleagues, if it was in the US or continental Europe

   (rather than Cyprus).

 

 - Definitely want to attend.  Somewhere in Europe will be more

   convenient than the US.

[fl]

 - While I would not be able to attend, I'd be interested in watching

   a live stream.

Regarding the live Stream, here is an interesting discussion on how to add subtitles to a video easily (it begins

4 messages before the end.)

https://groups.google.com/forum/?hl=fr#!topic/metamath/FGn-O0u7OjI

 

I think Stephan has a teaching activity and can certainly confirm that subtitles are of

use in the rest of the world. (And even for those who are older than his students.)

--

FL