August 2026 - Haskell-Cafe

ICFP'26 upcoming on August 24-29: register today!
by ICFP Publicity 10 Aug '26

10 Aug '26

ICFP'26: Call for Participation The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP 2026) and affiliated events invite you to participate in a full week dedicated to functional programming! https://icfp26.sigplan.org Indianapolis, Indiana, USA; Aug 24-29, 2026 *Register here*: https://icfp26.sigplan.org/attending/registration ICFP Overview 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. The main conference will be August 25-27, with workshops, tutorials, and other co-located events on August 24, 28, and 29. The program this year includes 38 accepted papers, 4 student research presentations, 2 tutorials, 3 keynotes, and 12 co-located events. We are delighted to have three keynote speakers this year: Edward Lee (UC Berkeley), Lindsey Kuper (UC Santa Cruz), and Daan Leijen (Microsoft Research). Come join the official ICFP'26 Discord channel: https://discord.gg/icfp26 - Accepted Papers: https://icfp26.sigplan.org/track/icfp-2026-icfp-papers - Registration: https://icfp26.sigplan.org/attending/registration - Venue: Indiana University Indianapolis https://icfp26.sigplan.org/venue/icfp-2026-venue1 - Hotel Blocks: https://icfp26.sigplan.org/attending/hotel-blocks - Tutorials: https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials Keynotes Keynote speakers this year: - Edward Lee (UC Berkeley): "Deterministic Concurrency" - Lindsey Kuper (UC Santa Cruz): "Interpreters everywhere!" - Daan Leijen (Microsoft Research): "Efficient strong functional programming with effects and compiler guided reference counting" More info: https://icfp26.sigplan.org/track/icfp-2026-icfp-keynotes Co-Located Events There are several events co-located with ICFP: *Monday, August 24* - PLMW: https://icfp26.sigplan.org/home/PLMW-ICFP-2026 - HOPE: https://icfp26.sigplan.org/home/hope-2026 - miniKanren: https://icfp26.sigplan.org/home/minikanren-2026 - FARM: https://icfp26.sigplan.org/home/farm-2026 - OCaml watch party: https://icfp26.sigplan.org/home/ocaml-2026 *Tuesday-Thursday, August 25-27* - ICFP - Main conference *Friday, August 28* - Haskell (Aug 28-29): https://icfp26.sigplan.org/home/haskellsymp-2026 - Erlang: https://icfp26.sigplan.org/home/erlang-2026 - ML Family: https://icfp26.sigplan.org/home/mlfamilyworkshop-2026 - LOPSTR+PPDP (Aug 27-29): https://icfp26.sigplan.org/home/lopstr-ppdp-2026 *Saturday, August 29* - Haskell (Aug 28-29): https://icfp26.sigplan.org/home/haskellsymp-2026 - Scheme: https://icfp26.sigplan.org/home/scheme-2026 - FUNARCH: https://icfp26.sigplan.org/home/funarch-2026 - LOPSTR+PPDP (Aug 27-29): https://icfp26.sigplan.org/home/lopstr-ppdp-2026

1 0

POPL 2027 Call For Tutorials
by Ningning Xie 04 Aug '26

04 Aug '26

Call For Tutorials https://popl27.sigplan.org/track/POPL-2027-tutorials#Call-For-Tutorials The 54th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2027) will be held in Mexico City, Mexico. POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Tutorials for POPL 2027 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants. Tutorials will be held from January 9th (afternoon) to the 11th. The expected length of a tutorial is either 1.5 or 3 hours, including questions and discussion (Q&A). Submission details - Deadline for submission: October 9, 2026 - Notification of acceptance: October 23, 2026 A tutorial proposal should provide the following information: - Tutorial title - Presenter(s), affiliation(s), and contact information - Length (1.5 hour or 3 hours) - 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available. - 1-2 paragraph abstract suitable for tutorial publicity. - 1-paragraph biography suitable for tutorial publicity. Proposals must be submitted by email to Aws Albarghouthi (aws(a)cs.wisc.edu) and Alan Schmitt (alan.schmitt(a)inria.fr) with the subject line “POPL 2027 Tutorial Proposal: [tutorial name]”. The proposal should be attached as a PDF, docx, or txt file. Further information Any questions regarding POPL 2027 tutorials should be addressed to the workshops chairs, Aws Albarghouthi (aws(a)cs.wisc.edu) and Alan Schmitt (alan.schmitt(a)inria.fr)

1 0

Richard Bird Distinguished Dissertation Award - Final Call for Nominations
by Graham Hutton (staff) 04 Aug '26

04 Aug '26

================================================================== FINAL CALL FOR NOMINATIONS Richard Bird Distinguished Dissertation Award 2025 Deadline: 31st August 2026 http://tinyurl.com/jfp-bird-award ================================================================= OVERVIEW The Journal of Functional Programming is pleased to establish the Richard Bird Distinguished Dissertation Award, to recognise an outstanding PhD dissertation in functional programming. Richard Bird (1943-2022) was one of the leading figures in functional programming. He was a Professor in Oxford, where he founded the Algebra of Programming group, and served as Director of the Computing Laboratory. Richard is renowned for his many books and pearls on functional programming, which set a lasting standard for clear and elegant writing. It seems fitting that an award be established in his name to further encourage these values in the field. The award includes a prize of £1,000. Funding for the prize is supported by a generous donation from Richard himself to further the cause of functional programming. CRITERIA Eligible dissertations must have been completed in 2025. Depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise. The award is open to all topics within the remit of JFP, with a particular emphasis on dissertations that reflect Richard's own values of clarity, simplicity and elegance. For a dissertation to be considered for the award it should: - Reach a high standard of exposition; - Make a noteworthy contribution to the subject; - Place the results in the wider context of computer science. NOMINATIONS Please submit the following information to the award chair, <graham.hutton(a)nottingham.ac.uk>, by 31st August 2026: - Two letters of support, explaining why the dissertation should be considered for the award. One letter should be from the advisor/supervisor, and one from an independent source with no conflict of interest with the candidate, such as an external examiner or other expert in the field. - A copy of the dissertation itself. AWARD COMMITTEE Graham Hutton (chair), University of Nottingham Matthew Flatt, University of Utah Jeremy Gibbons, University of Oxford François Pottier, INRIA Wouter Swierstra, University of Utrecht Ningning Xie, University of Toronto The JFP editors-in-chief serve as observers of the committee. ================================================================= This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0