From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id ECE8A7ED29 for ; Tue, 29 May 2012 10:24:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUCADuHxE+LEwExe2dsb2JhbABEtgMBARYmBSKCGSIdBgEBOIlbpSmELgEFjlsGiwOCG4I2YJYpiWuHWQ X-IronPort-AV: E=Sophos;i="4.75,676,1330902000"; d="scan'208";a="145709012" Received: from infao0809.mpi-klsb.mpg.de (HELO hera.mpi-klsb.mpg.de) ([139.19.1.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 29 May 2012 10:24:44 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Mime-Version:To:Message-Id:Date:Subject:Content-Transfer-Encoding:Content-Type:From; bh=3Exj8TBj0fYgQZjgMw961rqMomQxaA8nftnatTr67zA=; b=S+1TV3JlwJsKP6Vyo5uyb7/lYSsole5a3EAG+2FTo4MwsnNg5dKh65gp/UEEl1l9OFiztI3Td2ON5Wb+LMYvaLsEu3I+1IeyJG0F9yGeg/79h8+5+YNXtYmg5Qyb0cyFnehchp9gBY30KmGwRVHBPBuD+nSPelypeswrhOhHxQA=; Received: from srv-00-125.mpi-klsb.mpg.de ([139.19.1.28]:33291 helo=maniac.mpi-klsb.mpg.de) by hera.mpi-klsb.mpg.de (envelope-from ) with esmtp (Exim 4.72) id 1SZHjG-00031f-SC for caml-list@yquem.inria.fr; Tue, 29 May 2012 10:24:43 +0200 Received: from mac-53-02.mpi-sws.org ([139.19.193.14]:57961) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) id 1SZHjG-0007Q4-JR for caml-list@yquem.inria.fr; Tue, 29 May 2012 10:24:34 +0200 From: Viktor Vafeiadis Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Tue, 29 May 2012 10:24:34 +0200 Message-Id: <5D093993-5D53-41C9-9D0D-2830FA01147B@mpi-sws.org> To: caml-list@yquem.inria.fr 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 2013: Call for papers ********************* POPL 2013: Call for papers ************************ 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages http://popl.mpi-sws.org/2013/ POPL dates: 23-25 January 2013 Co-located events: 20-22, 26 January 2013 Location: Rome, Italy Paper registration: 6 July 2012, 11:59pm American Samoa time (UTC-11h) Paper submission: 10 July 2012, 11:59pm American Samoa time (UTC-11h) Author response: 10-13 September 2012 Notification: 1 October 2012 Submission URL: https://popl2013.ens.fr (will be opened nearer the deadline) Scope: The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Papers discussing new ideas and areas are most welcome, as are high-quality expositions or elucidations of existing concepts that are likely to yield new insights ("pearls"). For more information and submission guidelines please consult the POPL'13 website: http://popl.mpi-sws.org/2013/