* CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT) @ 2009-03-17 19:39 Leo G Marcus 2009-07-10 20:49 ` Call for Participation: " Leo.G.Marcus 0 siblings, 1 reply; 2+ messages in thread From: Leo G Marcus @ 2009-03-17 19:39 UTC (permalink / raw) To: puml-list, reliable_computing, procos, concurrency, categories, moca-announce, jml, ccp [-- 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 --] ^ permalink raw reply [flat|nested] 2+ messages in thread
* Call for Participation: Workshop on Logical Aspects of Fault Tolerance (LAFT) 2009-03-17 19:39 CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT) Leo G Marcus @ 2009-07-10 20:49 ` Leo.G.Marcus 0 siblings, 0 replies; 2+ messages in thread From: Leo.G.Marcus @ 2009-07-10 20:49 UTC (permalink / raw) To: Leo G Marcus Cc: agents, reliable_computing, procos, concurrency, categories, moca-announce, jml, ccp, puml-list, csl, ipa, comlab, theory-logic, logic-announce, umsec-events, behavior, petrinet, haskell, acl2, se-group, seworld, pvs, caml-list, fmics, seminar, eacsl, coalgebras, isabelle-users, nwpt-info, appsem, coq-club, logic-list, nvti-list, pvs-bounces+marcus=aero.org, formal-methods [-- 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 --] ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-07-10 20:49 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2009-03-17 19:39 CFP: Workshop on Logical Aspects of Fault Tolerance (LAFT) Leo G Marcus 2009-07-10 20:49 ` Call for Participation: " Leo.G.Marcus
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).