August 2025 - Haskell

Call for Papers: FORMALISE 2026
by Claudio MENGHI 29 Aug '25

29 Aug '25

Call for Papers: FORMALISE 2026 14th International Conference on Formal Methods in Software Engineering 12 and 13 April, 2026 co-located with ICSE 2026 (April 12 - April 18, 2026), Rio de Janeiro, Brazil https://conf.researchr.org/home/Formalise-202 <https://conf.researchr.org/home/Formalise-2026>6 oc2026(a)formalise.org <mailto:oc2026@formalise.org> Overview Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has developed a growing interest in rigorous techniques applied at scale. The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software. Originally a workshop event, since 2018, FormaliSE has been organized as a conference co-located with ICSE. The 14th edition of FormaliSE will also take place as a co-located conference of ICSE 2026. Areas of interest include, but are not limited to: requirements formalization and formal specification; approaches, methods, and tools for verification and validation; formal approaches to safety and security-related issues; analysis of performance and other non-functional properties based on formal approaches; scalability of formal method applications integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, regression testing, and deployment) model-based engineering approaches; correctness-by-construction approaches for software and systems engineering; application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems; formal methods for AI-based systems (FM4AI), and AI applied in formal method approaches (AI4FM); formal methods in a certification context case studies developed/analyzed with formal approaches experience reports on the application of formal methods to real-world problems; guidelines to use formal methods in practice; usability of formal methods. Important dates: Submissions: 23 October 2025 (AoE) Notifications: 5 January 2026 Camera-ready copies: 26 January 2026 FormaliSE conference: 12-13 April 2026 Paper submission guidelines We accept papers in four categories: Full research papers (10 pages of content + 2 pages of references) describing original research work and results. We encourage authors to include validation of their contributions by means of a case study or experiments. We also welcome research papers focusing on tools and tool development. Case study papers (10 pages of content + 2 pages of references) discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability). Research ideas papers (4 pages of content + 1 page of references) describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work. (New) Extended Abstract (4 pages of content + 1 page of references) presenting ongoing research or new research ideas without a mature evaluation. While the content and evaluation are the same as research ideas papers, extended abstracts are not subject to Article Processing Charges (APCs) <https://libraries.acm.org/acmopen/article-types> All papers submitted to the FormaliSE 2026 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with FormaliSE's lightweight double-anonymous review process (see below). All submissions must be in PDF format and conform, at time of submission, to the official “ACM Primary Article Template”, which can be obtained from the ACM Proceedings Template Page. LaTeX users should use the sigconf option, as well as the review (to produce line numbers for easy reference by the reviewers) and anonymous (omitting author names) options. To that end, the following LaTeX code can be placed at the start of the LaTeX document: \documentclass[sigconf,review,anonymous]{acmart} To submit a paper to FormaliSE 2026 use this HotCRP link: <https://formalise25.hotcrp.com/>https://formalise26.hotcrp.com/ Open‬‭ Access Starting‬‭ 2026,‬‭ all‬‭ articles‬‭ published‬‭ by‬‭ ACM‬‭ will‬‭ be‬‭ made‬‭ Open‬‭ Access.‬‭ This‬‭ is‬‭ greatly‬ beneficial‬‭ to‬‭ the‬‭ advancement‬‭ of‬‭ computer‬‭ science‬‭ and‬‭ leads‬‭ to‬‭ increased‬‭ usage‬‭ and‬ citation‬‭ of‬‭ research.‬‭ Most‬‭ authors‬‭ will‬‭ be‬‭ covered‬‭ by‬‭ ACM‬‭ OPEN‬‭ agreements‬‭ by‬‭ that‬ point‬‭ and‬‭ will‬‭ not‬‭ have‬‭ to‬‭ pay‬‭ Article‬‭ Processing‬‭ Charges‬‭ (APC).‬‭ Check‬‭ if‬‭ your‬‭ institution‬ participates‬‭ in‬‭ ACM‬‭ OPEN‬‭.‬‭ Authors‬‭ not‬‭ covered‬‭ by‬‭ ACM‬‭ OPEN‬‭ agreements‬‭ may‬‭ have‬‭ to‬ pay‬‭ APC;‬‭ however,‬‭ ACM‬‭ is‬‭ offering‬‭ several‬‭ automated‬‭ and‬‭ discretionary‬‭ APC‬‭ Waivers‬ and Discounts‬‭ .‬ Reviewers and paper authors should follow the‬‭ latest‬‭ policies‬‭ from‬‭ IEEE‬‭ and‬‭ ACM‬‭ (“‬‭ IEEE‬‭ Submission‬‭ and‬ Peer‬‭ Review‬‭ Policy <https://ieeeauthorcenter.ieee.org/wp-content/uploads/ieee-reviewer-guidelin…>‬‭” and‬‭ “ACM‬‭ Policy‬‭ on‬‭ Authorship <https://www.acm.org/publications/policies/new-acm-policy-on-authorship>‬‭”,‬‭ with‬‭ associated‬‭ FAQ‬‭),‬‭ which‬ includes‬‭ a‬‭ policy‬‭ specific‬‭ to‬‭ the‬‭ use‬‭ of‬‭ generative‬‭ AI‬‭ tools‬‭ and‬‭ technologies,‬‭ such‬‭ as‬ ChatGPT as follows:‬ For reviewers: According to IEEE review policy, "reviewers are not permitted to use artificial intelligence (AI) tools to help write reviews of IEEE articles. The contents of the article under review are considered confidential information and may not be submitted to any external programs. Additionally, we expect reviewers to be responsible for the comments that they provide during peer review. You were invited to review because of your personal expertise and insight, which cannot be replicated by an AI tool." For authors: According to ACM policy on authorship, "generative AI tools and technologies, such as ChatGPT, may not be listed as authors of an ACM published Work. The use of generative AI tools and technologies to create content is permitted but must be fully disclosed in the work. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations are to be considered exceptions to this disclosure requirement and are generally permitted and need not be disclosed in the work." ‭ The‬‭ official‬‭ publication‬‭ date‬‭ is‬‭ the‬‭ date‬‭ the‬‭ proceedings‬‭ are‬‭ made‬‭ available‬‭ in‬‭ the‬ ACM‬‭ Digital‬‭ Library.‬‭ This‬‭ date‬‭ may‬‭ be‬‭ up‬‭ to‬‭ two‬‭ weeks‬‭ prior‬‭ to‬‭ the‬‭ first‬‭ day‬‭ of‬‭ ICSE‬ 2026.‬‭ The‬‭ official‬‭ publication‬‭ date‬‭ affects‬‭ the‬‭ deadline‬‭ for‬‭ any‬‭ patent‬‭ filings‬‭ related‬‭ to‬ published work.‬ Purchases of additional pages in the proceedings are not allowed.‬ ‭ Lightweight Double-Blind Review Process for Papers As in recent editions, FormaliSE 2026 will use a lightweight double-anonymous process. Authors must omit their names and institutions from the title page, cite their own work in the third person, and omit acknowledgments that may reveal their identity or affiliation. The purpose is to reduce the chances of reviewer bias influenced by the authors’ identities. The double-anonymous process is, however, lightweight, which means that it should not pose a heavy burden for authors, nor should it make a paper's presentation weaker or more difficult to review. Also, advertising the paper as part of your usual research activities (for example, on your personal webpage, in a pre-print archive, by email, in talks or discussions with colleagues) is permitted without penalties. Paper selection Each paper will be reviewed by at least three program committee members who will judge its overall quality based on the following criteria: Full research papers Novelty: the originality of the contribution compared to the state-of-the-art, and the appropriateness of the discussion of relevant related work. Relevance: the significance and potential impact of the research on the FormaliSE community. Soundness: the appropriateness of the research methodology and correctness of the solution. Presentation: the quality of the presentation. Verifiability: The extent to which the paper includes sufficient information to support independent verification and the replication of its contributions. Case study papers Originality: the extent to which the paper advances the current state of the practice Relevance: the significance and potential impact of the research on the FormaliSE community. Significance: the significance of the contribution compared to the existing related works and similar industrial contexts. Generalizability: the extent to which the paper discusses the generalizability of the results (e.g., scalability concerns). Research Ideas & Extended Abstract Novelty: the originality of the contribution compared to the state-of-the-art, and the appropriateness of the discussion of relevant related work. Soundness of the research plan: the appropriateness and soundness of the research plan. Presentation: the quality of the presentation and the relevance for the audience of FormaliSE. FormaliSE 2026 will adopt a lightweight review process: if all the reviewers of a given paper agree that a clarification from the authors regarding a specific question could move the paper from "borderline" to "accept", the chairs will relay the reviewers' questions to the authors by email, and then share their reply with the reviewers in HotCRP. The goal of lightweight responses is to reduce the chance of random decisions on borderline papers. Hence, they will only be used for a minority of submissions; most papers will not require such an author response. Nevertheless, we would ask the corresponding authors of all submissions to make sure that they are available to answer questions by email upon request. Artifact Evaluation Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2026 continues its Artifact Evaluation (AE) procedure. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact is optional but encouraged for all papers where it can support the results presented in the paper. Artifact review is single-anonymous (the paper corresponding to an artifact must still follow the double-anonymous submissions requirements) and will be conducted concurrently with the paper reviewing process. Artifacts will be handled by a separate Artifact Evaluation Committee, and the Artifact Evaluation process will be set up such that the anonymization of the corresponding papers will not be compromised. Accepted papers with a successfully evaluated artefact will be awarded the EAPLS Artifact Badges <https://eapls.org/eapls/artifact-badges/> that apply (among "Functional", "Reusable", and "Available"). Awarded badges are to be added to the camera-ready version of the paper. Artifacts will be assessed with respect to their consistency with the results presented in the paper, their completeness, their documentation, and their ease of use. The Artifact Evaluation will include an initial check for technical issues; authors of artifacts may be contacted by email within the first two weeks after artifact submission to help resolve any technical problems that prevent the evaluation of an artifact, if necessary. The results of an artifact evaluation will not be available to the reviewers of the corresponding paper; hence, they will not affect the paper's acceptance decision. However, reviewers will know whether a paper has submitted *any* artifacts; this piece of information may be taken into account to decide whether the paper should be accepted. Thus, if there are justifiable reasons why a paper's artifacts cannot be submitted, they should be pointed out in the paper so that the reviewers can appreciate them and adjust their expectations accordingly. Detailed guidelines for the preparation and submission of artifacts will be described in a dedicated page on FormaliSE 2026's website. Publication All accepted papers are published as part of the ICSE 2026 Proceedings in the ACM and IEEE Digital Libraries. At least one author of each accepted paper is required to register for the conference and present the paper at the conference — physically or, if the circumstances do not allow so, virtually. Failure to register an author will result in a paper being removed from the proceedings. General Chairs Stefania Gnesi, Istituto di Scienza e Tecnologie dell’Informazione, Italy Nico Plat, Thanos, The Netherlands Program Chairs Genaína Nunes Rodrigues, University of Brasília, Brazil Menghi Claudio, University of Bergamo, Italy, and McMaster University, Canada Artifact Evaluation Chairs Lina Marsso, Polytechnique Montréal, Canada Pedro Ribeiro, University of York, UK Social Media Chair Andrea Bombarda, University of Bergamo, Italy Program committee Alcino Cunha, Universidade do Minho, Portugal Alexandra Mendes, University of Porto, Portuga Allison Sullivan, University of Texas at Arlington, USAl Camilo Rocha, Pontificia Universidad Javeriana, Colombia Carlo Furia, Università della Svizzera italiana, Switzerland Carlos Lopez Pombo, Universidad Nacional de Rio Negro, Argentina Christos Tsigkanos, University of Athens, Greece Diego Perez-Palacin, Linnaeus University, Sweden Domenico Bianculli, University of Luxembourg, Luxembourg Emil Sekerinski, McMaster University, Canada Ernst Moritz Hahn, University of Twente, Netherlands Franco Raimondi, GSSI, Italy Gustavo Betarte, Universidad de la República ,Uruguay Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil Leopoldo Teixeira, Universidade Federal de Pernambuco, Brazil Livia Lestingi, Politecnico di Milano, Italy Logan Murphy, University of Toronto, Canada Luigia Petre, Åbo Akademi University, Finland Marsha Chechik, University of Toronto, Canada Maurice H. ter Beek, Consiglio Nazionale delle Ricerche, Italy Nianyu Li, ZGC National Laboratory, China Paola Spoletini, Kennesaw State University, USA Quentin Nivon, University Grenoble Alpes, France Renzo Degiovanni, Luxembourg Institute of Science and Technology, Luxembourg Rosemary Monahan, National Univeristy of Ireland, Ireland Sanjai Rayadurgam, University of Minnesota, USA Shahar Maoz, Tel Aviv University, Israel Silvia Bonfanti, University of Bergamo, Italy Simon Bliudze, University of Lille Inria Research Centre, France Vander Alves, Universidade de Brasília, Brazil Zhenya Zhang, Kyushu University, Japan Contact We can be contacted at oc2026(a)formalise.org <mailto:oc2026@formalise.org>.

