- Haskell - Haskell.org

Second call for draft papers IFL 2026
by Mart Lubbers 28 Aug '26

28 Aug '26

======================================================================== IFL 2026 38th Symposium on Implementation and Application of Functional Languages venue: Aspenäs Herrgård, Gothenburg, Sweden October 28 - 30 2026 https://ifl26.cse.chalmers.se/ ======================================================================== ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2026 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2026 will use a post-symposium review process for the formal proceedings. Authors are invited to submit draft papers before the symposium. The program chairs will screen submissions for relevance to IFL, and accepted drafts will be shared with all participants. Each accepted paper must be presented at the symposium by at least one author. If submissions exceed capacity, selection will be based on quality, maturity, and relevance. Authors of accepted presentations will have the opportunity to revise their work in response to symposium feedback and submit a full paper to the post-proceedings. These submissions will be reviewed by the program committee for correctness, novelty, originality, relevance, significance, and clarity. The post-symposium review process is single-blind, with at least three reviews per paper. Camera-ready versions may include minor revisions without further review. ### Important dates Submission of draft papers September 4, 2026 Draft papers notification September 11, 2026 Deadline for early registration September 18, 2026 Deadline for late registration September 25, 2026 IFL symposium October 28-30, 2026 Submission of papers for proceedings November 25, 2026 Notification of acceptance February 12, 2027 Camera-ready version March 12, 2027 Deadlines are end of day Anywhere on Earth (UTC-12). ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl26 Register here: https://ifl26.cse.chalmers.se/registration/ Important note to authors about the new ACM open access publishing model: ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance Further information: ICPS publishing model FAQ: https://www.acm.org/publications/icps/faq ACM Open program details: https://www.acm.org/publications/openaccess Questions: icps-info(a)acm.org ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Publicity Chair: - Mart Lubbers, Radboud University, The Netherlands Local Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Please direct any questions you may have towards alexg(a)chalmers.se. ### Program committee - Abhiroop Sarkar, ETH Zurich - Andres Löh, Well-Typed LLP - Daan Leijen, Microsoft - Dominic Orchard, University of Kent - Fritz Henglein, DIKU - Graham Hutton, University of Nottingham - Guillaume Allais, University of Strathclyde - Jesper Cockx, Delft University of Technology - Mart Lubbers, Radboud University - Nachiappan Valliappan, University of Edinburgh - Nicolas Wu, Imperial College London - Niki Vazou, IMDEA Software Institute The program committee is still being finalized and may be updated. ### Venue IFL 2026 will be held at Aspenäs Herrgård, just outside Gothenburg, Sweden. Aspenäs Herrgård is a residential conference center by Lake Aspen in Lerum, approximately 20 minutes from central Gothenburg. See the website for more information: https://ifl26.cse.chalmers.se/venue/ ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

IFL 2026 - Second call for draft papers
by Mart Lubbers 28 Aug '26

28 Aug '26

======================================================================= IFL 2026 38th Symposium on Implementation and Application of Functional Languages venue: Aspenäs Herrgård, Gothenburg, Sweden October 28 - 30 2026 https://ifl26.cse.chalmers.se/ ======================================================================= ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2026 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2026 will use a post-symposium review process for the formal proceedings. Authors are invited to submit draft papers before the symposium. The program chairs will screen submissions for relevance to IFL, and accepted drafts will be shared with all participants. Each accepted paper must be presented at the symposium by at least one author. If submissions exceed capacity, selection will be based on quality, maturity, and relevance. Authors of accepted presentations will have the opportunity to revise their work in response to symposium feedback and submit a full paper to the post-proceedings. These submissions will be reviewed by the program committee for correctness, novelty, originality, relevance, significance, and clarity. The post-symposium review process is single-blind, with at least three reviews per paper. Camera-ready versions may include minor revisions without further review. ### Important dates Submission of draft papers September 4, 2026 Draft papers notification September 11, 2026 Deadline for early registration September 18, 2026 Deadline for late registration September 25, 2026 IFL symposium October 28-30, 2026 Submission of papers for proceedings November 25, 2026 Notification of acceptance February 12, 2027 Camera-ready version March 12, 2027 Deadlines are end of day Anywhere on Earth (UTC-12). ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl26 Register here: https://ifl26.cse.chalmers.se/registration/ Important note to authors about the new ACM open access publishing model: ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance Further information: ICPS publishing model FAQ: https://www.acm.org/publications/icps/faq ACM Open program details: https://www.acm.org/publications/openaccess Questions: icps-info(a)acm.org ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Publicity Chair: - Mart Lubbers, Radboud University, The Netherlands Local Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Please direct any questions you may have towards alexg(a)chalmers.se. ### Program committee - Abhiroop Sarkar, ETH Zurich - Andres Löh, Well-Typed LLP - Daan Leijen, Microsoft - Dominic Orchard, University of Kent - Fritz Henglein, DIKU - Graham Hutton, University of Nottingham - Guillaume Allais, University of Strathclyde - Jesper Cockx, Delft University of Technology - Mart Lubbers, Radboud University - Nachiappan Valliappan, University of Edinburgh - Nicolas Wu, Imperial College London - Niki Vazou, IMDEA Software Institute The program committee is still being finalized and may be updated. ### Venue IFL 2026 will be held at Aspenäs Herrgård, just outside Gothenburg, Sweden. Aspenäs Herrgård is a residential conference center by Lake Aspen in Lerum, approximately 20 minutes from central Gothenburg. See the website for more information: https://ifl26.cse.chalmers.se/venue/ ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

