About SE4FP 2025

1st Workshop on Software Engineering for Functional Programming

Although functional programming languages are not yet as popular as object-oriented ones, their growing relevance in the industry has become increasingly evident in recent years. However, the application of software engineering techniques to systems built with these languages remains underexplored in academia, leaving many open questions to be investigated.

In this context, the 1st Workshop on Software Engineering for Functional Programming (SE4FP 2025) represents an excellent opportunity to bridge this gap. The event aims to create a space where members of academia and industry can share and discuss experiences, best practices, tools, and research related to applying software engineering principles to systems developed with functional programming languages. In addition to fostering relevant discussions, the workshop seeks to serve as a bridge for establishing collaborations between research groups and between academia and industry, opening up new opportunities for investigation.

In 2025, SE4FP is co-located with the 16th Brazilian Conference on Software: Theory and Practice (CBSoft 2025).

The main goal of this workshop is to promote broad and diverse discussions on the application of software engineering to functional programming. More specifically, it aims to:

• •    Attract more researchers interested in related topics, helping to build and strengthen the Brazilian community working in this area;
• •    Discuss the challenges of using functional programming languages in production systems;
• •    Assess the compatibility and applicability of studies conducted on object-oriented systems in the context of functional systems;
• •    Promote best engineering practices and tools specifically designed for systems implemented with functional programming languages.

Registration:

Registrations for SE4FP are handled by CBSoft. Please refer to the CBSoft 2025 website for further details.

Location:

Mar Hotel - R. Barão de Souza Leão, 451 - Boa Viagem, Recife - PE (Brazil), 51030-300.

View larger map

Call for Papers

1st Workshop on Software Engineering for Functional Programming

Topics of Interest:

SE4FP provides a forum where researchers and practitioners from academia and industry can present and discuss software engineering research, as long as it is investigated in the context of functional programming languages. Topics of interest include, but are not limited to:

• •    Static and dynamic software analysis
• •    Economic, human, and social aspects of Software Engineering
• •    Automation of Software Engineering tasks using LLMs and other foundational models
• •    Code smells and technical debt
• •    Software design and architecture
• •    Software ecosystems
• •    Prompt engineering for Software Engineering
• •    Requirements engineering
• •    Teaching software engineering and functional programming in an integrated way
• •    Industry experience in software development
• •    Tool support for software development
• •    Software deployment
• •    Code readability and clarity
• •    Software maintenance, reengineering, and evolution
• •    Software metrics
• •    Software migration and renovation (e.g., changing programming paradigm)
• •    Mining software repositories
• •    Software refactoring and restructuring
• •    Software reuse
• •    Replication of classical Software Engineering studies (e.g., design patterns for a functional language)
• •    Software testing
• •    Software quality
• •    Software validation and verification

Papers presenting studies, tools, datasets, or innovative ideas are welcome. Experimental evaluation of new tools and ideas is desirable, but it is not a precondition to submitting a paper to the workshop. SE4FP encourages the submission of research in progress and preliminary results.

Important Dates:

All dates refer to midnight 23:59:59 AoE

Reviewing Process:

The workshop proceedings will be published as part of the CBSoft 2025 proceedings and made available online in SBC's Digital Library (SOL). The number of papers accepted for the event will be determined based on the final program and the quantity and technical quality of the submissions received.

The review process will follow a double-blind methodology. Therefore, both authors and reviewers must take the necessary steps to preserve anonymity. Each submitted paper will be reviewed by at least three members of the program committee, composed of professors and researchers from various areas of Computer Science whose expertise aligns with the workshop topics. This committee will include professionals from both national and international institutions.

The selection of papers will be based on the following criteria:

• •    Originality and Timeliness
• •    Contribution and Technical Soundness
• •    Relevance to Software Engineering for Functional Programming
• •    Methodological Rigor
• •    Verifiability, Transparency, and Replicability
• •    Readability, Organization, and Presentation

Although not mandatory, we encourage authors to provide replication or artifact packages. This will also be considered a positive aspect by reviewers when recommending acceptance.

Submissions will be desk-rejected and not sent for review if they:

• •    Are out of scope of the workshop's call for papers;
• •    Have been previously published in another venue or journal;
• •    Do not follow the required formatting guidelines; or
• •    Do not comply with the anonymization rules of the double-blind review process.

Submission Guidelines:

Submitted papers may be written in Portuguese or English (Portuguese papers do not need an English abstract). All submissions must follow the SBC template.

In this edition, the workshop will accept two types of submissions:

• • Research papers (Max. 5 pages + 1 page for references) - we welcome submissions of research and experience papers that present original contributions, novel approaches, or preliminary results in the field of Software Engineering as applied to functional programming languages. Submissions should clearly present the problem being addressed, the proposed solution or findings, and their relevance to the software engineering and functional programming communities.
• 
  
