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

Re: TLA+ community event 2016

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...@xxxxxxxx if you intend to present at the workshop.

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


On Friday, July 22, 2016 at 6:31:07 PM UTC+2, Stephan Merz wrote:
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