TFPIE 2027 Call for Papers (March 2027, Kyoto, Japan)
by Youyou Cong 26 Aug '26

26 Aug '26

------------------------------------------------------- Call for Papers TFPIE 2027: The 16th International Workshop on Trends in Functional Programming in Education March 12th 2027, Kyoto, Japan, co-located with TFP 2027 https://wiki.tfpie.science.ru.nl/TFPIE2027 ------------------------------------------------------- ## Topics TFPIE welcomes submissions describing classroom techniques, classroom tools, and creative uses of functional programming (FP) to aid education in or outside computer science. Topics of interest include, but are not limited to: * FP at different levels (high school, first-year and advanced undergraduate, graduate) * FP and the arts (incl. music, animation, games, philosophy and other liberal arts) * FP and applications (in computer science, robotics, artificial intelligence, etc.) * FP and pedagogy (incl., e.g., computational thinking, e-learning, automated assessment) * FP for building student engagement in research In addition to papers, we invite best-lecture presentations. These are an opportunity to share your favorite classroom moments. Show us your favorite material or favorite way of presenting it. For best-lecture presentations, please submit a short abstract describing the lecture and its interest to TFPIE attendees. ## Submission Instructions Submission is via EasyChair: https://easychair.org/my/conference?conf=tfpie2027 Authors of papers have the choice of having their contributions formally reviewed either before or after the workshop. Further, pre-workshop submissions may either be full (earlier deadline) or draft papers (later deadline). See below for more details. Accepted papers from the pre-workshop and post-workshop formal review will appear in a formal proceedings, published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Reviewing is single-blind. ### Pre-workshop formal review Papers to be formally reviewed before the workshop should be submitted before the early deadline and will receive their reviews and notification of acceptance for both presentation and publication before the workshop. A paper that has been rejected for publication but accepted for presentation may be revised and resubmitted for the post-workshop formal review. A paper that has been rejected for presentation will not be formally reviewed by the PC. ### Post-workshop formal review Draft papers will receive minimal reviews and notification of acceptance for presentation at the workshop. Authors of draft papers will be invited to submit revised papers based on the feedback received at the workshop. A post-workshop refereeing process will then select a subset of these papers for formal publication. ### Formatting requirements Papers must be written in English, and formatted using the EPTCS style ( https://style.eptcs.org/) Papers submitted for formal review must be submitted as full papers (7-20 pages). Draft papers may be submitted as extended abstracts (4-6 pages) or full papers (7-20 pages). The page limits do not include bibliography. For best-lecture presentations, we also accept short abstracts. If you wish to make a submission outside the above formats, please contact the PC chair to discuss. Because TFPIE aims to encourage creative and experimental research ideas, we may be able to accommodate some non-traditional submissions on a case-by-case basis. ## Important Dates All deadlines are Anywhere-on-Earth. * Submission deadline (pre-workshop full papers): November 19, 2026 * Notification (pre-workshop full papers): December 17, 2026 * Submission deadline (pre-workshop draft papers): February 4, 2027 * Notification (pre-workshop draft papers): February 11, 2027 * Submission deadline (post-workshop review): April 8, 2027 * Notification (post-workshop review): May 12, 2027 ## Program Committee * Youyou Cong (chair) - Institute of Science Tokyo, Japan * Hsiang-Shang 'Josh' Ko - Academia Sinica, Taiwan * Jens Mönig - SAP, Germany * Paige Randall North - Utrecht University, Netherlands * Liam O'Connor - Australian National University, Australia * Joe Gibbs Politz - University of California at San Diego, USA * Katsuhiro Ueno - Niigata University, Japan

