From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raould@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 797857F02D
	for <caml-list@sympa.inria.fr>; Mon,  6 Oct 2014 20:02:46 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  raould@gmail.com) identity=pra; client-ip=209.85.214.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  raould@gmail.com designates 209.85.214.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.214.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="raould@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ob0-f181.google.com) identity=helo;
  client-ip=209.85.214.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="raould@gmail.com";
  x-sender="postmaster@mail-ob0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkcBAM3HMlTRVda1m2dsb2JhbABfhDkEgn7QZQoCfggWAREBAQEBAQYLCwkULIQEAQEDARIRHQEbHgMBCwYFCw8CJgICIgERAQUBHAY1iAcBAwkIoFNuizCBcoMQh20KGScNZ4YiEgEFDoEejyCCd4FUBYtbkWOUDhgpg1GBYx0vgkoBAQE
X-IPAS-Result: AkcBAM3HMlTRVda1m2dsb2JhbABfhDkEgn7QZQoCfggWAREBAQEBAQYLCwkULIQEAQEDARIRHQEbHgMBCwYFCw8CJgICIgERAQUBHAY1iAcBAwkIoFNuizCBcoMQh20KGScNZ4YiEgEFDoEejyCCd4FUBYtbkWOUDhgpg1GBYx0vgkoBAQE
X-IronPort-AV: E=Sophos;i="5.04,664,1406584800"; 
   d="scan'208";a="99658696"
Received: from mail-ob0-f181.google.com ([209.85.214.181])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Oct 2014 20:02:45 +0200
Received: by mail-ob0-f181.google.com with SMTP id wm4so4419194obc.12
        for <caml-list@inria.fr>; Mon, 06 Oct 2014 11:02:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        bh=EKCLzt8GlnSPu4iqcI4gX8SL2/+PrhVVTlkg9KbPRNQ=;
        b=bIlUbcORG1fWUY2gUD+LwNdSyEUVvMGBLLfQSDB4l3jFpBpAYg/Csf8bhvtAZe3xSy
         lNlCvC0CSxiApxASx98rDboa2ZK6i2uUkmEKhUgeWb2HvIZpsgW7aPAd6VhP55kpiOtx
         Bns65paA+aO6l71FC67AVU1qroJiNi5XOMoKGMraml7JcuW/imuJ2WVSQ5ZgGk1+K5qZ
         Pc+RCXgZN0XaSQmFE4GTvj1HOkXvNdViy0zPvfQmJ27EnYVJjKxcDW2rukQGaNt7BawI
         MHYpvsYsZ5KJitduYN9+utKCWqCOldIdbgIj0GkJyC7EwRwHDBaMAaBJvxH1QXKqrwwf
         hD0g==
MIME-Version: 1.0
X-Received: by 10.182.96.225 with SMTP id dv1mr29568058obb.50.1412618564882;
 Mon, 06 Oct 2014 11:02:44 -0700 (PDT)
Received: by 10.183.24.165 with HTTP; Mon, 6 Oct 2014 11:02:44 -0700 (PDT)
In-Reply-To: <alpine.DEB.2.00.1410061950430.10757@localhost.localdomain>
References: <alpine.DEB.2.00.1410061950430.10757@localhost.localdomain>
Date: Mon, 6 Oct 2014 11:02:44 -0700
Message-ID: <CAJ7XQb7VRWP1BL24yY9UbG+uw1SOSd85iUP6Zvqu2q=xf-o_3Q@mail.gmail.com>
From: Raoul Duke <raould@gmail.com>
To: OCaml <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] JLAMP special issue on Open Problems in Concurrency
 Theory -- 2nd cfp

> SPECIAL ISSUE ON OPEN PROBLEMS IN CONCURRENCY THEORY



it is patently absurd to claim there are any closed problems in
concurrency. oh, wait! this is only about *theory*. oh, well, then...