From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id DF59D5D5 for ; Mon, 3 Jan 2022 01:01:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,256,1635199200"; d="scan'208,217";a="13264188" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Jan 2022 02:01:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id EFDA0E02AC; Mon, 3 Jan 2022 02:01:13 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 06658E01A7 for ; Mon, 3 Jan 2022 02:01:08 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cong@c.titech.ac.jp; spf=None smtp.mailfrom=cong@c.titech.ac.jp; spf=None smtp.helo=postmaster@mail001.nap.gsic.titech.ac.jp IronPort-PHdr: =?us-ascii?q?A9a23=3A8J2PaRJZ8aJdJZijO9mcuNJmWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvLM01weCB9uTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yf2+94fObwhGmDaxbq1+IRSrpgjNq8cahpdvJLwswRXTuHtIf?= =?us-ascii?q?OpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBn?= =?us-ascii?q?MVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/yk?= =?us-ascii?q?CoIOD43/m/UhMJtkqxUvAmsqAZjz4POeoyZKOZyc6HbcNgHRWRBRMFRVylZD4y?= =?us-ascii?q?+aIsPEuoAPeFFr4LguVYOqh2+BQaxD+7o1jBIgXn23aIh3us9Cw3GwA0gH84Qv?= =?us-ascii?q?3vIrNX5Lr0dXvyvwKnK1TXOdvVb0iry54bUaB4uu+2MXa5ufsrLz0kiDwPIg1G?= =?us-ascii?q?MpIHlIj6Y2PkBv3aU4udhVe+jlXArpgNvrjWx28siipXFi54Wx13H6Sl0wII4K?= =?us-ascii?q?MG2RkN0btOqH4dcuzycOoBrTM0iRGRotzw7yr0AoZO7ZykKyJs/xx7bcfOHdZK?= =?us-ascii?q?E4hX5VOaeOTt4nmxqeL26hxmo6kig1vPzVtOu3FlWqSpFl9/BvW0O2RzL8sWLV?= =?us-ascii?q?/Vw8lq71TqSygzf9PtILV06mKbBNpIt3qM8moINvUjfGiL6gkb7ga+Mekk65uS?= =?us-ascii?q?l6P7rb7r7qpKaKoR6kBvxMr40lcy6Gek4MhYBX2yc+emk0b3s50z5QLFWgvEqj?= =?us-ascii?q?6XVqpbaKt4DpqKjDA9VyYcj5AqlAze60dQYgWcII05FeB6dlYfmJ0vCIPLgDfu?= =?us-ascii?q?nglSslilkx+zeM7H8DJjBM2LPnKr8cbpj8UJQ1QQ+wcpC655IF70NOPfzVVXwt?= =?us-ascii?q?NzcAB85KQu0w+P/Bdph0YMeX22PD7SFP6/IrV+I5/4vLPeQa48VojryMeQq6+T?= =?us-ascii?q?sjX8hgVMdZ7Wm3YMLaHCkGfRrO1mWbmDpgtcFCGsKugs+TPf2iFCZSj5SZ3OyX?= =?us-ascii?q?7om6T0hCYKmC53DRoG3j7Cb0ie7BM4eWmcTAVmJFTLsdp6Yc/YKciObZMF7wRI?= =?us-ascii?q?eUr30eog8xBaz/CT9zbUveuHT/CIwvtT/1cR47O2VnBp09yQiXJfV6H2EU2whx?= =?us-ascii?q?jBAfDQxxq0q+SSVK3+G2Kl826QBU9pa/7VGSQYxc4Ld0+FxC5b7UUTDZoXRIL5?= =?us-ascii?q?Dat7gHTAtQ9kxhdYFJURlSY3KZv/r1Gy2AqMYnLzNDZdy8LqOhxDM?= IronPort-Data: =?us-ascii?q?A9a23=3ARUBII67eISA5uFJmWn0jFAxRtEjGchMFZxGqfqr?= =?us-ascii?q?LsXjdYENS0mRRzmcXCmzTbPmDMGv3c4onPYi3pE0Ou8WBxtI1GQUd+CA2RRqmi?= =?us-ascii?q?+KVXIXDdh+Y0wC6d5CYEho/t63yUjRxRSwNZie0SiyFb/6x/RGQ6YnSHuCmULe?= =?us-ascii?q?cYHgrLeNZYH5JZSxLy7ZRbrFA2oDR7zOl4bsekuWHULOX82Yc3lE8t8pvnChSU?= =?us-ascii?q?MHa41v0iLCRicdj5zcyn1FNZH4WyDrYw3HQGuG4FcbiLwrPIS3Qw4/Xw/stIov?= =?us-ascii?q?NfrfTd0QLRuaKZE6Ig2IQVLOjiV5epzA/2aZ9PfFaa18/ZzehxosojowU79rpE?= =?us-ascii?q?kFwZvSkdOc1C3G0Fwl1OqtJ0LSBPXmjvMeTiUTNNXn0qxlrJBhqZN1Epr4f7WZ?= =?us-ascii?q?mr6VCd25WMHhvndmey7u+Tqxoh98/BNL6OZsW/HBm1zDQS/g8Ka0v6Y3evYoFm?= =?us-ascii?q?m4k35UWW67KPZ9BL2A2N0nUOEgXfAoDV8cXgsGEhl/eehtM8QrA/e5s9wA/1yR?= =?us-ascii?q?02bnpaIKMPNqDXYNahUeT4H7H42nyAlcTP5qd0VK4HruXrrentUvGtEg6TdVUN?= =?us-ascii?q?8KGgWF/AkQWARwSDQPi5/+wkgixQNNUbVAV5iclre47/wqpVrERmjXQTGGs5nY?= =?us-ascii?q?htxh4SoXWKz1hDoLfpRqYGmUPTnhIY5okrKfagBRCOkChx7vU6P8GjFFRYXnb6?= =?us-ascii?q?raIoDiyfyEea20aDcPBZWPp/PG7yLwOYtnzohqP3UJ7YhAZ2d09/txSkBUDug?= =?us-ascii?q?=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AJphSJ6rq9KPi5HtX6OlVf9QaV5oFeYIsimQD?= =?us-ascii?q?101hICG9E/bo7/xG885rsCMc5AxhOk3I+urwW5VoI0mskqKdiLN5VdzOMGbbUQ?= =?us-ascii?q?OTRr2KhrGSpQEIdReOj9K1Fp0PT4FOTPP1BVh+yeDg4Ae5FN4khP2K6rqhi+ub?= =?us-ascii?q?71oFd3APV0it1WZE48+gcnFLeA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AKAQABStJhl2UNcIM+HB+FaVgBaYRHg?= =?us-ascii?q?R6THgGSaYg4AgkBAwFCDAQBAYRBhAMfBgY0EwECBBUBAQUBAQECAQMDBAETAQE?= =?us-ascii?q?BAQEBAQEJGwZWhWgNgjUihA8GdQc3AiQTBUqCagGDFw9EnGuPEoExgQGDTgEDB?= =?us-ascii?q?YQEJU6BJgYJAYEwhyoBAYdJgg2BFTaEN4FeAQIBhHaCZQSRRYEQQYEmjUMHhDm?= =?us-ascii?q?PRp1zgXWBV4QFhm2UUjODcIwIl2+HD48njQCaBYFDgX0zGggwbAaCMlEZD443A?= =?us-ascii?q?oNZhRSFWTMBMTgCBgEKAQEDCYUPig8BAQ?= X-IPAS-Result: =?us-ascii?q?A0AKAQABStJhl2UNcIM+HB+FaVgBaYRHgR6THgGSaYg4Agk?= =?us-ascii?q?BAwFCDAQBAYRBhAMfBgY0EwECBBUBAQUBAQECAQMDBAETAQEBAQEBAQEJGwZWh?= =?us-ascii?q?WgNgjUihA8GdQc3AiQTBUqCagGDFw9EnGuPEoExgQGDTgEDBYQEJU6BJgYJAYE?= =?us-ascii?q?whyoBAYdJgg2BFTaEN4FeAQIBhHaCZQSRRYEQQYEmjUMHhDmPRp1zgXWBV4QFh?= =?us-ascii?q?m2UUjODcIwIl2+HD48njQCaBYFDgX0zGggwbAaCMlEZD443AoNZhRSFWTMBMTg?= =?us-ascii?q?CBgEKAQEDCYUPig8BAQ?= X-IronPort-AV: E=Sophos;i="5.88,256,1635199200"; d="scan'208,217";a="1418440" X-MGA-submission: =?us-ascii?q?MDGeo9OGXh5Y7QfH0AtKOyf7kGvZIdiVEoSg8Q?= =?us-ascii?q?1u8guKsNtr/p9KGclK9k5zuwNc0ddtwGJqExv6ILSHxG/XU4PfMQaCeL?= =?us-ascii?q?6FUfAtDmu9rRyiyKlWqvybfrOHG4or6Dsa4c2Xg4PudYD8sTfgbywyZ/?= =?us-ascii?q?sTM8nE8BAAneC9r8xixB9yjg=3D=3D?= Received: from mail001.nap.gsic.titech.ac.jp ([131.112.13.101]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Jan 2022 02:01:06 +0100 Received: from 172.22.40.203 by mail001.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V7.00(21081:0:AUTH_RELAY) (envelope-from ); Mon, 03 Jan 2022 10:01:02 +0900 (JST) Received: from mail003.nap.gsic.titech.ac.jp (mail003.nap.gsic.titech.ac.jp [131.112.13.103]) by drweb06.nap.gsic.titech.ac.jp (Postfix) with SMTP id B6D2453A4 for ; Mon, 3 Jan 2022 10:01:02 +0900 (JST) Received: from 209.85.208.41 by mail003.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V7.00(2574:0:AUTH_LOGIN) (envelope-from ); Mon, 03 Jan 2022 10:01:02 +0900 (JST) Received: by mail-ed1-f41.google.com with SMTP id n30so18089794eda.13 for ; Sun, 02 Jan 2022 17:01:01 -0800 (PST) X-Gm-Message-State: AOAM530H/XdRdUwOIhINrhdUJhDB4/xABjJGr9wtYuRPfa7AIDFM/Nn9 0o+rT9uRaqIcUIznVnZ9KmIQP6EE0v7L1Ce7J5Q= X-Google-Smtp-Source: ABdhPJyFPd0+O6yK8rq6iggL3ZtcpSXGcxn5L8uaLOKcOpsYkrFLeVLoLWX0Xhxvkr1dMziFUB+JTfBbHOnJsQMafqo= X-Received: by 2002:a17:906:414c:: with SMTP id l12mr35382447ejk.641.1641171659907; Sun, 02 Jan 2022 17:00:59 -0800 (PST) MIME-Version: 1.0 From: Youyou Cong Date: Mon, 3 Jan 2022 10:00:00 +0900 X-Gmail-Original-Message-ID: Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000cde66205d4a30d10" Subject: [Caml-list] PEPM 2022 - Call for Participation Reply-To: Youyou Cong X-Loop: caml-list@inria.fr X-Sequence: 18637 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --000000000000cde66205d4a30d10 Content-Type: text/plain; charset="UTF-8" -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online (co-located with POPL 2022, with no physical component) PEPM brings together researchers in partial evaluation, program manipulation, and related areas. This year, we are announcing "PEPM 30", a project aiming at preserving and celebrating the history of PEPM. To this effect, the program includes five invited talks by the key contributors of the PEPM community. We will have a PEPM 30+ History Celebration Day at PEPM 2023. Invited Talks: * Andrei Klimov "Why are partial evaluation and supercompilation still not widely used in practice? Reflections in light of Russian work on metacomputation." * Y. Annie Liu "From meta frameworks and transformations to distributed computing and more" * Frank Pfenning "Modal Logics and Types: Looking Back and Looking Forward" * Naoki Kobayashi "On Type-Based Techniques for Program Manipulation" * Peter Sestoft "A partial history of partial evaluation" Please find the full program at: https://popl22.sigplan.org/home/pepm-2022#program and register yourself at: https://regmaster.com/2022conf/POPL22/register.php Note that early registration closes on January 3rd. We look forward to seeing you at the workshop! Zena M. Ariola (Program Co-Chair) Youyou Cong (Program Co-Chair) --000000000000cde66205d4a30d10 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
-- CALL FOR PARTICIPATION --