• • Industry papers (Max. 3 pages + 1 page for references) - we invite developers to submit works focused on real-world experiences applying Software Engineering practices to code written in functional programming languages currently in production — including testing strategies, tools, architectures, methodologies, design decisions, development processes, specific challenges faced, and more. In other words, we are interested in experience reports that describe what developers of production-level code written in functional languages have been learning in practice. If you're unfamiliar with writing academic papers or their typical structure, we recommend reading papers accepted in the industry tracks of other conferences. This will help you get a feel for the format and find inspiration. For example, the papers accepted in the industry track of SAST 2024 are publicly available at the following link, making them an excellent starting point.

It is important to note that it is possible to submit papers with fewer pages than the limits of each track. All papers must be submitted electronically in PDF Format through JEMS.

IMPORTANT CLARIFICATION: Papers submitted to SE4FP may focus on software engineering applied to systems developed using either functional programming languages (e.g., Elixir, Erlang, Clojure, Haskell, etc.) or multi-paradigm languages (e.g., Python, JavaScript, Java, Rust, etc.), provided they place strong emphasis on functional programming features, such as list comprehensions, pattern matching, higher-order functions, pure functions, immutability, among others.

Authors must ensure their identities are not disclosed during the double-blind review process. This means that names and institutional affiliations should not appear on the title page or in the headers of the submission. Additionally, any self-citations should be written in the third person. If you plan to submit any supplementary artifacts, they should also be anonymized. Tools are available to assist with this, such as Anonymous GitHub, an open-source solution designed to help anonymize GitHub repositories efficiently. The SE4FP strongly encourages authors to make their artifacts publicly accessible. However, suppose authors prefer to avoid the risk of compromising anonymity during the review. In that case, they may include links to these artifacts in the camera-ready version, should the paper be accepted.

On the use of AI (Artificial Intelligence) or AI-assisted technologies:

When submitting to SE4FP 2025, the authors acknowledge that they comply with the Generative AI usage policy, based on existing policies proposed by IEEE, ACM, and Springer.

• It is forbidden to:
• •    List Generative AI tools and technologies, such as ChatGPT, as authors of works;
• •    Use texts or sections entirely produced by generative AI tools

• It is allowed (with explicit disclosure in the acknowledgments) to:
• •    Use generative AI tools to create parts of the content, with disclosure in the paper acknowledgments indicating what was generated and which tool was used. It is important to check the terms of use of the tool, which is the responsibility of the authors. For example, in the acknowledgments, you can use: ChatGPT was used to generate the first paragraph of Section 3 and to generate Table 3.2.

• It is allowed (no need to mention):
• •    Use AI or AI-assisted technologies to improve the quality of images in terms of contrast and clarity;
• •    Utilize generative AI tools to edit and improve the quality of your existing text (similar to an assistant like Grammarly to improve spelling, grammar, punctuation, clarity, and engagement).

Presentation and Publication:

Once a paper is accepted, its authors will be required to prepare the final (camera-ready) version for publication. Additionally, at least one of the authors must register for the event and present the paper during the SE4FP 2025 workshop.

Program Committee Chair:

• •    Michel Albonico (UTFPR)

Program Committee:

• •    Adolfo Neto (UTFPR)
• •    Alcides Fonseca (Universidade de Lisboa)
• •    Carla Ilane Moreira Bezerra (UFC)
• •    Fernando Castor (University of Twente)
• •    Francisco Heron de Carvalho Junior (UFC)
• •    João Eduardo Montandon (UFMG)
• •    Laura M. Castro (Universidade da Coruña)
• •    Lucas Vegi (UFV)
• •    Marco Tulio Valente (UFMG)
• •    Michel Albonico (UTFPR)
• •    Paulo Borba (UFPE)
• •    Simon Thompson (University of Kent)

Esquenta SE4FP 2025

As a way to start engaging the audience ahead of our in-person gathering in September, we kicked off the SE4FP Warm-up on June 25, 2025. The Warm-up — Esquenta in Portuguese — consists of a series of free online talks, held in either Portuguese or English, covering topics related to Software Engineering for Functional Programming.

Register to join all of our virtual sessions! We’ll send you updates and links to all upcoming talks: SE4FP Warm-up Registration!

Talks Already Held:

• •    June 25, 2025: The LEAN Language by Sofia Rodrigues [Video]

Scheduled Talks:

• •    August 06, 2025 – 4:00 PM (UTC−3): The Clojure Language by Nelkisa M.
• •    August 13, 2025 – 4:00 PM (UTC−3): The Quint Language by Gabriela Moreira.
• •    August 20, 2025 – 4:00 PM (UTC−3): Talk by Paulo Borba.
• •    September 02, 2025 – 4:00 PM (UTC−3): From Python to Erlang and Elixir + IFP 2025 by Mackenzie Morgan.
• •    September 09, 2025 – 4:00 PM (UTC−3): The Erlang Language by Brujo Benavides.
• •    September 16, 2025 – 4:00 PM (UTC−3): The Gleam Language by Raúl Chouza.
• •    September 17, 2025 – 4:00 PM (UTC−3): The Potigol Language by Leonardo Lucena.
• •    To be announced: The Scala, Clojure, Elixir, and Dart Languages by Jorge R. G. Vaz Filho.

Sponsors

Contact

If you have any questions regarding manuscript preparation or about the event in general, please do not hesitate to send an email to se4fpworkshop@gmail.com.