Functional Programming Workshops 2026

This minimalist webpage provides information on FPW26, a series of small colocated events around Functional Programming in 2026 in Paris, France.

Note: FPW’26 has now ended, thanks to everyone who participated! See our Chairs report for a description of how it went.

Registration

For in-person participants, registration is free but mandatory – to ensure that room limits are respected. The registration deadline was July 24th. For last minute registration requests, please send an email to the local organisers.

We would like to make workshop talks available online as well, on a best-effort basis. Online attendance will be free, and no registration is required. (We use registrations to check in-person room capacity and provision coffee, so please do not register to events you plan to attend online only.)

Online chat

Online channel on the Types Zulip.

Anyone should feel free to join, in-person attendees included!

Online participation

• Online participation link (all events except OCaml)

• Online participation link for the OCaml Workshop

Schedule

FPW’26 events take place from Monday August 24th to Friday August 28th.

The planned schedule is currently as follows:

The “ICFP” slots correspond to an “ICFP watch party”, a room where it will be possible to watch some of the talks happening at ICFP 2026 in Indianapolis during the same week.

Venue

All workshops will take place at

INRIA Paris, 48 rue Barrault, 75013 Paris

HOPE is in room Emmy Noether (immediately right from the entrance, behind the coffee space). Every other workshop is in the amphiteatre.

Hosted events

The following events will happen as part of FPW:

• the workshop on Higher-Order Programming with Effects (HOPE) (Program), HOPE takes place across two events, FPW’26 (here) and also ICFP’26.
  

• the OCaml Workshop 2026 (CFP) ( Program)

• the Workshop on Type-Driven Development (TyDe) (Program)

• the ML-Family Workshop 2026 (ML) (CFP) (Program), The ML workshop takes place across two events, FPW’26 (here) and also ICFP’26.

Lunch

Given that registration is free, lunch is not provided. Attendees are invited to form small groups and find food by themselves in the area; organizers have planned longer lunch breaks to compensate.

There are many restaurants in the area, for instance:

• Buja Végétarien is a vegetarian thai restaurant (with some vietnamese and korean dishes)
• Café Circus, a typical Parisian bar, serves lunch and dinner and offers a good quality/price ratio.
• Fabbrezza makes good pizza.
• La Bonne Heure is a tiny vegan/vegetarian place (making a reservation is highly recommended).
• Les Cailloux is an unsophisticated trattoria.
• Chez Gladines and Auberge Etchegorry serve hefty French Sud-Ouest cuisine.
• Lancetta is a true Italian place; somewhat high-end and expensive.
• Chez Nathalie serves French cuisine; somewhat high-end and expensive.
• Marso & Co serves French cuisine; leans on the chic and expensive side.

We provide a more complete list of recommandations as a shared map: https://umap.openstreetmap.fr/en/map/fpw26-recommendations_1446520. It lists restaurants around but also in the broader Paris area, which could include interesting options for dinner as well.

PLMW

In the amphiteatre.

• 08:45-09:15: Welcome and expectations for the workshop
• 09:15-10:00: Using Proof Assistants as More Than Checkers, and How to Write Papers About It – Yannick Forster, INRIA Paris
• 10:00-10:30: Coffee break
• 10:30-11:30: “Checking a large routine” 77 years later: an overview of deductive software verification – Xavier Leroy, College de France
• 11:30-12:30: Panel with researchers from academia and industry:
  • Christina Matache (University of Birmingham)
  • Hugo Paquet (INRIA Paris)
  • Benoît Montagu (INRIA Rennes)
  • Sebastien Hinderer (Vates)

Questions

For any questions, please send an email. The turned ampersand symbol (⅋) is French for “in parallel”.