[TYPES/announce] ICFP 2024: Call for Participation

[ICFP Publicity]

=====================================================================
                        Call for Participation

            The 29th ACM SIGPLAN International Conference
              on Functional Programming (ICFP 2024) and
                          affiliated events

                      https://urldefense.com/v3/__https://icfp24.sigplan.org__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4H8EVlns$ 
                      Milan, Italy; Sep 2-7, 2024
=====================================================================

ICFP is a celebration of the art and science of functional
programming, providing a forum for researchers and developers to
engage on a variety of topics, from foundations to features, and from
abstraction to application.

You are invited to participate in a full week dedicated to functional
programming, featuring the ICFP main conference as well as several
other related events.

 * Accepted Papers:
   https://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-papers*event-overview__;Iw!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4GMA8UnI$ 

 * Registration:
   https://urldefense.com/v3/__https://icfp24.sigplan.org/attending/registration__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4r4LLTYk$ 
   The early-bird deadline is August 3, 2024

 * Venue: Allianz MiCo (Milano Convention Centre)
   https://urldefense.com/v3/__https://icfp24.sigplan.org/venue/icfp-2024-venue__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4-tQ8MoM$ 

There are several events affiliated with ICFP:

 September 2
   HOPE
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/hope-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4qc5ewlQ$ 
   PLMW
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/PLMW-ICFP-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4ugU1Ryg$ 
   HIW
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/hiw-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets43stpYxY$ 
   Erlang
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/erlang-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4PUwvoUA$ 
   FARM
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/farm-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4Zx6b2k4$ 

 September 3-5
   ICFP - Main conference

 September 6
   Tutorials (Sep 6-7)
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-tutorials__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4-rppuCc$ 
   FProPer
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/fproper-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4PUL68tM$ 
   ML
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/mlworkshop-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets42wk9Apc$ 
   Haskell (Sep 6-7)
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/haskellsymp-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4vqtOqGk$ 
   TyDe
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/tyde-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4UsXa6Tk$ 
   miniKanren
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/minikanren-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4hXwHz04$ 
   FUNARCH
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/funarch-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4gGchDlU$ 

 September 7
   Tutorials (Sep 6-7)
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-tutorials__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4-rppuCc$ 
   Scheme
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/scheme-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets42moAloo$ 
   OCaml
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/ocaml-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4MeuSvrQ$ 
   Haskell (Sep 6-7)
     - https://urldefense.com/v3/__https://icfp24.sigplan.org/home/haskellsymp-2024__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4vqtOqGk$ 

Conference organizers:

  https://urldefense.com/v3/__https://icfp24.sigplan.org/committee/icfp-2024-organizing-committee__;!!IBzWLUs!Uoc2egs_L6zh2cll01x-oXKnsdl6wTYfUZACcd3Wr_5Nc3mGALirGGgkpqTncbNK7ad1d6j-NW2Jw1jShs_rMbaKTF4kEs6Iets4Ai7KkUA$ 

=====================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240722/dde7d5ea/attachment.htm>