1 0

DataMod 2025 - Final Call for Papers, Extended Deadline
by Ouadie Khebbeb 26 Aug '25

26 Aug '25

DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ -------------------------------------------------------------------------------- Paper submission deadline (extended): 10 September 2025 -------------------------------------------------------------------------------- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION Papers can take one of the following three types: - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 Papers must be formatted according to the guidelines for Springer LNCS papers, without modifications of margins and other space-saving measures. Authors should therefore consult Springer's authors' instructions and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer’s proceedings LaTeX templates are also available in Overleaf. Springer encourages authors to include their ORCIDs in their papers. Each paper will be reviewed by three Program Committee members. Notification and reviews will be communicated via email through the Easychair platform. Accepted papers (both regular and short) will be included in a dedicated LNCS post-proceedings volume published by Springer after the Symposium. Condition for inclusion in the proceedings is that at least one of the co-authors attends and presents the paper at the Symposium. IMPORTANT DATES - Research Papers Abstract submission deadline (optional): 22 August 2025 Paper submission deadline (extended): 10 September 2025 Acceptance notification: 30 September 2025 Revised version: 7 October 2025 Symposium: 10-11 November 2025 Note that you will have the opportunity to submit the camera-ready paper for the LNCS Proceedings with discussions and remarks after the symposium, i.e., by the end of the year or early Jan/26. PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PUBLICITY CHAIRS * Ouadie Khebbeb, Université de Grenoble Alpes, France STEERING COMMITTEE * Oana Andrei, University of Glasgow, UK * Antonio Cerone, Nazarbayev University, Kazakhstan * Riccardo Guidotti, University of Pisa, Italy * Marijn Janssen, Delft University of Technology, the Netherlands * Stan Matwin, University of Ottawa, Canada * Paolo Milazzo, University of Pisa, Italy * Anna Monreale, University of Pisa, Italy PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Clarisó, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Université de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * José Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Università di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, Høgskulen på Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025(a)easychair.org

