posted by user: borzoob || 4419 views || tracked by 10 users: [display]

LAFT 2011 : 2nd International Workshop on Logical Aspects of Fault-Tolerance

FacebookTwitterLinkedInGoogle

Link: http://ece.uwaterloo.ca/~bbonakda/LAFT11
 
When Jun 20, 2011 - Jun 20, 2011
Where Toronto, Canada
Submission Deadline Mar 20, 2011
Notification Due Apr 28, 2011
Categories    formal methods   mathematical logic   fault-tolerance   specification and verification
 

Call For Papers

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.

Related Resources

CFP&CFSP-DFT 2024   DFT 2024 | 37th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems
FM 2024   Formal Methods
IEEE TDMR special issue on DFT 2024   CALL FOR PAPERS for the Special Issue on Defect and Fault Tolerance in VLSI and Nanotechnology Systems In the IEEE Transactions on Device and Materials Reliability
ICFEM 2024   International Conference on Formal Engineering Methods
SSS 2024   The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
EDCC 2024   19th European Dependable Computing Conference
TAP 2024   18th International Conference on Tests and Proofs
IEEE ICAIGE 2024   2024 IEEE 2nd International Conference on Artificial Intelligence & Green Energy
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems