International Workshop on the TLA+ Method and Tools
August 27, 2012
Paris, France (co-located with FM 2012)
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:
- Regular paper submissions will be reviewed by the program committee according to their novelty and the interest to the workshop, based on the first 15 pages of the contribution. Any remaining material can be included in an appendix that will be read at the discretion of the referees.
- Presentation-only submissions should include an abstract of 1 or 2 pages that allows the program committee to assess the novelty and the interest of the contribution to the workshop.
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.
Workshop participants will be required to register via the FM 2012 Web site.
May 13, 2012 submission deadline
June 17, 2012 notification
July 8, 2012 final version
August 27, 2012 workshop
- Damien Doligez, INRIA, Paris, France
- John Douceur, Microsoft Research, Redmond, U.S.A.
- Leslie Lamport, Microsoft Research, Mountain View, U.S.A. (co-chair)
- Stephan Merz, INRIA, Nancy, France (co-chair)
- Chris Newcombe, Amazon, Seattle, U.S.A.
- Werner Stephan, DFKI, Saarbrücken, Germany