English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    
Browse thread
CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Leo.G.Marcus@n...
Subject: Call for Participation: Workshop on Logical Aspects of Fault Tolerance (LAFT)
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/