Important dates

submission: May 20
notification: June 17
final version: July 8
workshop: August 27


The TLA+ workshop is a forum for practitioners and researchers interested in the use and further development of the TLA+ specification language and its associated tools. Presentations of academic or industrial developments based on TLA+ or PlusCal, of extensions of the existing tools or of the innovative use of these tools are of particular interest. Contributions pointing out shortcomings of the existing tools and suggesting further improvements are also welcome.

Typical contributions may describe case studies concerning the development of hardware and software systems, including embedded systems, security-critical systems, or parallel and distributed algorithms. We are also interested in reports and novel ideas concerning the integration of TLA+ with other system engineering techniques, in reports on using TLA+ in teaching, and in any other topic clearly related to the TLA+ language or tools. Presentation of ongoing work is specifically encouraged. The workshop is intended to be a quite informal meeting of the TLA+ community, with sufficient time left for discussions.

Two categories of submissions to the TLA+ workshop are sought:

All submissions will be handled through the EasyChair system. There will be no formal workshop proceedings; accepted papers and presentations will be posted on the Web site of the workshop and will be made available to attendees of FM 2012.

Program committee