1 0

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

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

ICFP'26: Call for Participation and Early Registration Discount until July 25
by ICFP Publicity 17 Jul '26

17 Jul '26

ICFP'26: Call for Participation and Early Registration Reminder 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 Early Registration Open Until July 25 *Register here*: https://icfp26.sigplan.org/attending/registration *Early registration discount* is available until *July 25*! 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. - Accepted Papers: https://icfp26.sigplan.org/track/icfp-2026-icfp-papers - Registration: https://icfp26.sigplan.org/attending/registration (Early registration discount available until *July 25*!) - 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 *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

Haskell Interlude #84: Sylain Henry
by Michael Sperber 01 Jul '26

01 Jul '26

In today’s episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contributors to GHC. He tells us about his work on GHC, the bignum library, modularization, and the secret to becoming a top contributor! https://haskell.foundation/podcast/84/

1 0

ICFP 2026 Tutorials: Proposal Deadline on June 21!
by ICFP Publicity 18 Jun '26

18 Jun '26

ICFP 2026: Last Call for Tutorials *** Deadline: June 21, AoE ****Submission Portal*: https://icfp26events.hotcrp.com/ The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP) is calling for tutorials! ICFP will be held in Indianapolis, IN, United States from *Monday, August 24 to Saturday, August 29, 2026*. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementation, principles, and uses of functional programming. *Tutorials* (or panels, discussions, etc.) should last approximately 3 hours each, and will be presented during ICFP and its co-located workshops and other events. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Tutorials may be intended primarily for researchers or for practitioners. Ideally, tutorials will have a concrete result, such as “Learn to do X with Y” rather than “Learn language Y”. The workshops, tutorials, etc. may occur on August 24th (the day before ICFP) and August 28-29th (the two days after ICFP). *All co-located events* must submit a proposal — workshops, tutorials, symposiums, or side meetings. Submission Details <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#submission-details> - Deadline for Tutorial Proposal Submission: June 21, 2026 - Notification of Acceptance: June 28, 2026 Prospective organizers of tutorials, panels, or discussions should submit proposals by the Tutorial deadline. Proposals should outline the objectives, intended audience, and planned activities. See the Submission Portal for details. *Submission Portal*: https://icfp26events.hotcrp.com/Selection Committee <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#selection-committ…> Event proposals will be evaluated by a committee comprising members from the ICFP 2026 organizing committee, in collaboration with the SIGPLAN executive committee. Contact Information <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#contact-informati…> For inquiries, please contact: Ben Greenman: blg(a)cs.utah.edu Jiasi Shen: sjs(a)cse.ust.hk We look forward to your proposals and to creating a vibrant and engaging program at ICFP 2026!

1 0

APLAS 2026 Call for Papers -- Deadline Extended (Wenjia Ye)
by Wenjia 10 Jun '26

10 Jun '26

APLAS 2026 -- The 24th Asian Symposium on Programming Languages and Systems December 1-5, 2026, Hong Kong SAR, China https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 APLAS 2026 aims to bring together programming language researchers, practitioners, and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2026 is co-located with ATVA 2026. We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The accepted papers will be allowed one extra page to accommodate reviewers' feedback. Additional material intended for reviewers but not for publication in the final version, for example, details of proofs, may be placed in a clearly marked appendix that is not included in the page limit. However, the paper must be understandable without the appendix. Reviewers are not obligated to review it. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. Accepted papers must be presented at the conference. APLAS uses a light double-blind reviewing process, with a rebuttal phase to address factual errors and minor misunderstandings. The proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. APLAS continues the tradition of the best paper award. Important dates, AoE (UTC-12h): Submission deadline: Mon Jun 22, 2026 Author response period: Wed Jul 22 - Fri Jul 24, 2026 Acceptance notification: Tue Aug 4, 2026 Camera-ready deadline: Tue Sep 15, 2026 Submission link: https://aplas26.hotcrp.com/ Further information: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026

1 0

Richard Bird Distinguished Dissertation Award - Call for Nominations
by Graham Hutton (staff) 01 Jun '26

01 Jun '26

Dear all, I'm pleased to announce that JFP is establishing the Richard Bird Distinguished Dissertation Award, to recognise an outstanding PhD dissertation in functional programming. Please share! Best wishes, Graham Hutton ================================================================= 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