LAFT 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, on June 20, 2011.

Scope

The LAFT Workshop is a forum on theoretical and logical aspects of fault-tolerance. We invite submissions on topics that fit under this broad umbrella. Suggested, but not exclusive, topics of interest for the workshop include:

* Specification based fault tolerance
* Automated reasoning about fault tolerance: Model checking, Synthesis, Theorem proving, Transformation
* Model theoretic fault tolerance
* Composition of fault tolerant components
* Architectures for fault tolerance
* Fault tolerance mechanisms
* Metrics for fault tolerance
* Logics for fault tolerance
* Semantics of fault tolerance and graceful degradation
* Fault tolerance in hybrid systems

Important Dates

Authors are required to submit a paper electronically:

Full Papers Due: March 20, 2011
Author Notification: April 28, 2011
Pre-workshop Versions Due: May 29, 2011.

In addition to contributed papers, the workshop will host three invited papers from the leading researchers in three different areas of theoretical aspects of fault tolerance.

Paper Submission

Papers must be submitted in the LNCS format and must be no longer than 15 pages (including the title, authors, abstract, figures, and references and excluding appendix). The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. One author of each accepted paper will be expected to present it at the workshop.

Publication

We are planning to publish extended versions of accepted submissions as well as invited contributions in a special issue of one of a highly prestigious journal on formal methods or logic.