[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=====================================================================
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__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkgHjmD5Q$
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!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkXkFXDgs$
* Registration:
https://urldefense.com/v3/__https://icfp23.sigplan.org/attending/registration__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkAKI9AD4$
The early-bird deadline is August 5, 2023
* Hotel: The Westin Seattle
https://urldefense.com/v3/__https://icfp23.sigplan.org/venue/icfp-2023-venue__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7Kk2-tcBm4$
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__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KklShRx1I$
FHPN
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/FHPNC-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkEm-MgXY$
HIW
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/hiw-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkiXp52jA$
HOPE
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/hope-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkD9KSk7w$
PLMW
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/track/plmw-icfp-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkwPxlhmA$
TyDe
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/TyDe-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7Kkkrv--0I$
September 5-7
ICFP - Main conference
September 8
Haskell
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/haskellsymp-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkUniOm9s$
FARM
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/farm-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkxwezGHg$
FUNARCH
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/FUNARCH-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7Kk6iRPL90$
ML
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/mlworkshop-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkN1VYmn4$
miniKanren
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/minikanren-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7Kkj5bKOKY$
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__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkUniOm9s$
Scheme
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/scheme-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkArJh9fI$
OCaml
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/ocaml-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7Kk-WV-iKk$
DeclMed
-
https://urldefense.com/v3/__https://icfp23.sigplan.org/home/declmed-2023__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkCnjfrVM$
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__;!!IBzWLUs!RGM3iQPSzIqv75jSAlyCIZCHdEM0tKQfhv-OPO5eXTUwbTCkyUTpPM-kS0dQXDXx5kvwRnNsoFHjRr62BGYUyWghTsb0X1qgu7KkD7wyCTc$
=====================================================================
