CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT)

CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT)

[Leo G Marcus]

[-- Attachment #1.1: Type: text/plain, Size: 1338 bytes --]

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

[-- Attachment #1.2: Type: text/html, Size: 1982 bytes --]

Call for Participation: Workshop on Logical Aspects of Fault Tolerance (LAFT)

[Leo.G.Marcus]

[-- Attachment #1.1: Type: text/plain, Size: 915 bytes --]

Call For Participation: Logical Aspects of Fault Tolerance (LAFT): 
a LICS 2009 Workshop 


The Logical Aspects of Fault Tolerance (LAFT) workshop will be held at in 
Los 
Angeles (UCLA)  on August 15, 2009 in conjunction with LICS 09. 
LAFT will bring together researchers with specialities in various fields 
(computer 
science, quantum information, biology) to discuss the phenomenon of fault 
tolerance 
at a higher level of abstraction with the purpose of defining and 
reasoning about 
the general logical principles that transcend specific implementation 
domains. 

Speakers include Shinichi Kikuchi, Carolyn Talcott, Joe Fitzsimons, Anish 
Arora, 
and Fuad Abu-Jarad. 

Early registration ends July 26. Go to 
http://compilers.cs.ucla.edu/lics-sas09/registration/ 


The workshop webiste is http://www.aero.org/support/laft/ 
and the conference website is 
http://www2.informatik.hu-berlin.de/lics/lics09/ 

[-- Attachment #1.2: Type: text/html, Size: 1186 bytes --]