[FOM] Fw: Logical Aspects of Fault Tolerance Workshop (Call for Participation)

by way of Martin Davis <martin@eipye.com> Leo.G.Marcus at notes.aero.org
Fri Jul 10 18:24:30 EDT 2009

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 

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

More information about the FOM mailing list