coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Youyou Cong <cong AT c.titech.ac.jp>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] PEPM 2022 - Call for Participation
- Date: Mon, 3 Jan 2022 10:00:00 +0900
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cong AT c.titech.ac.jp; spf=None smtp.mailfrom=cong AT c.titech.ac.jp; spf=None smtp.helo=postmaster AT mail001.nap.gsic.titech.ac.jp
- Ironport-data: A9a23:HkoN8aBgv+9JcRVW/1niw5YqxClBgxIJ4g17XOLfDQHtgjwm02RUympKX26PbPeLMGL8eNh/Oo+x8xlSusCkm99gGjLY11k9FiMQ8ZKt6fexdxqrYXvKdqUvdK/WhiknQoGowPscEzmM9n9BDpC79SMmjfjQHOKmYAL5EnkZqTFMGH9JZS1LwLZRbr5A2bBVMivV0T/Ai5W31GyNh1aYBlkpB5er83uDihhdVAQw5TTSbdgT1LPXeuJ84Jg3fcldJFOgKmVY83LTegrN8F251juxExYFD9qklu6jKwsMS6aUMhOPgTxKWrSviRgEryd00L5T2Pg0MBwOzWzQxZYok5MU7cXYpQQBZsUgnMwWVB9XOyo4Iaxa9bTHZ3G0986Lp6HDWyK3mas1UxBqVWEf0rwuWz4QrqJwxCo2RhuEnqe9xK+xYvJ9g9wqasjtJoIW/H96pQw1p94yGcWeBfzevIoAmm8k3JUWW6yHPJcNMm83KknUPEhmJHE7CLQflcG83yGqK3kDvDp5voIy6mnXlFQolr7kKJzaYd2BA9lUgkuTpiTP9CL7Gnkn2BWk4WLt2hqRaiXnxEsXmb7+FYFUMtZviVyXnjRKThsfTR20uviyzFK/R99UKwod8WwstcDeMWTDosbVB3WFTLys53bwmOa818Uxrh2M1qff40CQDS4GVlatrfROWNAeHVQXO5zgoz8tLTcprLyJRHmdsL6f6zGqUcTQBQfuegdcJTY4DxLfTE3fQ/4BohuP0EJ4szEtJQzN/g==
- Ironport-hdrordr: A9a23:HMtuS6EauKMxrcvapLqE1seALOsnbusQ8zAXPiFKOHhom6mj/fxG885rrSMc5AxhO03I+urwX5VoI0msjqKdiLN5VdzDLWzbUQOTTb2KhrGSpQEIdReOj9K1Fp0NT0G9MrDN5RwWt7eZ3OB1KbkdKRC8npyVuQ==
- Ironport-phdr: A9a23:9UF/VBdILFDi+3U9WqiW0i78lGM+Ad7LVj580XLHo4xHfqnrxZn+JkuXvawr0AWQG9yAs7ke1aL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfglEniexbL1uIBm5swnct9QdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAOgGPeZFr4j9oEYOpgagCAmrAuPvxSJDi3jq0q091eQhHhrL0xA6E9ISsXTUsMv6O7sSUeyv1qbH0S/Pb/FO2Trk7oXDbx8ur+2WU71qbcrR1VcgFxnDjliIqYHoOy+Y2+QQvmWV8uZsS+2ihm8npg1vvDSixNkgh5fUiowV1lzJ6SZ0zYUpKdC4TEN2fdCqHZRfui+VK4d6X8UvSHxmtiY9z70Jo5+7fC4SxZQ8xh7fZOSHc4yS7RLlTuqRJi14hH19dLKlmRmy/k2gxffnVsmozllKtDBJncXLtnAI0RHY98uJSuNl80u81zuDyhrf5vxZLUwqj6bXNpAszqQtmpYPrEjPBjH6lFnygaOMdUgp+vKk5/r7brjlvJORN4F5hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FX8QLpQj/02lrXVvIzHKcgBoK62GRdV3pws6xakDjepzM4UnWUGLFJZZh2Ik4jpN0vUL//kF/u/gUysnC9qx/DAILLhHo3AImXNnbv8Z7px9lNQxBQpwdxC6Z9YEKwNLO7uVkPpsdzXFB45Mwi6w+b9D9V905sTVn6IAq+fP6PfqkOH6vgzI+mNeI8apiryK/g/6/H0kXA1g10dfbGx0ZsNdH+4BuhmI1meYXf0ntgBFn4KshMiQ+zulV2NSiVeZ22yXqI5/jE0EpiqDYbFRoC3gbyOxj23HpNMZjMONlfZGnDxMo6ARv0kaSSII8YnnCZXe6KmTtoQ0gy/sxKy4L1hIaKA8SoeurroksR0++DYlVc7/np2F5LOgCm2U2hokzZQFHcN16dlrBklor9m+aM+n/1EGNdTofpCFAUiZ8a0JwNSAJbuWx7MddfPQV3gQM30WVnZr/o0yt4KOx4kXdOrllbMxCuhRaMUi7GABNo9+eTexyqpT/s=
-- 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)
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)
- [Coq-Club] PEPM 2022 - Call for Participation, Youyou Cong, 01/03/2022
Archive powered by MHonArc 2.6.19+.