From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 89E41BB81 for ; Thu, 8 Dec 2005 05:12:09 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jB84C9bx005568 for ; Thu, 8 Dec 2005 05:12:09 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA08981 for ; Thu, 8 Dec 2005 05:12:08 +0100 (MET) Received: from orsfmr005.jf.intel.com (fmr20.intel.com [134.134.136.19]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jB84C7iF005558 for ; Thu, 8 Dec 2005 05:12:08 +0100 Received: from orsfmr101.jf.intel.com (orsfmr101.jf.intel.com [10.7.209.17]) by orsfmr005.jf.intel.com (8.12.10/8.12.10/d: major-outer.mc,v 1.1 2004/09/17 17:50:56 root Exp $) with ESMTP id jB84C6ZE024253 for ; Thu, 8 Dec 2005 04:12:06 GMT Received: from orsmsxvs040.jf.intel.com (orsmsxvs040.jf.intel.com [192.168.65.206]) by orsfmr101.jf.intel.com (8.12.10/8.12.10/d: major-inner.mc,v 1.2 2004/09/17 18:05:01 root Exp $) with SMTP id jB84C6w5009508 for ; Thu, 8 Dec 2005 04:12:06 GMT Received: from orsmsx332.amr.corp.intel.com ([192.168.65.60]) by orsmsxvs040.jf.intel.com (SAVSMTP 3.1.7.47) with SMTP id M2005120720120620956 for ; Wed, 07 Dec 2005 20:12:06 -0800 Received: from orsmsx409.amr.corp.intel.com ([192.168.65.58]) by orsmsx332.amr.corp.intel.com with Microsoft SMTPSVC(6.0.3790.211); Wed, 7 Dec 2005 20:12:05 -0800 X-MIMEOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable Subject: CSR deadline 18th December Date: Wed, 7 Dec 2005 20:12:04 -0800 Message-ID: <196F1D996F92CD46A542EA519DB8CE4702A959EA@orsmsx409> Thread-Topic: CSR deadline 18th December Thread-Index: AcX7rYuw73uKTJyGQ4uwUGmWBWshfA== From: "Harrison, John R" To: Cc: "Harrison, John R" X-OriginalArrivalTime: 08 Dec 2005 04:12:05.0952 (UTC) FILETIME=[8CC45C00:01C5FBAD] X-Scanned-By: MIMEDefang 2.52 on 10.7.209.17 X-Miltered: at concorde with ID 4397B299.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4397B297.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; csr:01 johnh:01 ocaml:01 csr:01 underlying:01 ichips:02 logic:04 submissions:04 deadline:04 deadline:04 papers:05 papers:05 i'd:05 theory:07 john:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 People on the OCaml list may be interested in submitting papers to the Computer Science in Russia Symposium; the deadline is now 18th December: http://logic.pdmi.ras.ru/~csr2006/ I'd love to see some OCaml-related papers, either on the underlying theory or its applications. The conference is extremely broad, and submissions right across the spectrum will be welcome. John.