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=1.1 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id D78E9BE3E for ; Mon, 20 Oct 2008 10:00:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag0HAM+y+0jAH1kG/2dsb2JhbACMKgGuBoR7X4Ns X-IronPort-AV: E=Sophos;i="4.33,449,1220220000"; d="scan'208";a="16263531" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Oct 2008 07:21:56 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9K5LuXG014018 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 20 Oct 2008 07:21:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag0HAM+y+0jAH1kG/2dsb2JhbACMKgGuBoR7X4Ns X-IronPort-AV: E=Sophos;i="4.33,449,1220220000"; d="scan'208";a="16263530" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Oct 2008 07:21:52 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 33B1611FBE8; Mon, 20 Oct 2008 01:16:13 -0400 (EDT) To: caml-list@inria.fr Subject: ALICS workshop at LPAR Message-Id: <20081020051613.33B1611FBE8@mcclellan.cs.miami.edu> Date: Mon, 20 Oct 2008 01:16:13 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Miltered: at concorde with ID 48FC1574.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; darmstadt:01 miami:98 qatar:98 abstract:01 andreas:01 proceedings:02 raise:03 navy:96 luca:04 scope:04 logic:04 logic:04 informal:04 abstracts:05 deadline:05 ----------------------------------------------------- *ALICS* - Applications of Logic in Computer Security LPAR 2008 workshop, November 22, Doha, Qatar ----------------------------------------------------- EXTENDED SUBMISSION DEADLINE - 24th October ----------------------------------------------------- Organizer: Catherine Meadows, NRL Submission deadline: October 24, 2008 Submission: 1-5 pages abstract Web: http://chacs.nrl.navy.mil/projects/ALICS08 Scope: ALICS is intended to be an informal workshop devoted to the applications of logic in computer security. This workshop is intended for presentation and discussion of work in progress and the discussion of emerging and foundational ideas. We are interested in all aspects of the application of logic to computer security. Applications of interest include security policy, access control, security protocols, information flow, but we are also interested in new and as yet untried applications of logic to different areas of computer security. We are also interested in discussion papers that raise fundamental questions and/or suggest new lines of research in this area. Work that has already appeared or is under consideration by other venues is welcome. No formal proceedings is planned, but accepted abstracts will be posted online. Program Committe and Organizers: Catherine Meadows, Naval Research Laboratory, USA (Workshop Organizer) Andreas Bauer, Australian National University, Australia Heiko Mantel, TU Darmstadt, Germany Mike Mislove, Tulane University, USA Dusko Pavlovic, Kestrel Institute (USA) and Oxford University(UK) Luca Vigano, University of Verona, Italy