TLA+ Community Meeting

[Stephan Merz]

A TLA+ Community Meeting will be organized on July 18, 2018, in Oxford. It will be co-located with FLoC 2018, the Federated Logic Conference.

The meeting is intended as a forum where practitioners and researchers interested in the use and further development of the TLA+ specification language and its associated tools meet in person and discuss. It will consist of tutorials that present recent developments concerning the TLA+ language and tools, and of contributed talks. David Langworthy of Microsoft Research has agreed to present a keynote on "TLA+ in Engineering Systems: Quinceañera".

Contributed talks are sollicited that present work of interest to users of TLA+ or 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.

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

If you want to contribute a presentation, please send a short (1-2 page) summary of your contribution to tla...@inria.fr by April 15, 2018. Please indicate how long you would like your presentation to be (20 or 40 minutes plus discussion). Notification will be given by May 15, 2018. The abstracts and presentations given at the event will be made available on the Web.

Participants are required to register through the FLoC 2018 registration site. Note that FLoC organizes a workshop dinner on July 18. Participants at the TLA+ Community Event are welcome to attend.

Full details at the Web site of the event: http://tla2018.loria.fr.

[Stephan Merz]

The program of the meeting is now online at http://tla2018.loria.fr/program.html, and it looks like we will have a productive meeting.

Participants are required to register through the FLoC 2018 registration site: you may register just for the day, but in any case please indicate that you will participate in the TLA+ Community Meeting on July 18. Optionally, you may also register for the workshop dinner organized by FLoC in the evening of July 18.

Looking forward to meeting you in Oxford in person,

Stephan

[Stephan Merz]

Let me post a reminder that the early registration period for FLoC ends on June 6. If you intend to participate, please register now and choose the TLA+ Community Meeting for July 18. At least ten participants need to register in order to avoid the meeting being canceled by the FLoC organizers.

Thank you,

Stephan

[Xabier Burgos]

I'd like to attend but sadly I'll be away on the date. Are there plans to organise community meetings on a somewhat regular basis?

[Stephan Merz]

We have had similar events every two years since 2012, with the exception of 2016, when we had to cancel due to an insufficient number of participants. It is conceivable to have a yearly meeting if there is sufficient interest.

By the way, most of the talks of the upcoming meeting will be filmed and made available online.

Best regards,

Stephan

On 11 Jul 2018, at 14:17, Xabier Burgos <xabier...@gmail.com> wrote:

I'd like to attend but sadly I'll be away on the date. Are there plans to organise community meetings on a somewhat regular basis?

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