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 329E85D5 for ; Sat, 19 Mar 2022 14:44:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=FfJMi2J0wZAVnX0yvHIP3nztgJYQOU48rum1bXXIRDU=; b=HXj9od7UJScqc8k50tTtP34THsiVanW2e3mZnANe0h4y9ptkhZso0YN6 cJTYs2A9/h0r1pLCj1lHLXnLEdkvLJ8BCin562etbSkUw9rAj2pJcHSpG FvRh8FDOI3Qxwi7UVC2ulfr+5BQpMRDj1CH8P9WwLBtwp2epPFG5Y8V8f Y=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.90,194,1643670000"; d="scan'208";a="27008265" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Mar 2022 15:44:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0D419E0210; Sat, 19 Mar 2022 15:44:42 +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 F04CAE0069 for ; Sat, 19 Mar 2022 15:44:38 +0100 (CET) IronPort-SDR: AeV2+qJS+KqWOhY0II8lYROLhvaKQq1RPo9kXLz6a9oEpuJKr7h9+iujneD0es8FPuaTkJFAz3 vZqS4sCiv20bjfb2GrbyOuuljUT2yF/PrKEVINfLqOZMqWgkqHB2ow4wOcqAJFoqmI2dLpyMgI Ooxya1zhnNgpFcRBQcuTqH/hDsHpd0RUgX+aF0gY0buDl5o9yBSr7VIr1uJubt0lRjpRDdj8l7 1ZpTpuwJebFYK1sC9sy4FxzNT2UzY4YA2QN1xfiopO9L0plzWN3wOSlnMymvXcpzBcXd6czDra nxpZLfu8MBkbBrq+XxiIIdZH X-IPAS-Result: =?us-ascii?q?A0BlAgDb6zViiXIDJ0JagQmBWgKCJn5XASoHCESEVIkGi?= =?us-ascii?q?BKcZoF8CwEDAQ01CgIEAQGJPQIeBgEEMAkOAQIEAQEBAQMCAwEBAQEBAQMBA?= =?us-ascii?q?QUBAQECAQECBAQBEwEBAQENCwkHEgUQDgU8ZGcBgU4BgXkGBDANQAEMAYFnI?= =?us-ascii?q?oQVDwEzSAImAhZcgwQBgxUBD61sgTGBAYNTBYYdBoEQLAGObw8NgUhFgRWDa?= =?us-ascii?q?IN8gRaCTTeCLgSYOXgYKUgsJQMMDmkvohOdXzqDU4FNgWWHXZRKTYN0gwmJJ?= =?us-ascii?q?4ZckT0Bi36KXY0VlDcVhSGBYYIVTTAIgyROAQIBAg0BAgIDAQIBAgEIAQECA?= =?us-ascii?q?VONYohthVkyATM4AgYBCgEBAwmFRoJkhyQBAQ?= IronPort-PHdr: A9a23:YzwEWRBuI7JL7MOD+rmNUyQUnkgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua83ygaSDc6FtbptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys5ZHfeRhEiTS+bL99L Ri7rBjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8 qxlSgLniD0fOjA38G/ZlNF+gqFUrx29uhNxzIDbbZqJNPd9ZK7RYc8WSHBDU8tXSidPApm8b 4wKD+cZJOhYq5fyp1QTpha5AgmsAP3gyjBTi3/x3q061uUhEQPc0AwnBdIOv23ZodPoP6gdT e671rPHzSnfb/xIwzf97pDFfxMhrPyPXL98bMXfxVcyGw7Fj1idtI7oMjeV2OkTs2aW7/dsW P+vhmAptQx/rSaiy8kxhoTHmI8YzkzI+TtnzIszONa2Rkl7Ydu+H5tRsSGXL5B2QsItQ2Fwv CY10LsGtYS8fCgQx5QqwQPUZf+fc4WQ4x/uVfydLDl8iX5/dr+znQu+/VWvx+HkS8W53lhHo jBYntTMsn0BzQHf58ibRvdn40us1iuD2gbO4e9eO080j7DUK5s5z74wiJUTtUPDEzfzmErsj a+Wclgo9vKn6+npeLnmvoWTN45uig3kLqsuncm/Dfw5MggIQWeb5fyx2bzi8EHjTrhHiuc6n 6fDvJzHOMgWqba1AwpP3YYi7xa/AS2m0NMdnXQfK1JFfAyIj4fyNlHJI/D4CPa/g1a2nDds3 fDGMaXtApPWIXfbirfuYa5961JAyAo01d1T+opYCqsdL/LrRk/xqNvYAwclPAOuxubnDMxx1 ocfWWKUHq+UK7jSsF+N5uI3OeaAfo4VuDDnK/gk/fHil3E5mUVONZWuiJAebXT9GvV9P22YZ 2Dti5EPCzQkpA07GcvuhVLKBTlXanmaWKE55zN9D5ipW9SQDruxiaCMiX/oVqZdYXpLXwjk+ RbAcoyFX6xJcyeOOop6lSRCU7G9Sogn3BXotQngyrMhIPCHsjYAu8fF0954r/bWiQl07SZ9W sOZ3m6lSGJxn2FOQCU5j+hkuUIo8l6YyuBjhuBAU9la5vdHSAA/YJnYwuNSDNP3WwCHec2GG x69WtvzOTgqVZoqxsMWJUZwH9L3lhfYwy+jGKMYjZSODZ0wq+TThD7pLsdnjX3B0cHNlnEAR c1CfS2jj697rE3IApLR1l6ej+CsfLgd2yjE8CGCy3CPtQdWSlw4V6KNRn0ZakbMyLaxrkrfU 7+jD6gmOQpd2IaDLKVNcNjgkVRBQr/qJt3fZ2u7n2r4CwyPw/uAa4/jemNV2yu4agBMlAQe8 l6BNg0/BGGmuW2fRD1iGFTzYl/9pPFkoSDzRUs1wgeWKkx5guTrvEVEw6faEqpPjddm8G87p j55HUiwxYfTAtuE/E96eblEJMg6+BFB3H7YsAp0OtqhKbpjjxgQaVcS3Qum2hNpB4FHicVvo mktyV84LqaV33tGdDaZ39b3ILKdeSHiuQuibaLbwASU19Kb9Y8I6/E5qRPkpg7jRS9Auz13l tJS1XWb/JDDCgEfBInwXkgA/B9/v7jGYyM56us4zFVUOLKv+n/H0tMtX64+zwq4OsxYKOWCH RPzFMsTA46vLvYrkh6ndEBMMOdX/a8yd8SoEpnOkKmvMelImzGjjGYB55pymk6B7CtzTOfU0 o1Nna/ehVrBDHGl1Qvpu9u/gY1eYDAOAmezgTPpAoJcfOwXH85DCGujJdG22sQrgpfsX3BC8 1vwT1gC2cKvZV+Tdwmjg0sLhAJM5yX+xXjdrXQ8iTwio6uB0Tabxu3jcEFCIWtXXCx5ik+qJ 4GojtccVUzubg4zlRLj61yposoT7Kl5MWTXRl9FOibsKGQ3GKy0u7WqZM1K6ZFutj9YGrf0c RWBR7jxrgFPmSTnEmR2wzM+djPsvY/21U8f6irVPDN4q3zXftt1zBHU6YnHRPJf6TEBQTFxl TjdAlXvd8ns59ifkI3P9/yvT2/0HIMGajHllMnT0UnzrX0vGxC0mOq/38HqARRvmzGuzMFkD G3B/hH/Z4jpkbyzMPh8c1N2CUW64M1/f+M22oJig5IV2Hpcg5yU+TwfmGbpKthBx6/kKnEKQ HYKxdXR/QToilduKnuYgZrwV2/bycxkArvyKmIQ0SYg480YF6qe6bVFmW1tq1ui6wnWZLA4l zMZg5PC8VYiivoS8EooxySZWfUJGFVAeDfrj1KO5sy/q6NeYCCud6Kx3Qxwh4LpALaHqwBaE HH3H/VqVTd39dl6OUnQ3Wfb74jlfICWYolVrhSViVHLiO0dJJ8ql/UMjDZqIiqj4zt+mqhgy 0U3gdmzp+3lYy118bi8AwJEOzG9fM4V9jz3zO5fksuQw4GzD8BhFzEMD9PjSfOlFi5XtOyya VjIS2x68THCQOaMeG3XoF1rpH/ODZ2xYnSeJX1CiM5nWAHYP0tHxgYdQDQ9mJc9UAGs3s3oN kljtVVzrhb1rAVBzuVwOlzxSGDa8U2vbjo7YJ+cKRtUqAZY6A2GVK7WpvI2BCxe8pC7+UaVL XeHYg1TEWwTckmNBlS6eLb1o8HJ8vLeDe27ZairA/3GualVUPGGwoiq241t8mOXN8mBCXJlC uUyxktJWX0qU9ScgTgETDYb0j7cd8PO7gnp4TV594rslZajEBKq/4aEDKFedMli6wzjy7nWL Pae3W5wYXNR0pdGrZcn4L8c2V8QzSZ0eGv0eVzlnSnOSaPS3KhNAExDA8uSHM5B7qZlmAYWf 9bSi8mz3bl93KddNg== IronPort-Data: A9a23:hdOtUaJ80nScp2bgFE+R55MlxSXFcZb7ZxGr2PjKsXjdYENS12RRm DMcDDyGPa2DYjD1L91xO9y0/UkBvpTcnYc1SgId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0M78wIFqtQw24LhWFrc4 YmaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhxctUy e5H6ceKSiBzGq/glvsYVwtmOnQrVUFG0OevzXmXtMWSyxSAfCCq2/xvFgc9OohwFuRfXz8Ir q1ec3ZUN0zra+GemNpXTsFrgsksBM7oOYId/HZ6wlk1CN53GcqSGvmSjTNe9C0LiZljFseCX eU6WARzairsOBxxZ35CXfrSm8/02iKuK2EwREiujaE+5myWyA1qzJD2Id/Nc5qLQ99UlwCWv Ar7E3/RBxgbMIXZxmHD6nutnKnEmiaTtJ8u+KOQrOVPgWaZmjcpCzpMcVmXr+a8jlyAcocKQ 6ALwRYGoa83/U2ta9DyWRykvXKJ1iLwvfINT4XWDynQlsLpDxal6nssEmYcNYJ63CMibXl1h wLWwImB6SlH7dWopWShGqB4RN9YEQENKmsGYkfopiNcvoe6++nfYv8oJ+uP/Yawh9zxQHf/m HaSpSkkwb4UiKbnNplXH3ia3FpARbCQEWbZAzk7uEr+tWuVg6b+O+SVBaDzt6ooEWpgZgDpU II4s8af9vsSKpqGiTaARu4AdJnwuarabWOE3AAwTsF/n9hIx5JFVd0OiN2ZDBo3WvvohRe2C KMukVoBtMMKYhNGk4cmP97Z5zsWIVjISYi+B6iIBja/SoB4dRXP+ixyekmK3HuFraTfuf9XB HtvSu71VSxyIf0+lFKeHr5NuZd2mHxW7T6NFPjTkkT2uZLDNSH9YeleajOmMLtmhJ5oVS2Or L6zwePRlkQHOAA/CwGLmbMuwacidiFqW8qp95QJKoZu4GNOQQkcNhMY+pt5E6QNokifvr6gE qiVVhAKxVzhq2fALAnWOHlvZKm+D5F8qHM5eys2Mg/wiXQkZI+u6oYZdoc2JOF/rbczlaMkF vRVKd+dBvlvSyjc/2hPZ5fKqoE/Jg+gghiDPnb4bTVmJ8xgSgXF98XKZAzq8CVSXCO7udFv8 bqj0wLZB50ZSF06XsrRbfuuyXK3vGQcwboqBhCYeoQDIUi1qdpkMS38iPMzMvogExSby2vIz RuSDDcZufLJ/90//u7PiP3WtIyuCeZ/QhdXEmSHv7a7MS7WojiqzYNaCbnaeDncUDqy9/7kf exU1bf3N/hexARGtI91ErBKy6Mi5ou39+ADnlg8RHibPU62Dr5AI2Wd2ZcdvKN6xohG5Vm8V HWJ94QIIr6OIs7kTQAcfVJ3cuSZ2PgIsTDO9vBpcl7i7Sp68ebVS0lUJBXQ2iVRIKEsb9Egy OYl4YgZsEqngxswdN2Bi3kMpWiLK3UBVYQht40bUNe71VN7lgkabMyOEDLy7bGOd85IbBsgL AiUs7We1b5S8UzPLigoHn/X0OsA25lX4EJWzEUPLkiik8begqNlxwVY9Dk6Q2y5FPmcPz6f7 oSqC6F0GUlK1zJhhcwaGW/3XRlIBQff8Uv0o7fMvHOMVFGmDwQhM0VkUdthPmhAm46fQtSf1 LabzWfnFzHwc6kdGwMsDFV9paWLocNZr2X/dQPOIyhBN545ZDvnxKi0agLkbvch7dwZ3CX6m AWhwAq8hWAX+8LdT23XxrR2DYgtdS0= IronPort-HdrOrdr: A9a23:bmvc56uPTuNoFFJ9QrF5+jkW7skDT9V00zEX/kB9WHVpm+ij5q WTdZMgpHvJYVcqKRMdcL+7VZVoLUmxyXcX2/hzAZ6HVAni/ESvKYRl85f6hwDnchefygc+78 ZdmsFFYbWaZ2SS5vyV3ODXKbkdKZW8gceVuds= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,194,1643670000"; d="scan'208";a="9029140" X-MGA-submission: =?us-ascii?q?MDHosgQUauozNZu+0gl/gzhi1DQb7RRs+A5bhY?= =?us-ascii?q?CQcSa6YZV8ENn2FWAqdPCMDrS6ZMcmpXzJ21dPt73nNRhq1cUmff65rA?= =?us-ascii?q?Z4/CG2gHIzzFntxD42NqiJ+6MS9CiZEGc9w11nw8cdvXM4/tq67aC/gF?= =?us-ascii?q?z9i86nm9aBJZttLrdbKA+G2g=3D=3D?= Received: from mail1.g3.pair.com ([66.39.3.114]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Mar 2022 15:44:38 +0100 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 064F63FBABF; Sat, 19 Mar 2022 10:44:35 -0400 (EDT) Received: from Melchior.localnet (unknown [133.159.150.141]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id 5B169585219; Sat, 19 Mar 2022 10:44:32 -0400 (EDT) Date: Sat, 19 Mar 2022 23:44:23 +0900 From: Oleg To: caml-list@inria.fr Message-ID: <20220319144423.GA5015@Melchior.localnet> Mail-Followup-To: Oleg , caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.10.1 (2018-07-13) Subject: [Caml-list] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Reply-To: Oleg X-Loop: caml-list@inria.fr X-Sequence: 18730 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: HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022) Call-for presentations https://icfp22.sigplan.org/home/hope-2022 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom@ed.ac.uk) and Oleg Kiselyov (oleg@okmij.org). * Deadline for talk proposals: **June 1st, 2022** (Wednesday) * Notification of acceptance: **July 13th, 2022** (Wednesday) * Workshop: **September 11th, 2022** (Sunday) Program Committee Jonathan Immanuel Brachthäuser University of Tübingen, Germany Edwin Brady University of St. Andrews, UK Daniel Hillerström (co-chair) University of Edinburgh, UK Mauro Jaskelioff National University of Rosario, Argentina Oleg Kiselyov (co-chair) Tohoku University, Japan Sean Moss University of Oxford, UK Maciej Piróg Huawei Research, UK Taro Sekiyama National Institute of Informatics, Japan Ningning Xie University of Cambridge, UK Yizhou Zhang University of Waterloo, Canada