From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 E61CF7F1CB; Wed, 12 Dec 2012 17:41:46 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of viktor@mpi-sws.org) identity=pra; client-ip=139.19.1.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="viktor@mpi-sws.org"; x-sender="viktor@mpi-sws.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of viktor@mpi-sws.org designates 139.19.1.49 as permitted sender) identity=mailfrom; client-ip=139.19.1.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="viktor@mpi-sws.org"; x-sender="viktor@mpi-sws.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@hera.mpi-klsb.mpg.de) identity=helo; client-ip=139.19.1.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="viktor@mpi-sws.org"; x-sender="postmaster@hera.mpi-klsb.mpg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiECAEazyFCLEwExiWdsb2JhbAArGhaDMrtNFg4BAQEVEhQFIoIgIh0GAQEmEoE+iCMMLak4hDoBBY8uBoxLg2JhlyiKHogC X-IronPort-AV: E=Sophos;i="4.84,267,1355094000"; d="scan'208";a="185837204" Received: from hera.mpi-klsb.mpg.de ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 12 Dec 2012 17:41:46 +0100 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=QeKC3HPZDirbAaQpVBGrN8jU2ACBpxKxPSbBebihIds=; b=RTVF0aODDyddoNymQMJ6CZ60fjlepUrM0wf/FpQ08wyRUUpPoYTyiOcGnYE4kkiiZv1QGdGBO5cwYq/rlnblMbKLRNo4OH6JE/oFaCDQk0DGlJjeXKuROi9HhlDJZdtasd1gvFxH3HEabALN80rtz/xS+zIxZKNZczz2ZQmwZaw=; Received: from maniac.mpi-klsb.mpg.de ([139.19.1.28]:37641) by hera.mpi-klsb.mpg.de (envelope-from ) with esmtp (Exim 4.72) id 1TipNM-0006Yq-AD; Wed, 12 Dec 2012 17:41:45 +0100 Received: from mac-53-02.mpi-sws.org ([139.19.193.14]:50671) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) id 1TipNL-0008P1-Ux; Wed, 12 Dec 2012 17:41:40 +0100 From: Viktor Vafeiadis Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 12 Dec 2012 17:41:39 +0100 Message-Id: <0B968226-FBE8-4BC0-B875-9CAAB4081C39@mpi-sws.org> To: coq-club@inria.fr, caml-list@yquem.inria.fr Mime-Version: 1.0 (Apple Message framework v1085) X-Mailer: Apple Mail (2.1085) X-MPI-Local-Sender: true X-Validation-by: viktor@mpi-sws.org Subject: [Caml-list] POPL 2013 + workshops: Call for participation *************************************************** * POPL 2013: Principles of Programming Languages * * Hotel Parco dei Principi, Rome, Italy * * 23-25 January, 2013 * *************************************************** Main web site: http://popl.mpi-sws.org/2013/ Twitter: https://twitter.com/POPL2013 Registration: https://regmaster3.com/2013conf/POPL13/register.php Deadline for early registration: **December 31, 2012** Conference & hotel logistics: http://popl13.di.univr.it Conference program: http://popl.mpi-sws.org/2013/program.html ******* Student events ******* - TutorialFest (21 January; free, but registration required) http://wrigstad.com/popl13/tutorialfest.html - PLMW: Programming Language Mentoring Workshop (22 January) http://www.doc.ic.ac.uk/~gds/PLMW/ - Short student talks @ student sessions (23 + 25 January) http://wrigstad.com/popl13/ ****** Other co-located events ****** - VMCAI: Verification, Model Checking, and Abstract Interpretation (20-22 January) - SVARM: Workshop on Synthesis, Verification, and Analysis of Rich Models - Meeting of COST Action IC0109 Rich Model Toolkit (20-21 January) - PADL: International Symposium on Practical Aspects of Declarative Languages (21-22 January) - PEPM: Partial Evaluation and Program Manipulation (21-22 January) - ID: Interference and Dependence (21 January) - BEAT: Workshop on Behaviors and Types (22 January) - DDFP: Workshop on Data Driven Functional Programming (22 January) - PLPV: Programming Languages meets Program Verification (22 January) - PLMW: Programming Language Mentoring Workshop (22 January) - PPREW: Program Protection and Reverse Engineering Workshop (26 January) - OBT: Off The Beaten Track: Underrepresented Problems for Programming Language Researchers (26 January)