Skip to Content.
Sympa Menu

k-user - [[K-user] ] ICFP 2023: Call for Workshop and Co-Located Event

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] ICFP 2023: Call for Workshop and Co-Located Event


Chronological Thread  
  • From: ICFP Publicity <icfp.publicity AT googlemail.com>
  • To: agda <agda AT lists.chalmers.se>, agents <agents AT cs.umbc.edu>, appsem <appsem AT lists.tcs.ifi.lmu.de>, bigloo <bigloo AT sophia.inria.fr>, bx <bx AT liste.es.e-technik.tu-darmstadt.de>, caml-list <caml-list AT inria.fr>, categories <categories AT mta.ca>, chicken-scheme <chicken-users AT nongnu.org>, clean <clean-announce AT science.ru.nl>, concurrency <concurrency AT cwi.nl>, coq-club <coq-club AT inria.fr>, ecoop <ecoop-info AT ecoop.org>, erlang-questions <erlang-questions AT erlang.org>, "F# Discussions" <fsharp-opensource AT googlegroups.com>, fp-nl <fp-nl AT cs.uu.nl>, fun <fun AT cs.nott.ac.uk>, "functional-programming@st-and" <functional-programming AT cs.st-and.ac.uk>, gambit-list <gambit-list AT iro.umontreal.ca>, GPCE-related <GPCE-related AT cs.rice.edu>, haskell <haskell AT haskell.org>, haskell-cafe <haskell-cafe AT haskell.org>, infodir_sigplan <infodir_sigplan AT acm.org>, isabelle-users <isabelle-users AT cl.cam.ac.uk>, k-users <k-user AT cs.uiuc.edu>, lprolog <lprolog AT cs.umn.edu>, mlton <mlton-user AT mlton.org>, mozart <users AT mozart-oz.org>, nvti <nvti-list AT cwi.nl>, prog-lang <prog-lang AT diku.dk>, racket-users <users AT racket-lang.org>, relics <relmics-l AT mcmaster.ca>, sml-list <sml-list AT cs.cmu.edu>, Tarmo Uustalu <tarmo AT cs.ioc.ee>, theory-logic <theory-logic AT cs.cmu.edu>, theory-nt <theorynt AT listserv.nodak.edu>, types-announce <types-announce AT lists.seas.upenn.edu>
  • Subject: [[K-user] ] ICFP 2023: Call for Workshop and Co-Located Event
  • Date: Thu, 1 Dec 2022 16:31:44 +0800
  • Authentication-results: ppops.net; spf=softfail smtp.mailfrom=icfp.publicity AT googlemail.com; dkim=fail header.s=20210112 header.d=googlemail.com; dmarc=fail header.from=googlemail.com

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://urldefense.com/v3/__https://icfp23.sigplan.org/__;!!DZ3fjg!8dc0wK7l20BebbhdJ6TEILhrrJ3trDYVcJy8VYOSh4Nvh5Xs5b0ABJ7L0TLCHkZXQi2C9xpdmYPaR7tmL7m-T6_8rhorqg$


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 AT 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:

https://urldefense.com/v3/__http://www.icfpconference.org/icfp2023-files/icfp23-workshops-form.txt__;!!DZ3fjg!8dc0wK7l20BebbhdJ6TEILhrrJ3trDYVcJy8VYOSh4Nvh5Xs5b0ABJ7L0TLCHkZXQi2C9xpdmYPaR7tmL7m-T69S9GKxgQ$


Further information about SIGPLAN sponsorship is available at:

https://urldefense.com/v3/__http://www.sigplan.org/Resources/Proposals/Sponsored/__;!!DZ3fjg!8dc0wK7l20BebbhdJ6TEILhrrJ3trDYVcJy8VYOSh4Nvh5Xs5b0ABJ7L0TLCHkZXQi2C9xpdmYPaR7tmL7m-T6_TOoZxUA$


----------------------------------------------------------------------

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 AT googlegroups.com.


  • [[K-user] ] ICFP 2023: Call for Workshop and Co-Located Event, ICFP Publicity, 12/01/2022

Archive powered by MHonArc 2.6.24.

Top of Page