From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10867 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: ICFP Publicity Newsgroups: gmane.lisp.scheme.bigloo,gmane.comp.lang.agda,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.lisp.scheme.chicken,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.erlang.general,gmane.lisp.scheme.gambit,gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.comp.lang.lambda-prolog Subject: ICFP 2023: Call for Workshop and Co-Located Event Date: Thu, 1 Dec 2022 16:31:44 +0800 Message-ID: Reply-To: ICFP Publicity Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12213"; mail-complaints-to="usenet@ciao.gmane.io" To: agda , agents , appsem , bigloo , bx , caml-list , categories , chicken-scheme , clean , concurrency , coq-club , ecoop , erlang-questions , "F# Discussions" , fp-nl , fun , "functional-programming@st-and" , gambit-list , GPCE-related , haskell , haskell-cafe , infodir_sigplan , isabelle-users Original-X-From: bigloo-owner@inria.fr Thu Dec 01 09:32:10 2022 Return-path: Envelope-to: glsb-bigloo@m.gmane-mx.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1p0ezJ-0002yI-4G for glsb-bigloo@m.gmane-mx.org; Thu, 01 Dec 2022 09:32:09 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner; bh=D0Bcw9mtnsIwZcg6croD2GK/uWQ1AfeNMh8IOHlysCY=; b=aZobbocJVULZ6ojqX89jKp+4QynozW4U3RswCKTE2oZXUik/LrRTDG4k pnMwcgmgJ+Oj+TkqevABH3mlAlLpyZsuFyKw7ecstM8yVgs+SqIYXFXEG RAs32wD35MKp7MhRgEJqUNssWSupHuB0n1iu3/+xIrY9uafJ3/OU89z+G 8=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of bigloo-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="bigloo-owner@inria.fr"; x-sender="bigloo-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="bigloo-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=bigloo-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@googlemail.com X-IronPort-AV: E=Sophos;i="5.96,207,1665439200"; d="scan'208";a="81109975" Original-Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Dec 2022 09:32:06 +0100 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 5DBDAE02AC; Thu, 1 Dec 2022 09:32:06 +0100 (CET) Original-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 1FF66E0010 for ; Thu, 1 Dec 2022 09:32:00 +0100 (CET) IronPort-SDR: 6388667e_xGBz7VOywtE5uymgONz3pnJHlqJYH1bBVZtmBG16GmIsWpR JqAclxtr0NNtIudQ9ey74ozzlogZsvsnX0QYSLA== X-IPAS-Result: =?us-ascii?q?A0HWIwBEZYhjfynYVdFaDg0BAQEBPAEBAQMDAQEBAgEBA?= =?us-ascii?q?QUBAQEVgSoBJoFDAgE9KDMBUFUvBAtFhE+DT4sngiWdS4FfCw8BAwENFAEBA?= =?us-ascii?q?QIVCwsEAQEDAQOEOUEChRACHQcBBDQTAQIEAQEBAQMCAwEBAQEBAQMBAQUBA?= =?us-ascii?q?QECAQECBAQBAQIQAQEZCRkHDg4FJIVoDYI1KQF1gQcBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBARYCDVIfOQEgAQUBEAsGHQEnEgMSEA8CJgICIhIBBQEhAQESCRmCA?= =?us-ascii?q?1gBgm0BAzEDEKMTgQRCizKBMoEBggkGgQebAQpBDWiBXgIHEoECKgIBAQGIc?= =?us-ascii?q?RODYIM2gSEQgVVEgRU2gkRugQUBTYEEgTgBEgGDeIJnBIxriVQKAwQGBTcBA?= =?us-ascii?q?gFDHUADC2oDCkM1BhZMIgkcGwc4VCoJHxUDBAQDAgYTAyICDSgxFAQpEw0rJ?= =?us-ascii?q?28JAgMiZgMDBCgsAwlAByYkPAdWEiUFAwIPIDgGAwkDAiJTfCUOGAUDCxUlC?= =?us-ascii?q?AVJBAg5BQZTEgIKEQMSDyxFDkg+ORYGJ3MODhMDXYFpBIIuXZgcgy8KIAETg?= =?us-ascii?q?T6BJpIaGpBdnwI0ByqDQoFQDIl1lQkyg3iMVphMhgmRMyCNI5R5FYUXECOBV?= =?us-ascii?q?iNscDQZI4EBggIBMwlGAxkPV41gg1uFFIUFCAE7D IronPort-PHdr: A9a23:5Vb70hb+lkF5crrmyrJMx/n/LTEx3IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPBdmQsqgdw6qO6ua8AzBGuc7A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oRvRu8UMnYdvJak9xgbXrndVZu9awX9kKU+Jkxvz+Mu984Rv/zhMt/4k6sVNTbj0c6MkQ LNXCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9 LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcRctaSTBPDZ2gY IsOF+oBPPhXr4/hp1sVsBCyARCgCP7zxjNUg3P727Ax3eY8HgHcxAEvENIAvnrXotvoKqkdT fu4zLXUwTjZc/9axSvx5YrOfxs8of+MR7Vwcc/JxEcsCQ7Ljk+eopH/MTOIzesNt2mb4PZhV eKzi28stgZ8ojmzyccikonFnJoVyk3f+iV9wYY6Ody4SFJ7YNO/H5tQsCaaN4RyQsw8RmFno ic6yrkctZGneygKzY0qyhjCYPOIb4aG+AjsVPqNIThmnnJlfqqyiRaz/EWj1uHxSs253VlKo CdZjNXCuHAA2wHd5MaHSvVw4kms1DKP2QzN6u9JPFw4mLTFJpMl37I8iJodvErNECLwhU74g qiWdkA+9eip7eTqeq7mpp6TN49sjgHxKKIulta4AeQiPQgCR2mb9viy1L374UL5R7NKjvMon anDrp/aI9g IronPort-Data: A9a23:G6AfpaNoyJ801VnvrR18k8FynXyQoLVcMsEvi/4bfWQNrUp23jQHy mMeWWCPO/uMMWakKo92YIi+9BwF6MPVzoIxS3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/jgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQHNNwJcaDpOsfvZ8Eo35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX2Yybn+NtsS3o2BoQ/p7d9XzBM9 tUhfWVlghCr34pawZq+Q+how9whdYzlYNpZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JkQW6qHD yYaQWIHgBDoYhZBIhEPFZg6neypmmjXfDpfp1aYoKM25y7YywkZPL3FbIOJIofQGJk9ckCw+ nP/r2WnAQojC+OB6wipyCurgsHApHauMG4VPOTgqqQCbEeo7mYSBxkRUnOgsPyhgwi/XcheI goa4EITQbMa8UWqSpzlXUT9riLd+BEbXNVUHqsx7wTlJrfoDxixNnhZRQVvapsdtPQ/YmF73 AHYndDAPGk62FGKck61+rCRpDK0HCEaK24eeCMJJTc4D8nfTJIb1U2QE44yeEKhppikRmGqm mHiQD0W3u1L1aY2O7OHEUcrag9AS7DMRw8xox3VByerslo/a4miaIilr1Pc6J6szbp1rHHR7 RDoeODEtIj IronPort-HdrOrdr: A9a23:EMaCeKDSAU6D5zTlHemh55DYdb4zR+YMi2TDtnoBLiC9F/bzqy nApoV56faZslYssRIb+OxoWpPwI080nKQdieIs1NyZLWzbUQWTXeVfBEjZrwEI2ReSygeQ78 hdmmFFZuHNMQ== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.96,207,1665439200"; d="scan'208";a="41403254" X-MGA-submission: =?us-ascii?q?MDEdKDKrEQ0rYcT95V+LM/aIVbO+mlsm4VnyqI?= =?us-ascii?q?Hzek6q6DF2pG7lv3pI/gKUg1LYV+YSmxOtARLA/w8CQqSjNqQZPd4bhb?= =?us-ascii?q?HCQbhCAO3wMEdGndngy+pqUgv1dtItLnEr0QZEmdK1Bv2hEe5J/lfiMV?= =?us-ascii?q?RhvymYFmeQKhMPWSXVDrhIUg=3D=3D?= Original-Received: from mail-pj1-f41.google.com ([209.85.216.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Dec 2022 09:31:59 +0100 Original-Received: by mail-pj1-f41.google.com with SMTP id u15-20020a17090a3fcf00b002191825cf02so1282202pjm.2 for ; Thu, 01 Dec 2022 00:31:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=D0Bcw9mtnsIwZcg6croD2GK/uWQ1AfeNMh8IOHlysCY=; b=VypCR/kgau21BBViHelC2yvfbCw3ZjmjW/M4ZAXPYhZFqSnrxbW0AyLUXtq3rrK+mX E1ONjhCW9y1Dpfuqx81JrIweMesTmw6HS/cMCFSSNWVccQSUqU6XtkGv+egScAQEzdoL DVJX0OxbmeGTOZKTVK9wdrrQken3fZKXtPXCkXHWaWmG2Qk3ZFebAhzbKuwDOD0PBM6j 0m1G058OfgPyQQzqbk9XAXl5p58LyFpsB910BVcZESUyVw2JwCToJhlx+RaJ7JNtAJFX QAvQb7tpZE+gv2ytnNkGpkH+5e08DdImfLfDDYcHLWnHif1XiWgJn2ae0b3ggyCczsc1 saqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=D0Bcw9mtnsIwZcg6croD2GK/uWQ1AfeNMh8IOHlysCY=; b=UitzRu/iyGgKhyW5l/9Vv7FJq5fKdUjUXfP/y7hwwDlQSb2KPf2HxgIrDoxYwf2v/L K5nfnVWGaBwyiA52AGMAH9N5eYn+m09NKfstUClBtETbbjd+d7rfAO4yLpZYEWVxrc64 2gWyGq9fJViDVvK8rRYhO4Ww1VNJFLb82iFCMu372UtHKTT57vI6JHy7dVZNvvJoUn1q L6rk1rdy8gqv8TDjBMacNKGg2/fs8qM/9t/hcAzkJnXUzMSs9BjEd+DNgefspdqL5G0Y wGxrdtNWwL8LlOUe/foa88Azh0xEzqasXbboWLg9A6Y2n49OB5mMwl32mO7DxsdeHUNG gVEw== X-Gm-Message-State: ANoB5pmWO9IKoQA3Vjz5sEohKSakWfwEphowbplsltORyJixxd27GXRT IOHozujwnxec1e9HsxGWBv/xKDqb5DOwLatzbbk= X-Google-Smtp-Source: AA0mqf7GdthB2puIz6xlyj6s3fBiRZDbMWBWikJ1NC8ltgSHCFibT3XwD6btqICEYVvHhN+NxVW8BYY50s4RtTnXJcU= X-Received: by 2002:a17:902:e3ca:b0:189:a11e:9994 with SMTP id r10-20020a170902e3ca00b00189a11e9994mr10508517ple.54.1669883515440; Thu, 01 Dec 2022 00:31:55 -0800 (PST) X-Loop: bigloo@inria.fr X-Sequence: 7617 Errors-To: bigloo-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: bigloo-request@inria.fr List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: Xref: news.gmane.io gmane.lisp.scheme.bigloo:6878 gmane.comp.lang.agda:13064 gmane.comp.lang.caml.inria:69891 gmane.science.mathematics.categories:10867 gmane.lisp.scheme.chicken:23141 gmane.comp.science.concurrency:6188 gmane.science.mathematics.logic.coq.club:23172 gmane.comp.lang.erlang.general:96629 gmane.lisp.scheme.gambit:9632 gmane.comp.lang.haskell.general:22739 gmane.comp.lang.haskell.cafe:132681 gmane.comp.lang.lambda-prolog:3416 Archived-At: CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2023 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA https://icfp23.sigplan.org/ The 28th ACM SIGPLAN International Conference on Functional Programming will be held in Seattle, WA, USA on September 4 - 9, 2023, 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 2023 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 4th (the day before ICFP) and September 8-9th (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: December 22, 2022 Notification of acceptance: January 13, 2023 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 2023 workshop co-chairs (Arthur Azevedo de Amorim and Yannick Forster) via email to icfp-workshops-2023@googlegroups.com by December 22, 2022. (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 whether their event proposal is accepted by January 13, 2023, 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/icfp2023-files/icfp23-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 2023 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Arthur Azevedo de Amorim (Boston University) Workshop Co-Chair: Yannick Forster (Inria Nantes) General Chair: Nikhil Swamy (Microsoft Research) Program Chair: Sam Lindley (University of Edinburgh) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Arthur Azevedo de Amorim and Yannick Forster), via email to icfp-workshops-2023@googlegroups.com.