From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1KD67p5026230; Mon, 20 Feb 2012 14:06:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApAAAJBEQk+LEwExhWdsb2JhbABEDrFFIgEBAQoLCxsFIoF1Ih0GAQE4gT0BiBunEYQqAY4sB4t+MQEBAhYBCQIGDQMBAgKEFAECgl5joFWHHDg X-IronPort-AV: E=Sophos;i="4.73,451,1325458800"; d="scan'208";a="145092963" Received: from hera.mpi-sb.mpg.de ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 20 Feb 2012 14:06:02 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=From:Content-Type: Content-Transfer-Encoding:Subject:Date:Message-Id:To: Mime-Version; bh=TkLXAAq1C6uESiBNti2q1wk6yhLM5JyCqDtBev2sLLY=; b=zdba9FPOCjbPLc/FcnWwmFfaSD39ppmqg7awN7OOfbXhVbe0IGReinNFRE8pzz iXZPwgjuBoMTeULjMNLFj6DX5644FGCPx5+n7p7h9S5eGRwzhAMIBhXtdCQlFeEE LBUx2TeRsEZPCT6G6XdlAf0JxruKezCF/uOG54zP0HfyQ= Received: from srv-00-125.mpi-klsb.mpg.de ([139.19.1.28]:45212 helo=newmaniac.mpi-klsb.mpg.de) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1RzSwD-0005mP-Nb; Mon, 20 Feb 2012 14:05:59 +0100 Received: from mac-53-02.mpi-sws.org ([139.19.193.14]:54214) by newmaniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) id 1RzSwD-0001Dt-6t; Mon, 20 Feb 2012 14:05:53 +0100 From: Viktor Vafeiadis Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Mon, 20 Feb 2012 14:05:52 +0100 Message-Id: To: Haskell List , coq-club@inria.fr, caml-list@yquem.inria.fr, types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se, mlton-user@mlton.org, eapls@jiscmail.ac.uk, nj-pls@lists.seas.upenn.edu, sml-evolution@cs.uchicago.edu, ecoop-info@ecoop.org Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) X-Validation-by: viktor@mpi-sws.org Subject: [Caml-list] POPL'13: Call for proposals for co-located events *** POPL'13: Call for proposals for co-located events *** Event dates: 20 -- 22, 26 January 2013 Location: Rome, Italy Deadline: 22 April 2012 Notification: 30 May 2012 Proposals are invited for workshops and other events to be co-located with POPL 2013. Events can either be sponsored by SIGPLAN or supported through in-cooperation status. For more information and submission details, please visit: http://matt.might.net/events/popl/2013/call-for-events/ http://popl.mpi-sws.org/2013/