From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9A7C37ED26 for ; Sun, 17 Jun 2012 14:33:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqQCAObN3U+MbRQxgWdsb2JhbABFtVMiAQEWJieCPB1jiTcBC5cplxaJBIs4gyCCO2ADiECSOI0W X-IronPort-AV: E=Sophos;i="4.75,785,1330902000"; d="scan'208";a="163243548" Received: from mx.iis.sinica.edu.tw ([140.109.20.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Jun 2012 14:33:41 +0200 Received: from mail.iis.sinica.edu.tw (mail [192.168.0.50]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id q5HCYWF8013664 for ; Sun, 17 Jun 2012 20:34:32 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) Received: from [192.168.0.112] (114-36-227-30.dynamic.hinet.net [114.36.227.30]) (authenticated bits=0) by mail.iis.sinica.edu.tw (8.13.8/8.13.8) with ESMTP id q5HCWvgM006806 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for ; Sun, 17 Jun 2012 20:33:32 +0800 (CST) (envelope-from scm-ml@iis.sinica.edu.tw) From: scm-ml Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Sun, 17 Jun 2012 20:33:32 +0800 Message-Id: <08A631B9-511E-4E55-B70F-3E3579840C24@iis.sinica.edu.tw> To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1278) X-Mailer: Apple Mail (2.1278) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Sun, 17 Jun 2012 20:34:32 +0800 (CST) X-Spam-Score: -1 () ALL_TRUSTED X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] *correction* PEPM 2013: Preliminary Call for Papers *correction* PEPM 2013: Preliminary Call for Papers The call for papers we sent several hours ago was, of course, about PEPM 2013, rather than PEPM 2012. The work shops will be held during 20-21 January 2013, co-located with POPL 2013. Sorry for the confusion! The previous CFP was otherwise correct. The full call for papers can be found on our homepage: http://www.program-transformation.org/PEPM13/CallForPapers Thank you!