From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_BOGUSMX, HTML_FONT_BIG,HTML_MESSAGE,NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 68C90BBAF for ; Fri, 10 Jul 2009 22:49:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqoBAKNFV0qC3VhpmWdsb2JhbACCIxkYlVN6AQEBAQEICwoHE7ZwhAgFgTs X-IronPort-AV: E=Sophos;i="4.42,380,1243807200"; d="scan'208";a="31016129" Received: from mhbackup.aero.org ([130.221.88.105]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Jul 2009 22:49:51 +0200 Received: from agosmtpout.aero.org (agosmtpout.aero.org [130.221.92.18]) by mhbackup.aero.org with ESMTP id BT-MMP-122481; Fri, 10 Jul 2009 13:49:47 -0700 In-Reply-To: To: Leo G Marcus Cc: acl2@cs.utexas.edu, agents@cs.umbc.edu, appsem@tcs.informatik.uni-muenchen.de, behavior@cs.ucsd.edu, caml-list@inria.fr, categories@mta.ca, ccp@sics.se, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, coq-club@pauillac.inria.fr, csl@dbai.tuwien.ac.at, eacsl@dimi.uniud.it, fmics@inrialpes.fr, formal-methods@cs.uidaho.edu, haskell@haskell.org, ipa@win.tue.nl, isabelle-users@cl.cam.ac.uk, jml@cs.iastate.edu, logic-announce@uclink4.berkeley.edu, logic-list@helsinki.fi, moca-announce@list.it.uu.se, nvti-list@cwi.nl, nwpt-info@sool.ioc.ee, petrinet@informatik.uni-hamburg.de, procos@jiscmail.ac.uk, puml-list@cs.york.ac.uk, pvs@csl.sri.com, pvs-bounces+marcus=aero.org@csl.sri.com, reliable_computing@interval.louisiana.edu, se-group@cs.umn.edu, seminar@iist.unu.edu, seworld@cs.colorado.edu, theory-logic@cs.cmu.edu, umsec-events@cs.umn.e Subject: Call for Participation: Workshop on Logical Aspects of Fault Tolerance (LAFT) MIME-Version: 1.0 X-KeepSent: 096935F7:D47F29F4-882575EF:00724DE9; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 7.0.2 September 26, 2006 Message-ID: From: Leo.G.Marcus@notes.aero.org Date: Fri, 10 Jul 2009 13:49:42 -0700 X-MIMETrack: Serialize by Router on agosmtpout/AeroNet/Aerospace/US(Release 8.5|December 05, 2008) at 07/10/2009 01:55:29 PM, Serialize complete at 07/10/2009 01:55:29 PM Content-Type: multipart/alternative; boundary="=_alternative 007269DD882575EF_=" X-Spam: no; 0.00; lics:01 lics:01 abstraction:01 abstraction:01 2009:98 2009:98 26.:98 26.:98 compilers:01 compilers:01 defining:02 defining:02 logical:04 logical:04 fault:04 This is a multipart message in MIME format. --=_alternative 007269DD882575EF_= Content-Type: text/plain; charset="US-ASCII" 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/ --=_alternative 007269DD882575EF_= Content-Type: text/html; charset="US-ASCII"

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/ --=_alternative 007269DD882575EF_=--