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 ESMTP id 0836B5D5 for ; Wed, 8 Dec 2021 20:00:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,190,1635199200"; d="scan'208";a="9527540" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Dec 2021 21:00:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B410BE016E; Wed, 8 Dec 2021 21:00:39 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B23A6E016E for ; Wed, 8 Dec 2021 21:00:34 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-pg1-f177.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A/hpdJxaoI0HvqmEgf+ozzA3/LTFL14qcDmcuAno?= =?us-ascii?q?PtbtCf+yZ8oj4OwSHvLMx1gaPAtWQsqgVw8Pt8InYEVQa5piAtH1QOLdtbDQiz?= =?us-ascii?q?fssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB?= =?us-ascii?q?1JuPoEYLOksi7ze+/94PObwlShjewYrx+IAiooQjVq8IbnZZsJqEtxxXTv3BGY?= =?us-ascii?q?f5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRb?= =?us-ascii?q?DVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHql?= =?us-ascii?q?SgHLSY0/mHZhMJuj6xVvR2uqABwzYPPfIGYNuBzcr/Bcd8GR2dMWNtaWSxbAoO?= =?us-ascii?q?7aosCF+kPPeJYrobnulAAsAWxBROjBOzxyj5Dm3j73awm3OQvCQHKxhQgH88Vv?= =?us-ascii?q?3TQrdX6KKYSUfy1zaTTwjXDaPRW2Tj56IfWdxAuu/CMXbZqfcXNzkkvEhrIg1O?= =?us-ascii?q?NooPqIz2bzP4Cs3SH7+V+T+KvjXYqpx9wrzWs2MshiIfEiIIaxFza6yl3z4g7K?= =?us-ascii?q?NO2RUN1YtOpH5pduS+HOoZ4Xs8vQG5ltScmx7AHpJK1fCkHxZAjyhPZdveJfY+?= =?us-ascii?q?I4hf5W+aQJzd1nGlleLOwhxaq9Uiv0Ov8WtOz0FZQoSpJitjMuWwD1xzL9seHT?= =?us-ascii?q?f19/km/1jaVyQ/T7P1LLl4umarcMZ4hzbg9nYcQv0TbBiL6hln6gauMekgn+uW?= =?us-ascii?q?k8frrbqjmq5OGKoN5iAPzPrwwlsCjH+g0KAgDU3WB9eii27Du/1f1TKtLg/Awj?= =?us-ascii?q?6LXqorVJd4Bqa68GwJV0pgs6xK4Dzq+1dQXh3gHLFZcdBKfgIjlJkjCIP7lAfq?= =?us-ascii?q?9gVmgijhrx/fBPr3uBpXCMGLPn6vmfbZ480JcyQwzws5D559MFL0NPPb+VlXyu?= =?us-ascii?q?dHYFBM1LRG4zub9BNlg1I4TW3qDAqqDP6PTtV+I6PgvI+6JZIINuTbyN/Yl5+b?= =?us-ascii?q?0gX8hhF8SZq2p3ZoLZ3C5AvRnI16UYXXrgtcGHmcKuhQxTOnwh12DVT5ffWq9X?= =?us-ascii?q?6U55j0jEoKpEZ/DRpyxgLyGxCq0AodZZmVCClyVFXfodp6EW+sXZSKJIs5hlyQ?= =?us-ascii?q?EWqK7R48g0xGurg76xKB9Iura4C1L/a7kgdN84umWkRAp6RR1Cd6c2ieDVTJah?= =?us-ascii?q?GQNEh4yzak3mkFnxVqSmfx5iPJAU8RO7fdIWQYmJLbTyOt1D933UwPFONyOTQD?= =?us-ascii?q?1EZ2dHTgtQ4dpkJc1aEFnFoD65vgi9y+jArtQj7PSQZJtrf2a0H/2KMJwjX3B0?= =?us-ascii?q?ft557HJasRIMmKii6t29gyVDInMwRzxf0OCeqMb0yrA8W6CySyFu0QKCGZN?= IronPort-Data: =?us-ascii?q?A9a23=3ArSpB06MzVZgucabvrR3clsFynXyQoLVcMsFnjC/?= =?us-ascii?q?WdQK41zIr1DJTymUXCGjXO/aINmugKdxxPoq09EJUvcTdv4NqS1BcGVNFHysb8?= =?us-ascii?q?5KdbTi6Bh6tZH3KdpWroHqKXqzyU/GYRCwPZiKa9kfF3oTJ9yEmjPjSHuqkVIY?= =?us-ascii?q?oBwgoLeNaYHd54f5cs7Vh6mJYqYDR7zKl4bsekeWHULOW82Ic3lYv1k62gEgHU?= =?us-ascii?q?MIeF98vlgdWifhj5DcynpSOZX4VDfnZw3DQGuG4EgMmLtsvwo1V/kuBl/ssIta?= =?us-ascii?q?sk7K+akJTB7CLYlfIhX1RVKyvxBNFo0Te0I5hbKtaORoR0WzU2Ykul72htrToI?= =?us-ascii?q?estFqzHlvxbSwRSFyB1PLFX0LDAJne7vMmazkmAeHzpqxlrJBBrZ9JEp70f7WZ?= =?us-ascii?q?mrKREcljhdCurjOuzxPe/S/Jwrt8yKdHieoIZoHBpiz/DZcvK67jXG/CQo4BMh?= =?us-ascii?q?WJowJhaR6OGIZBIOGN7N0GYJUBbZQI+FrYVmcOEhl3eehtksnarpI8jujCGnEg?= =?us-ascii?q?sxNABK/LQc92OAN1axwOW/z2ZuWv+BR4eOZqUzj/tz55lvceX9QuTZW7YPOHQG?= =?us-ascii?q?j9WbFyvKqg7DRQXUR6jrqD8hBfhBJRQLEsb/idopq83nKBuZrERQDXgyENofDZ?= =?us-ascii?q?FMzaTLwH+wA6KzaXQ7gOQB2xCRTlEADDjnNFjXiQkjzdlgPuwbQGCc9Sppba1+?= =?us-ascii?q?bCToje/PCEUKSkJYipsoc4tizX8iNlbsy8jheqP3EJ4YhMZ1N0wL/23QPACuog?= =?us-ascii?q?u?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A4LKS7KA0wghB+U/lHeme55DYdb4zR+YMi2TD?= =?us-ascii?q?sHoBMiC9E/bo7/xG+c5w6faaskd1ZJhNo6HiBEDjewK6yXcF2/hpAV7KZmCP0w?= =?us-ascii?q?uVxelZjLcKqAeQfREWmNQtsZuIsJITNDQzNzVHZYKW2njbLz/t+ra6GWmT69vj?= =?us-ascii?q?8w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbCgBlDrFhf7HXVdFaHAEBATwBAQQEA?= =?us-ascii?q?QECAQEHAQEVgVkCAYE5AgEBPYEYD1drhEeOboIlixqGcYo5FIFoCwEDAQsBARI?= =?us-ascii?q?BASEKAgQBAYRBg2ICHQcBBDAJDgECBBUBAQUBAQECAQMDBAETAQENCxAIMiSFa?= =?us-ascii?q?A1AARABgWMihAQLBh0BJxIDEh8CJgI2AQUBNQgBGYIETIJkAQMJJQEPoSaBBD2?= =?us-ascii?q?LMoExgQGCCQaESQpBDWaBWgIHCQEIfigCAQEBAYcYhz2BGYEQgRWDaIEFgVOBO?= =?us-ascii?q?AESAYM5gmUEk0AKIAETgT6BJpFWFI5aXp1eB4NDBYpblHGDb4t9hgqRT5YpjHy?= =?us-ascii?q?UGBWEdAIKBwYQI4E+gSRwMwEZI4MFATMJSBkPV41gg1uFFIVJDjQzAjYCBgsBA?= =?us-ascii?q?QMJhUaCFIgpAQE?= X-IPAS-Result: =?us-ascii?q?A0AbCgBlDrFhf7HXVdFaHAEBATwBAQQEAQECAQEHAQEVgVk?= =?us-ascii?q?CAYE5AgEBPYEYD1drhEeOboIlixqGcYo5FIFoCwEDAQsBARIBASEKAgQBAYRBg?= =?us-ascii?q?2ICHQcBBDAJDgECBBUBAQUBAQECAQMDBAETAQENCxAIMiSFaA1AARABgWMihAQ?= =?us-ascii?q?LBh0BJxIDEh8CJgI2AQUBNQgBGYIETIJkAQMJJQEPoSaBBD2LMoExgQGCCQaES?= =?us-ascii?q?QpBDWaBWgIHCQEIfigCAQEBAYcYhz2BGYEQgRWDaIEFgVOBOAESAYM5gmUEk0A?= =?us-ascii?q?KIAETgT6BJpFWFI5aXp1eB4NDBYpblHGDb4t9hgqRT5YpjHyUGBWEdAIKBwYQI?= =?us-ascii?q?4E+gSRwMwEZI4MFATMJSBkPV41gg1uFFIVJDjQzAjYCBgsBAQMJhUaCFIgpAQE?= X-IronPort-AV: E=Sophos;i="5.88,190,1635199200"; d="scan'208";a="9527453" X-MGA-submission: =?us-ascii?q?MDG3ii7xK+cUuvrtJq4eloPyzRPckkkcTQkJr8?= =?us-ascii?q?VETYpqBSdb9cZmKBEHjp+/9YY8b+ruouSSsdk54I2Dqcr0t6lAVXz6kW?= =?us-ascii?q?gDmPsugVrFrbJELSumQfKLBddSoZGOkztbBqWlAL1ImzJPTL2zzy+m6w?= =?us-ascii?q?JFukwtSomDaaZpfl0ebI4buw=3D=3D?= Received: from mail-pg1-f177.google.com ([209.85.215.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Dec 2021 21:00:33 +0100 Received: by mail-pg1-f177.google.com with SMTP id 71so2992367pgb.4 for ; Wed, 08 Dec 2021 12:00:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20210112; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=r03pz3RGwjydcdpW/AWd/hsz/XYppe4sfzSpf5sA+sA=; b=a+pl1v4KQ0VW8XUVd7y0MrnsqjjCIADKLDQR0kgR7/iiwP4M6noxjNJAvE+P9u4ebQ 5u52fTuM5k+7L4fahYObqCgWuhez0SCnvW3SiZHF/IeNNiEFYKXIM2EuRyDnBPoZtmAg dlv4aQ5lnWqkwJRLOC0OZqqzE90NmHBSc0bsWqZOp0YRoUCJndoMChzkdnq20dAyVp2a n8HHICoALzHvO/sTUlChbd9tGT1YhRZXiXcZs+K22dRAi7wNZPdi5qp2dI1s7u4IzG/J E04PpCm/iX+G46j1/f+H7pyRaNydTAW7eSGdlLL5O19VUwXoAqJWbTodx5gDEuN7SHXm LfRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=r03pz3RGwjydcdpW/AWd/hsz/XYppe4sfzSpf5sA+sA=; b=Crs61uN0cPd6DlpSVBpgNyFXte3yLHI7epNxK7EwHJxOmOtz/t7r1v++d2YpWqAdU2 9DmbiL7/Iw+/HPYoVlanHVB4KSmw/Uf6NF4AqjmZ5nJe5EhmQeN/w42Br5SeIT25V0O1 wm2eI90TeKHX+DOpKZ3uvyKtdvDeW+l1cNsVsjOoeCoJFBytCr9/0VndU9Yoxxtb6ty1 IMI7WNDoBCA7yEsx3OQFA4Pj46QGXMh7Si51gyBkWeyuq3iuy7wAfKxOc8u+PRAHItun 5Y3iNCyiKKqmZO6a1GAAxjh1r/6cjh3/wsp+QhatSYedTQufVdvIkQe2xvRidegU+lwn 0vGw== X-Gm-Message-State: AOAM530Lb+2Iwx5aADTk4YPFYHiT/QKb+QAlkltv0isJVTIu8IyPxbCC EbOz2UOsW0QMqnCi4bI8HTzAxySh/KY= X-Google-Smtp-Source: ABdhPJy0WHOYInBSSRRy49nfoWoe8pZLXONAdDKAbugK8mfk8Ybn9A39Ka9EmxzZ+ZKhdqSD7+WnHQ== X-Received: by 2002:a63:3858:: with SMTP id h24mr23276641pgn.226.1638993631708; Wed, 08 Dec 2021 12:00:31 -0800 (PST) Received: from icfp.publicity ([202.51.247.26]) by smtp.gmail.com with ESMTPSA id bf13sm3476835pjb.47.2021.12.08.12.00.30 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Dec 2021 12:00:31 -0800 (PST) From: Ilya Sergey X-Google-Original-From: Ilya Sergey Date: Thu, 09 Dec 2021 04:00:30 +0800 To: caml-list@inria.fr Message-ID: <61b10ede97b02_15adc3fdd9842ffd0559b@ilya-work-macbook.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Workshop Proposals: ICFP 2022 Reply-To: Ilya Sergey X-Loop: caml-list@inria.fr X-Sequence: 18622 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: CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2022 27th ACM SIGPLAN International Conference on Functional Programming September 11 - 16, 2022 Ljubljana, Slovenia https://icfp22.sigplan.org/ The 27th ACM SIGPLAN International Conference on Functional Programming will be held in Ljubljana, Slovenia on September 11 - 16, 2022, with the option of virtual participation. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2022 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 11th (the day before ICFP) and September 15-16th (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: December 24, 2021 Notification of acceptance: January 10, 2022 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2022 workshop co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou) via email to icfp-workshops-2022@googlegroups.com by December 24, 2021. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by January 10, 2022, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2022-files/icfp22-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2022 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Arthur Azevedo de Amorim (Boston University) Workshop Co-Chair: Zoe Paraskevopoulou (Northeastern University) General Chair: Andrej Bauer (University of Ljubljana) Program Chair: Zena Ariola (University of Oregon) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to icfp-workshops-2022@googlegroups.com.