1 0

PEPM 2026 Call for Papers
by Yukiyoshi Kameyama 26 Aug '25

26 Aug '25

CALL FOR PAPERS The 2026 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulationhttps://popl26.sigplan.org/home/pepm-2026 # Important Dates, AoE, UTC-12h Paper due Fri 25 Oct 2025 Notification Fri 28 Nov 2025 Workshop Tue 13 Jan 2026 # About The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over time, PEPM has broadened its scope to include a variety of research areas centered around semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analyzed, and transformed while establishing or maintaining important semantic properties. # Scope Topics of interest for PEPM 2026 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. * Cross-fertilization with other fields, such as semantics based and machine-learning based program synthesis and program optimisation, and modeling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Yukiyoshi Kameyama (kameyama at acm.org <https://lists.seas.upenn.edu/mailman/listinfo/types-announce>) and Ningning Xie (ningningxie at cs.toronto.edu <https://lists.seas.upenn.edu/mailman/listinfo/types-announce>). # Submission Categories and Guidelines Three kinds of submissions will be accepted: 1. Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. 2. Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. 3. Talk Proposals may propose lectures about topics of interest for PEPM, existing work representing relevant contributions, or promising contributions that are not mature enough to be proposed as papers of the other categories. Talk Proposals must not exceed 2 pages. References and appendices are not included in page limits. Appendices may not necessarily be read by reviewers. All the submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at:https://sigplan.org/Resources/Author/ <https://urldefense.com/v3/__https://sigplan.org/Resources/Author/__;!!IBzWL…> and submitted electronically via HotCRP: https://pepm26.hotcrp.com <https://urldefense.com/v3/__https://pepm26.hotcrp.com__;!!IBzWLUs!WSFrG1mXY…> Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) to present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. ## Chairs Yukiyoshi Kameyama, University of Tsukuba, Japan Ningning Xie, University of Toronto, Canada

