June 2026 - Haskell - Haskell.org

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