Logic List Mailing Archive

LAFT: Logical Aspects of Fault Tolerance

15 August 2009
Los Angeles CA, U.S.A.

Event Title: Workshop on Logical Aspects of Fault Tolerance (LAFT)
(affiliated with LICS 2009)

Date: 08/15/2009

Location: University of California, Los Angeles

URL: www.aero.org/support/laft

Description:

We are soliciting papers on logical aspects of fault tolerance. The concept of
"fault" underlies essentially all computational systems that have any goal.
Loosely speaking, a fault is an unintended event that can have an unintended
effect on the attainment of that goal. "Fault tolerance" is the term given to a
system's ability to cope in some way with a fault, either inherently or through
design. Fault tolerance has been studied for its application to circuits, and
then branching out to distributed systems and more recently to quantum
computers, where the concern with fault tolerance is almost the paramount
issue. The relevance to biological computation is also obvious. Papers must be
concerned with mathematical logical approaches to fault tolerance,
not simply fault tolerance.
Selected papers will appear in Logic Journal of the IGPL (Oxford U. Press).

IMPORTANT DATES:
Papers due: April 17, 2009
Notification: May 22, 2009
Final papers: July 10, 2009
Workshop: August 15, 2009

Please send all workshop correspondence, including submissions, to
marcus@aero.org