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

TLA+ community event 2016

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