May 2026 - Haskell - Haskell.org

APLAS 2026 Call for Papers (Wenjia Ye)
by Wenjia 30 May '26

30 May '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 15, 2026 Author response period: Wed Jul 15 - Fri Jul 17, 2026 Acceptance notification: Tue Jul 28, 2026 Camera-ready deadline: Tue Sep 8, 2026 Submission link: https://aplas26.hotcrp.com/ Further information: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026

1 0

APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
by Wenjia 30 May '26

30 May '26

APLAS is of broad interest to the programming languages and TYPES communities, including students working on type systems, type theory, formal semantics, program analysis, verification, and related areas. CALL FOR SUBMISSIONS APLAS 2026 Student Research Competition and Posters Co-located with APLAS & ATVA 2026 December 1-5, 2026 The APLAS 2026 SRC and Posters track invites submissions for its Student Research Competition (SRC) and Posters track. This track provides an interactive forum for researchers, practitioners, and students to present work in progress, early-stage research, fresh ideas, and recent practical systems or tool developments. The track has two categories: 1. Student Research Competition (SRC) Open to undergraduate and graduate students. Entrants will present their work during the poster session. Selected finalists will then give a presentation to compete for first, second, and third-place prizes. 2. Posters Open to non-students, or students who do not wish to compete in the SRC. Authors will present their work alongside SRC entrants during the main poster session. Submissions should fall within the scope of APLAS, including programming languages and related areas. Important Dates, AoE (UTC-12h) - Submission deadline for extended abstracts: August 22, 2026 - Notification: September 26, 2026 - Submission deadline for posters and revised extended abstracts: November 7, 2026 Submission information: Extended abstracts should be formatted using the acmart LaTeX template with the options sigplan and review enabled, be no longer than 3 pages excluding bibliography, and be submitted in PDF format via EasyChair. For SRC submissions, the student should be the sole author. However, on the EasyChair submission, supervisors should be listed as authors after the student, so that reviewers and judges can identify conflicts of interest. CFP: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-posters Submission link: https://easychair.org/my/conference?conf=aplas2026srcposters

1 0

WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
by Voigtländer, Prof. Dr. Janis 29 May '26

29 May '26

WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ Early Registration by 1 June / Late Registration by 13 July --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. --------------------------------------------------------------------------- The workshop will have two invited talks, by: - Nada Amin, Harvard University - Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026) as well as six contributed presentations: - David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints - David Sabel and Manfred Schmidt-Schauß: Improvement Theory for Probabilistic Call-by-Need - Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises - Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion - Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations --------------------------------------------------------------------------- Program Committee: Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck, University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen

1 0

[CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect
by Taro Sekiyama 29 May '26

29 May '26

Talk proposal deadline for HOPE 2026 is extended to Jun 12, 2026. Author notification will be on July 3, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France). ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be*informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama(a)acm.org) and Francesco Gavazzo (francesco.gavazzo(a)unipd.it) Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html) Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals (extended): Jun 12, 2026 (Friday) Notification of acceptance (extended): Jul 3, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

1 0

TyDe 2026: Second call for papers
by Tom Schrijvers 28 May '26

28 May '26

========================================================================= The Eleventh International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Paris, 26-27th August 2026 https://tydeworkshop.org/2026 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Organised as part of FPW26 (Functional Programming Workshops 2026), this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates (all are AoE) ### * June 3rd 2026 - Research Papers Submission Deadline * June 24th 2026 - Extended Abstracts Submission Deadline * July 10th 2026 - Notification * July 17th 2026 - Camera-Ready Paper Submission Deadline * August 26-27th 2026 - Workshop at FPW26 ### Proceedings and Copyright ### TO BE CONFIRMED We will aim to have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde2026.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new acmart format and the two-column sigplan subformat (not to be confused with the one-column acmsmall subformat). Extended abstracts must be submitted with the label Extended Abstract clearly in the title. ### Presentations ### We expect that each accepted submission is presented at the workshop. Presentations are around 20 minutes plus questions. Remote presentation is possible. ### Workshop Organization ### Organizing Committee: - Guillaume Allais (co-chair) University of Strathclyde, UK - Tom Schrijvers (co-chair) KU Leuven, BE Program Committee: TBC

1 0

[2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 25 May '26

25 May '26

********************************************************************** 2nd Call for Proposals - HOPE 2026 ********************************************************************** TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 <https://icfp26.sigplan.org/home/hope-2026> HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be*informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama(a)acm.org) and Francesco Gavazzo (francesco.gavazzo(a)unipd.it) Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html <https://www.irif.fr/~scherer/events/fpw-2026/announce.html>). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentatively) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

1 0

IFL 2026 First call for papers
by Mart Lubbers 20 May '26

20 May '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 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 will host the symposium venue and provide a scenic setting for the conference. We will add more information about the venue, accommodation, and travel options soon. ### 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

TyDe 2026: 1st Call for Papers
by Tom Schrijvers 13 May '26

13 May '26

========================================================================= The Eleventh International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Paris, 26-27th August 2026 https://tydeworkshop.org/2026 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Organised as part of FPW26 (Functional Programming Workshops 2026), this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates (all are AoE) ### * June 3rd 2026 - Research Papers Submission Deadline * June 24th 2026 - Extended Abstracts Submission Deadline * July 10th 2026 - Notification * July 17th 2026 - Camera-Ready Paper Submission Deadline * August 26-27th 2026 - Workshop at FPW26 ### Proceedings and Copyright ### TO BE CONFIRMED We will aim to have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde2026.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new acmart format and the two-column sigplan subformat (not to be confused with the one-column acmsmall subformat). Extended abstracts must be submitted with the label Extended Abstract clearly in the title. ### Presentations ### We expect that each accepted submission is presented at the workshop. Presentations are around 20 minutes plus questions. Remote presentation is possible. ### Workshop Organization ### Organizing Committee: - Guillaume Allais (co-chair) University of Strathclyde, UK - Tom Schrijvers (co-chair) KU Leuven, BE Program Committee: TBC

1 0

[Haskell Symposium 2026] Call for Papers and Talks
by Facundo Domínguez 06 May '26

06 May '26

Dear all, The ACM SIGPLAN Haskell Symposium 2026 will be co-located with the 2026 International Conference on Functional Programming (ICFP). The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Research papers, talk proposals, experience reports, functional pearls, tutorials, and system demonstrations are welcome. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. The deadline for paper submission is May 21st 2026 (Monday). Full details at https://icfp26.sigplan.org/home/haskellsymp-2026#Call-for-Papers-and-Talks Cheers!

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton (staff) 05 May '26

05 May '26

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30st May 2026. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2026 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st May 2026 o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ 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