Logic List Mailing Archive

LAFT: Logical Aspects of Fault Tolerance, 15 Aug 2009, Los Angeles CA (U.S.A.)

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/