1 0

ICFP 2025 (Co-Located with SPLASH!): Call for Participation
by ICFP Publicity 03 Aug '25

03 Aug '25

================================================== Call for Participation The 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025) and affiliated events *** This year, co-located with SPLASH for a *** *** joint ICFP/SPLASH Conference *** https://icfp25.sigplan.org Singapore; Oct 12-18, 2025 *** Register by Aug 31, 2025 for a discount! *** ================================================== 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. This year, for the first time in history, ICFP will be co-located with SPLASH and its satellite events as a part of the joint ICFP/SPLASH 2025 conference. You are invited to participate in a full week of events dedicated to the art and science of programming, featuring both the ICFP and SPLASH main conferences as well as numerous related events. * ICFP Accepted Papers: https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview * Registration: https://icfp25.sigplan.org/attending/registration *The early-bird deadline is August 31, 2025* (Additionally, there is a full week discount if you register for 7 days!) * Venue (Sunday Workshops only): NUS School of Computing https://icfp25.sigplan.org/venue/splash-2025-venue1 * Venue (Main Conference): Marina Bay Sands Convention Centre https://icfp25.sigplan.org/venue/splash-2025-venue Full list of events: October 12 Tutorials - https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials PLMW - https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025 TyDE - https://conf.researchr.org/home/icfp-splash-2025/tyde-2025 FARM - https://2025.splashcon.org/track/splash-2025-farm HOPE - https://conf.researchr.org/home/icfp-splash-2025/hope-2025 Erlang - https://conf.researchr.org/home/icfp-splash-2025/erlang-2025 FUNARCH - https://conf.researchr.org/home/icfp-splash-2025/funarch-2025 October 13-15 ICFP (3 days) - https://icfp25.sigplan.org/ October 13-14 SAS (2 days) - https://2025.splashcon.org/home/sas-2025 October 13 SPLASH Doctoral Symposium - https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium SCALA - https://conf.researchr.org/home/icfp-splash-2025/scala-2025 PROPL - https://conf.researchr.org/home/icfp-splash-2025/propl-2025 October 14-15 OlivierFest (2 days) - https://conf.researchr.org/home/icfp-splash-2025/olivierfest-2025 October 14 HATRA - https://conf.researchr.org/home/icfp-splash-2025/hatra-2025 MPLR - https://conf.researchr.org/home/icfp-splash-2025/mplr-2025 IWACO - https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025 October 15 PAINT - https://conf.researchr.org/home/icfp-splash-2025/paint-2025 LMPL - https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025 VMIL - https://conf.researchr.org/home/icfp-splash-2025/vmil-2025 October 16-18 OOPSLA (3 days) - https://2025.splashcon.org/track/OOPSLA ONWARD! (3 days) - https://2025.splashcon.org/track/splash-2025-Onward-papers October 16-17 HASKELL (2 days) - https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025 October 16 ML Family - https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025 SCHEME - https://conf.researchr.org/home/icfp-splash-2025/scheme-2025 WASM - https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025 October 17 OCAML - https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025 MINI KANREN - https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025 October 18 SPLASH-E - https://2025.splashcon.org/track/splash-2025-SPLASH-E REBASE - https://conf.researchr.org/home/icfp-splash-2025/rebase-2025 Industry Forum - https://conf.researchr.org/home/icfp-splash-2025/industry-forum-2025 ICFP 2025 will feature three keynotes: Ekaterina Komendantskaya: Proof-Carrying Neuro-Symbolic Code https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying… Christos Dimoulas: The Rational Programmer, A Method for Investigating Programming Language Pragmatics https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/3/The-Rational-P… Satnam Singh: Functional Programming for Hardware Design https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Pro… ICFP 2025 conference organizers: https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee We hope to see you in Singapore in October. Don't forget to register by *August 31, 2025* for the early-bird discount! Additionally, there is a *full-week discount*: register for the whole 7 days and only pay for 6! https://icfp25.sigplan.org/attending/registration

1 0