ACM SIGPLAN Workshop o= n PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

* Website : https://popl22.sigplan.org/home/pepm-2022
* Time = =C2=A0 =C2=A0: 17th--18th January 2022
* Place =C2=A0 : Online (co-locat= ed with POPL 2022, with no physical component)

PEPM brings together = researchers in partial evaluation, program manipulation,
and related are= as.=C2=A0 This year, we are announcing "PEPM 30", a project aimin= g
at preserving and celebrating the history of PEPM. To this effect, th= e program
includes five invited talks by the key contributors of the PE= PM community.
We will have a PEPM 30+ History Celebration Day at PEPM 2= 023.

Invited Talks:

* Andrei Klimov
=C2=A0 "Why are p= artial evaluation and supercompilation still not widely used
=C2=A0 in p= ractice?=C2=A0 Reflections in light of Russian work on metacomputation.&quo= t;

* Y. Annie Liu
=C2=A0 "From meta frameworks and transform= ations to distributed computing and more"

* Frank Pfenning
= =C2=A0 "Modal Logics and Types: Looking Back and Looking Forward"=

* Naoki Kobayashi
=C2=A0 "On Type-Based Techniques for Prog= ram Manipulation"

* Peter Sestoft
=C2=A0 "A partial his= tory of partial evaluation"

Please find the full program at:
https://popl22.sigplan.org/home/pepm-2022#program

an= d register yourself at:

https://regmaster.com/2022conf/POPL22/= register.php

Note that early registration closes on January 3rd.=

We look forward to seeing you at the workshop!

Zena M. Ariol= a (Program Co-Chair)
Youyou Cong (Program Co-Chair)
--000000000000cde66205d4a30d10--