[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We are co-organizing a week of workshops about Functional Programming in
Paris, between Monday August 24th and Friday August 28th, 2026.
Registration is mandatory but free, and the organization is home-made: a
fun event to start the academic year.
The website, with a schedule and a registration link:
https://urldefense.com/v3/__https://fpw26.github.io/__;!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg3As2ybS$
(registration is free and _mandatory_)
The following events will take place:
- Monday: the OCaml Workshop
- Monday: the HOPE workshop (Higher-Order Programming with Effects)
- Tuesday morning: talks for academic beginners à la "Mentoring Workshop"
- mornings of Wednesday and Thursday: the TyDe workshop (Type-Driven
Development)
- afternoons of Tuesday, Wednesday and Thursday: a watching party for talks
given at the ICFP conference in Indianapolis (we will only see talks given
in the Indianapolis morning).
- Friday: the ML workshop (as in: programming languages descending from
Robin MiLner's work.)
Note: the dates coincide with the week of ICFP'26 (
https://urldefense.com/v3/__https://icfp26.sigplan.org/__;!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg19bErHo$
), to facilitate the interest of some workshops
in being present in both venues. We of course encourage those of you who
are able and willing to attend ICFP in-person in Indianapolis to do so.
(The list of papers accepted at ICFP this year is available at
https://urldefense.com/v3/__https://icfp26.sigplan.org/track/icfp-2026-icfp-papers__;!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg0fb3Z6-$
.)
I would also encourage you to consider submitting a talk proposal to the
workshops, with the following deadlines coming soon:
- ML workshop on June 24th
https://urldefense.com/v3/__https://icfp26.sigplan.org/home/mlfamilyworkshop-2026*Call-for-Presentations__;Iw!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcgwaKT41z$
- TyDe workshop on June 24th
https://urldefense.com/v3/__https://tydeworkshop.org/2026__;!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg3x-LknC$
- OCaml workshop on July 1st
https://urldefense.com/v3/__https://ocaml.org/ocaml-workshop-2026/cfp__;!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg5Y4y4-N$
- HOPE on July 3rd
https://urldefense.com/v3/__https://icfp26.sigplan.org/home/hope-2026*Call-for-Talk-Proposals__;Iw!!IBzWLUs!Xn9_T-4XAjmWGR8drSFbUzCI_rDW4G5d_jdBWDaOaab5E8_xaZrpuWuaft5PRuIM3LY6yvVWBzzIxKSxa0QdFLEfs__r0klcg8t7zZtl$
The best way to ensure we all have a good time is to propose nice talks 🙂
