K-user mailing list

[ICFP Publicity <icfp.publicity AT googlemail.com>]

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

            The 28th ACM SIGPLAN International Conference
              on Functional Programming (ICFP 2023) and
                          affiliated events

                      
https://urldefense.com/v3/__https://icfp23.sigplan.org__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjYGe280WQ$
 
                     Seattle, USA; Sep 4-9, 2023
=====================================================================

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://icfp23.sigplan.org/track/icfp-2023-papers*event-overview__;Iw!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbja_LEvyVw$
 

 * Registration:
   
https://urldefense.com/v3/__https://icfp23.sigplan.org/attending/registration__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZMYuPNwg$
 
   The early-bird deadline is August 5, 2023

 * Hotel: The Westin Seattle
   
https://urldefense.com/v3/__https://icfp23.sigplan.org/venue/icfp-2023-venue__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbqxrAKKA$
 
   Conference hotel reservation cutoff: August 11, 2023

There are several events affiliated with ICFP:

 September 4
   Erlang
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/erlang-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbh-hDKvw$
 
   FHPN
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/FHPNC-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjYuV3S5og$
 
   HIW
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/hiw-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbvDBlwFQ$
 
   HOPE
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/hope-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjYcOySz6g$
 
   PLMW
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/track/plmw-icfp-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjYL4Bl-HA$
 
   TyDe
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/TyDe-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZxoy9idQ$
 

 September 5-7
   ICFP - Main conference

 September 8
   Haskell
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/haskellsymp-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbG315ziQ$
 
   FARM
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/farm-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjYqbe1y7w$
 
   FUNARCH
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/FUNARCH-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjaDjDIsjA$
 
   ML
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZBrGuM7g$
 
   miniKanren
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/minikanren-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZ26-Et_A$
 
   Tutorial: Vehicle, A Specification Language for Neural Network Properties
   Tutorial: Porting Lwt applications to OCaml 5 and Eio

 September 9
   Haskell
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/haskellsymp-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbG315ziQ$
 
   Scheme
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/scheme-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZmOwWTHw$
 
   OCaml
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/ocaml-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZzRGrbGQ$
 
   DeclMed
     - 
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/declmed-2023__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjbxr3L33Q$
 
   Tutorial: Teaching and Learning Compilers Incrementally
   Tutorial: Teaching functional programming

Conference organizers:

  
https://urldefense.com/v3/__https://icfp23.sigplan.org/committee/icfp-2023-organizing-committee__;!!DZ3fjg!_mbVSPGO7ZdKCpnfcxpksAc7aeRuVqcMDZaf_zqujlymm82kwhaP00Pw0d_IVlzd9gcFxzXXGErLe049sLwdbjZz9WjF_A$
 

=====================================================================