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 C0A1D5D5 for ; Fri, 6 Aug 2021 02:50:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,299,1620684000"; d="scan'208";a="522939783" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Aug 2021 04:50:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B5A0DE0359; Fri, 6 Aug 2021 04:50:55 +0200 (CEST) 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 E71DBE034C for ; Fri, 6 Aug 2021 04:50:50 +0200 (CEST) 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-ot1-f52.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A9nXwWBKkV4t2rMPTltmcuFhhWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbMz3RSYBs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZzebgFHiDe5b755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDxQr4pRDSi9L9rRwH0h?= =?us-ascii?q?ycbOTA592TXhdZxjKJdvRmtoxNyzorRbIyTKfFwfL7SfckCSGRBUMhfSS9PDJ6?= =?us-ascii?q?zYIQTAOQMJvpYr5DnqlcSsReyGQuhCeXywTFInH/22qg63vw8Hw7c2QwrAswAs?= =?us-ascii?q?HPPo9X0MqceSOK7zK7UwjXDdPNWxS3y55XUchs8pvyMXK5/ccTJyUU1DwPFk06?= =?us-ascii?q?fqYjkPzyJ1+QNr2ia4vFvVeKojG4npAVxrSaqxsg2i4nJgpgZxUzD9SV82Ys4I?= =?us-ascii?q?8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xlpCY0x6AYtZO4fCYG1JQpyh7eZvGZboW?= =?us-ascii?q?F/xLuWeeMLTp3hX9oerKyiguy/0S81uHxSNS53llOoyRKktfBqnEA2hrO4caJT?= =?us-ascii?q?ft9+12u2TeJ1w3L8eFEIE80lbLfK5E7xL48jJ0TsV7MHiPugkX5kqCWdkA+9ei?= =?us-ascii?q?z9+TofK/mqoWAOI9zjwHyKqsums2jAeQ4LwgBRHKX+eW71LH74U34TrRKjuEqk?= =?us-ascii?q?qbHqpDWP9gUpqm8AwJTz40t6A6/Ai+43NgEmXQLNlFIdRKdg4T3Jl3CPOr0APe?= =?us-ascii?q?hj1i0jTtmxP/LMqf8DpnRMnTPiqntcapg50JG1gY+w81T6pRJAb8bOv3zQFX+t?= =?us-ascii?q?NnAAx85LQO0x+HnBc141owEWGKPBraVMKTOsVOV/+4vLemBaJEPtDbyLPgl4PH?= =?us-ascii?q?ujXsnllMHYaap2p4XZGi5HvRgPUqZfWLhjskdHWoOpAYzT+znhEecXTJOe3q+R?= =?us-ascii?q?aIx6i8jBIKjF4jDR4StgLKb3Ce8G51bfmFGBUyCEXfwbYmEQ+oMZzmWIs9gjjM?= =?us-ascii?q?EVKShSo862BGhsw/6zLVnLu7K9S0dr53j1dx16/fPmhE18Dx4F96d3H2VT2Fog?= =?us-ascii?q?mMIQCc707xlrkx4zlePyKx4g/1DFdxP/P5JSQc7NZvEz+NgEdzyWwTBfs2ISFm?= =?us-ascii?q?8WNmmDysxHZoNxIoFakN5XtGjlQzr3iywArZTmabYKoYz9/fn1n25G8F3ynCD9?= =?us-ascii?q?K4qj0I6S8dTfTmnjaBnsRDODYrImESFho6lcqMT2CPI/WaHi2GJuRcLA0ZLTaz?= =?us-ascii?q?ZUCVHNQPtptPj6xaeHtdG5pwoNQxOzcOHI6pOLNbuiAcfLB8GENvZZG21lmK5B?= =?us-ascii?q?BLOzbSJPtKCk4Q12SzcDA0Dj1lW8yvccwc5ASilriTVCzk8TTrS?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AXJK3cKAxJ4Ud5YblHela55DYdb4zR+YMi2TD?= =?us-ascii?q?tnoBKyC9Hfb1qynDppsmPD7P+U0ssRIb6LO90cu7IE80nKQdieJ6UItKNDOWwl?= =?us-ascii?q?dAR7sD0WKN+VPdMhy7z8lmkYhaX5AWMqyVMXFKyf/c2k2YNewcqeP3lZyAtKPm?= =?us-ascii?q?6E0oaidWS44lzyoRMHf8LmRGADBgP94fMqe9yY5inRTlWVl/VLXdOlA1G9HlnZ?= =?us-ascii?q?nzqLnCQSQmKyVP0nj2sdrS0s+DLySl?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqAgBFogxhfzTSVdE+HIEJg1WBGA5Xa?= =?us-ascii?q?4RHglSPFZ0KA1QLAQMBCwEBNQoCBAEBhBODSgIdBwEENBMBAgQVAQEFAQEBAgE?= =?us-ascii?q?DAwQBEwEBDQsQCDgmhWgNgjUMhBoLBh0BJQIKCAMSHwImAjYBBQFPCIIETIJUA?= =?us-ascii?q?QMJJg9EnxqBBD2LMoExgQGCCAaBPwGDOwpBDYI/AgcJAQh+Ko1vJ4EZgRCBFYJ?= =?us-ascii?q?zcIEEgVMLAQEBAYR1gmQEhC0MFAMBE30BMQ8XgQ+OD5xwkhMHgysFiEqBaYc8g?= =?us-ascii?q?XSKYCuFK5AZkSiiSoZlgg2KW4UNAgoHBhAjgVSBfTQZI4M5CUcZDlYBjV+BDgE?= =?us-ascii?q?CgkmCZIIwhUkdJTI4AgYBCgEBAwlYiXgBAQ?= X-IPAS-Result: =?us-ascii?q?A0DqAgBFogxhfzTSVdE+HIEJg1WBGA5Xa4RHglSPFZ0KA1Q?= =?us-ascii?q?LAQMBCwEBNQoCBAEBhBODSgIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBDQsQC?= =?us-ascii?q?DgmhWgNgjUMhBoLBh0BJQIKCAMSHwImAjYBBQFPCIIETIJUAQMJJg9EnxqBBD2?= =?us-ascii?q?LMoExgQGCCAaBPwGDOwpBDYI/AgcJAQh+Ko1vJ4EZgRCBFYJzcIEEgVMLAQEBA?= =?us-ascii?q?YR1gmQEhC0MFAMBE30BMQ8XgQ+OD5xwkhMHgysFiEqBaYc8gXSKYCuFK5AZkSi?= =?us-ascii?q?iSoZlgg2KW4UNAgoHBhAjgVSBfTQZI4M5CUcZDlYBjV+BDgECgkmCZIIwhUkdJ?= =?us-ascii?q?TI4AgYBCgEBAwlYiXgBAQ?= X-IronPort-AV: E=Sophos;i="5.84,299,1620684000"; d="scan'208";a="522939706" X-MGA-submission: =?us-ascii?q?MDH3RViOT7iLQu7bYjupw5CcspBGyz6chadlIc?= =?us-ascii?q?2muSasQXaPMdemief7b0hkZM5kKZZh2Ppf2a4GRGdeL/AlA+wf/feoa6?= =?us-ascii?q?heydXMFecIPO0FKwIaRnvalNkdYUr5mfXiuUu2aCJ/x4EjpwoGZehCU4?= =?us-ascii?q?+ZX28bbiB8P1ni0dArnIoKvg=3D=3D?= Received: from mail-ot1-f52.google.com ([209.85.210.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Aug 2021 04:50:49 +0200 Received: by mail-ot1-f52.google.com with SMTP id c2-20020a0568303482b029048bcf4c6bd9so7397435otu.8 for ; Thu, 05 Aug 2021 19:50:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=0/9rHAzVQmYwLfKGjJWg+9qUEwkZG63l7Wu5VFbvsw4=; b=NNmQZ4nz5OG44T7EyKIAdEPCLTZ7Q4OIk0kSHwBKn7CJqwOTvWlbppd+FHIvUIvCpe 6aI841EAN2gd5c9Ne9naW9d8L+EhKdZxNQ3BJnKbOqPLWNMU6BKLZIoTQRgcnK6/QhCB SJxZqCk+zYOws3rEoBlTyzx3C7ub2vQqCvZ8DKlkKix6t/S12F8vQYrlcZGLCFlxbRzG mkvP4LJ3j7R66BZdMChuToed4S5b/i+xp0ACevD12yMXNnsiOvjEaMo3Yui3+FbZTO2e +bujaWc8poJxdfNl9NRogGTPNQpNn8KfiUshlO8wjWE1vjKtJ1tk3ah/9axYg1dRwBxZ gBDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=0/9rHAzVQmYwLfKGjJWg+9qUEwkZG63l7Wu5VFbvsw4=; b=uA2Xp9JFMwBkWSy+QPhDL1F/4ODZyW5GOYEOLq6HLMT9hZlGm7TLYjQk5vj/R/vNZl 47PrLR74YS4yybmOUTJ19+W9+N+S+4yU+ivSHZw7yB4NNkCZtwarulPo4hggaDG+8r4m FfP4lFN25fFHJcLxVohhoJnNOtFh0u6P2jfQDPpuJxppDs+BT/ZJv32DBeA80/duB65l 04Eej2dLf0c+91rwJg6tl1HfSVR9DNxbsu07MolAG3Ihr3qyxX1NdYkY4DDi+KIpI7oA HJMjexVxMIq/TFbZCVRWE52CXr7m1FvN0yVx8k0rKfH1o1gsqEmZfr+kmElTJLd8kdSf eg3A== X-Gm-Message-State: AOAM531K+7FIuStOl37xzOoEkeC+oZrfr2RlrunGA0CNC5Mg3ky+qp3e n/xm/gg9zShHid+/m54f1S94qQUs1B0= X-Google-Smtp-Source: ABdhPJwnuM02zhg77RtxAAlD2wmzUzlemqi4fgj31yCsqnreyNCp3ucU3K0oni0RbwdOosvCZCvpEw== X-Received: by 2002:a05:6830:929:: with SMTP id v41mr5804912ott.16.1628218247646; Thu, 05 Aug 2021 19:50:47 -0700 (PDT) Received: from icfp.publicity ([184.100.201.231]) by smtp.gmail.com with ESMTPSA id n7sm1371586otf.45.2021.08.05.19.50.47 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 05 Aug 2021 19:50:47 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Thu, 05 Aug 2021 22:50:47 -0400 To: caml-list@inria.fr Message-ID: <610ca38784bc_1ba72e40ef@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: ICFP 2021 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 18547 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: =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 Call for Participation ICFP 2021 26th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 22 - August 27, 2021 Online http://icfp21.sigplan.org/ Early Registration until August 7! =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 ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, the conference will be a virtual event. All activities will take place online. The main conference will take place from August 23-25, 2021 during two time bands. The first band will be 4PM-11PM Seoul time, and will include both technical and social activities. The second band will repeat (with some variation) the technical program and social activities 12 hours later, 3PM-10PM New York, the following day. We=E2=80=99re excited to announce that ICFP 2021 will feature an invited = talk from Ravi Chugh of the University of Chicago. Keynote sessions will take place at 10 PM Seoul/9 AM New York. = ICFP has officially accepted 35 exciting papers, and (in its second year) there will also be presentations of 4 papers accepted recently to the Journal of Functional Programming. Co-located symposia and workshops will take place the day before and two days immediately after the main conference. Registration is now open. The early registration deadline is August 7th, 2021. Registration is not free, but is significantly lower than usual, including a $10 discounted registration option available to all. Students who are ACM or SIGPLAN members may register for FREE before the early deadline. https://regmaster.com/2021conf/ICFP21/register.php New this year: Attendees will be able to sign-up for the ICFP Mentoring Program (either to be a mentor, receive mentorship or both). * Overview and affiliated events: http://icfp21.sigplan.org/home * Accepted papers: http://icfp21.sigplan.org/track/icfp-2021-papers#event-overview * JFP Talks: https://icfp21.sigplan.org/track/icfp-2021-jfp-talks#event-overview * Registration is available via: https://regmaster.com/2021conf/ICFP21/register.php Early registration ends 8 August, 2021. * Programming contest: https://icfpcontest2021.github.io/ * Student Research Competition: https://icfp21.sigplan.org/track/icfp-2021-Student-Research-Competiti= on * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference This year, there are 10 events co-located with ICFP: * Erlang Workshop (8/26) * Haskell Implementors' Workshop (8/22) * Haskell Symposium (8/26-8/27) * Higher-Order Programming with Effects (8/22) * miniKanren Workshop (8/26) * ML Family Workshop (8/26) * OCaml Workshop (8/27) * Programming Languages Mentoring Workshop (8/22) * Scheme Workshop (8/27) * Type-Driven Development (8/22) = ### ICFP Organizers General Chair: Sukyoung Ryu (KAIST, South Korea) Program Chair: Ron Garcia (UBC, Canada) Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA) Gabriel Scherer (INRIA Saclay, France) Industrial Relations Chair: Alan Jeffrey (Roblox, USA) Simon Marlow (Facebook, UK) Programming Contest Organizers: Alex Lang and Jasper Van der Jeugt Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: Anders Miltner (University of Texas, = USA) Workshops Co-Chairs: Zoe Paraskevopoulou (Northeastern University, USA) Leonidas Lampropoulos (University of Maryland, USA) Video Co-Chairs: Leif Andersen (Northeastern University, USA) Ben Chung (Northeastern University, USA) Student Volunteer Co-Chairs: Hanneli Tavante (McGill University, Canada) Jaemin Hong (KAIST, South Korea) Lily Bryant (UBC, Canada) Accessibility Co-Chairs: Lindsey Kuper (UCSC, USA) Kathrin Stark (Princeton, USA)