- Haskell - Haskell.org

[ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 29 Apr '25

29 Apr '25

*[apologize for multiple postings]* *Call for Papers – Special Tracks* 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming. This year ICLP features two special tracks: · The IJCAI Fast Track - Paper submission: June 15, 2025 · Recently Published Research Track – Abstract submission: May 15, 2025 For comprehensive details, kindly refer to the information provided below for both tracks. *IJCAI FAST TRACK DETAILS* In coordination with the IJCAI program chairs, authors with rejected papers at IJCAI’25 can submit revised versions of such papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP. *IMPORTANT DATES* - Paper submission: June 15, 2025 - Final notification: July 6, 2025 - Final version: July 27, 2025 - Main conference: September 15-19, 2025 *SUBMISSION DETAILS * <https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…> All submissions must be written in English. Papers accepted at ICLP may appear in the journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. TPLP format is described at: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra… *Formatting Requirements* Papers must not exceed 14 pages in TPLP format, including references. IJCAI Fast Track papers will be published in a special issue of TPLP, as with regular ICLP submissions. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing: - The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable - The paper ID of the IJCAI’25 submission - The authors listed on the IJCAI’25 submission - The title of the IJCAI’25 submission - The original PDF submitted to IJCAI’25 - The IJCAI’25 reviews, including scores and text evaluations The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification. Submissions will be made via EasyChair, following the link: https://easychair.org/conferences/?conf=iclp25 *RECENTLY PUBLISHED RESEARCH TRACK DETAILS * The ICLP'25 Recently Published Research Track provides a forum to discuss recent research on topics related to logic programming. We invite submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings but which have *not* been already presented at ICLP conferences nor at other main logic programming-related conferences (such as, for example, LPNMR, LOPSTR, or LPAR). Papers accepted to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work. *Submissions should meet the following criteria:* Papers must have been published in a journal or conference proceedings (except ICLP and closely related conferences) in 2023 or later. Papers that are in press may also be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories: 1. Papers that bridge logic programming to other areas such as declarative programming, constraint programming, knowledge representation, databases, AI, as well as to applications; 2. Papers that are tightly related to ICLP and meet at least one of the following conditions: · have been published in a journal but have not been presented at workshops or conferences; · have been presented at conferences that are not typically attended by the ICLP community; · have been presented at logic programming meetings with relatively limited attendance; · have been accepted at high-profile conferences with some relation to logic programming. *IMPORTANT DATES* - Abstracts due by May 15, 2025 - Reviews back to authors for feedback by June 11, 2025 - Response due by June 18, 2025 - Final decision by June 22, 2025 - Main conference: September 15-19, 2025 *SUBMISSION DETAILS* Every submission should be prepared following the format for Technical Communication (TC) paper submission to ICLP 2025. It should contain: · A cover page (single page) listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work the submission is based on has not been already presented at a major logic programming forum (such as earlier ICLP, LPNMR, LOPSTR, LPAR). · A two-page extended abstract of the paper presenting the main contributions of the paper, discussing the relevance of the paper to logic programming, and explaining the significance of the results. Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25 *VENUE* ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

IFL 2025: First call for papers
by Mart Lubbers 29 Apr '25

29 Apr '25

===================================================================== IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 https://www.fing.edu.uy/inco/congresos/ifl2025 ===================================================================== ### 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 2025 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 Differently from previous editions of IFL, IFL 2025 solicits two kinds of submissions: * Regular papers (12 pages including references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication will be considered as draft papers, at the request of the author. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. Prior to the symposium: Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2025. After the symposium: Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper. Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected. ### Important dates Submission of regular papers: June 16, 2025 Regular papers notification: August 4, 2025 Submission of draft papers: August 4, 2025 Draft papers notification: August 11, 2025 Deadline for early registration: September 5, 2025 Submission of pre-proceedings version: September 8, 2025 IFL Symposium: October 1-3, 2025 Submission of papers for post-proceedings: December 15, 2025 Notification of acceptance: February 28, 2026 Camera-ready version: March 30, 2026 Deadlines are end of day Anywhere on Earth (UTC-12) (https://www.timeanddate.com/time/zones/aoe) ### 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=ifl20240 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 may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to 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: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay Local Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay ### Program committee: Matteo Cimini, University of Massachusetts Lowell Facundo Domínguez, Tweag João Paulo Fernandes, Universidade do Porto Jeremy Gibbons, Oxford University Jurriaan Hage, Heriot Watt University Jason Hemann, Seton Hall University Maja Hanne Kirkeby, Roskilde University Mart Lubbers, Radboud University Bruno C. D. S. Oliveira, The University of Hong Kong Rinus Plasmeijer, Radboud University Andre Rauber Du Bois, Universidade Federal de Pelotas Rodrigo Ribeiro, Universidade Federal de Ouro Preto Alejandro Russo, Chalmers University of Technology João Saraiva, University of Minho Wenhao Tang, University of Edinburgh Zhixuan Yang, Imperial College London Brent Yorgey, Hendrix College Beta Ziliani, Manas.Tech Viktória Zsók, Eötvös Loránd University ### Venue IFL 2025 will be held physically in Montevideo, Uruguay. See the website for more information. https://www.fing.edu.uy/inco/congresos/ifl2025 ### 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

WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation
by Voigtländer, Prof. Dr. Janis 25 Apr '25

25 Apr '25

WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK) 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 20th, 2025) Webpage: https://wpte2025.github.io/ Submission: https://easychair.org/conferences/?conf=wpte2025 Deadline: 9th May 2025 --------------------------------------------------------------------------- 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. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions are to be made via: https://easychair.org/conferences/?conf=wpte2025 Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2023 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for this year's edition. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: 9th May 2025 (AoE) Notification of acceptance: 13th June 2025 Final version for informal proceedings: 30th June 2025 Workshop: 20th July 2025 Submission to post-proceedings/special issue: autumn 2025 (tbd) Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Patrick Bahr, IT University of Copenhagen Demis Ballis, University of Udine Mirai Ikebuchi, Kyoto University Cynthia Kop, Radboud University Nijmegen (co-chair) Ivan Lanese, University of Bologna Pierre Lermusiaux, Inria Rennes Steven Libby, University of Portland Luca Roversi, University of Turin Janis Voigtlaender, University of Duisburg-Essen (co-chair) Johannes Waldmann, Leipzig University of Applied Sciences Sarah Winkler, Free University of Bozen-Bolzano Contact --------------------------------------------------------------------------- Please direct questions to: wpte2025(a)easychair.org CFP also at: https://easychair.org/cfp/wpte2025

1 0

[CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 22 Apr '25

22 Apr '25

TL;DR: Talk proposal deadline for HOPE 2025 is on May 29, 2025. ---------------------------------------------------------------------- HOPE 2025 The 13th ACM SIGPLAN Workshop on Higher-Order Programming with Effects October 12, 2025 Singapore (the day before ICFP 2025) https://conf.researchr.org/home/icfp-splash-2025/hope-2025 HOPE 2025 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, Guilhem Jaber (guilhem.jaber(a)inria.fr) and Taro Sekiyama (tsekiyama(a)acm.org) Deadline for talk proposals: May 29, 2025 (Thursday) Notification of acceptance: June 26, 2025 (Thursday) Workshop: October 12, 2025 (Sunday) The submission website is now open: https://hope25.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: William J. Bowman (University of British Columbia) Zeinab Galal (University of Bologna) Justin Hsu (Cornell University) Guilhem Jaber (Nantes Université) Danielle Marshall (University of Glasgow) Alexandre Moine (New York University) Takahiro Sanada (Fukui Prefectural University) Taro Sekiyama (National Institute of Informatics) Yahui Song (National University of Singapore) Leo White (Jane Street) Yizhou Zhang (University of Waterloo) --------------------- 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.

1 0

TyDe 2025 - Call for Papers & Extended Abstracts
by Andras Kovacs 11 Apr '25

11 Apr '25

========================================================================= The Tenth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Singapore, 12 October 2025 https://icfp25.sigplan.org/home/tyde-2025 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP and SPLASH, 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 ### * Mon 9 Jun 2025 (AoE): Submission deadline for papers and extended abstracts * Wed 16 Jul 2025: Notification of acceptance * Wed 30 Jul 2025: Submission of camera-ready papers to ACM * Sun 12 Oct 2025: Workshop ### Proceedings and Copyright ### We will 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://tyde25.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. ### Participant Support ### Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: > https://www.sigplan.org/PAC/

1 0

Extended deadline - CFP - Haskell Implementors' Workshop 2025
by Andreas Herrmann 07 Apr '25

07 Apr '25

Extended deadline to April 18, 2025 Call for proposals for the Haskell Implementors' Workshop https://haskell.foundation/events/2025-haskell-implementors-workshop.html June 6, 2025 Organized by the Haskell Community Co-located with ZuriHac 2025 and Haskell Ecosystem Workshop 2025 Hosted by the Haskell Foundation at Eastern Switzerland University of Applied Sciences (OST) https://www.ost.ch/en/university-of-applied-sciences/campus/rapperswil-jona… ## Overview * Extended Deadline: April 18, 2025 * Notification: May 5, 2025 * Workshop: June 6, 2025 The 17th Haskell Implementors' Workshop is to be held alongside ZuriHac 2025 this year near Zurich. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and lightning talks. In the past the Haskell Implementors’ Workshop was co-located with ICFP (International Conference on Functional Programming). However, in recent years it has become more and more challenging to attract a large enough audience and sufficiently many speakers for an appealing program. ZuriHac and the Haskell Ecosystem Workshop have become an important annual gathering of a large part of the Haskell community. This year the Haskell Implementors’ Workshop will be co-located with these events to be accessible to a broader audience. ## Scope and Target Audience The Haskell Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop - we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimization and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment ## Talks We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Submissions can be made via the form linked below until April 18, 2025 (anywhere on earth). https://docs.google.com/forms/d/e/1FAIpQLSdczGbxJYGc4eusvPrxwBbZl561PnKeYno… We will also have a lightning talks session. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. ## Program Committee * Luite Stegeman * Jaro Reinders * Emily Pillmore * Rodrigo Mesquita * Ian-Woo Kim * Andreas Herrmann (chair) ## Contact * Andreas Herrmann

1 0

[Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
by Manuel Alejandro Borroto Santana 31 Mar '25

31 Mar '25

*[apologize for multiple postings]* *** 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025). *** September 9-10, 2025 - University of Calabria, Rende, Italy https://lopstr.github.io/2025/ Part of ICLP 2025 and co-located with PPDP 2025 https://iclp25.demacs.unical.it/ ## IMPORTANT DATES - Abstract submission: May 9, 2025 (AoE) - Paper submission: May 16, 2025 (AoE) - Author notification: June 27, 2025 (AoE) - Camera-ready: July 17, 2025 (AoE) - Symposium: September 9-10, 2025 ## OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the ICLP 2025 website. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools, and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. ## PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References will NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research or tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the journal's standard reviewing process. ## SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions on the author's page, and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2025 ## PROGRAM CHAIRS Santiago Escobar, Univesitat Politecnica de Valencia, Spain Laura Titolo, Code Metal, USA ## PUBLICITY CHAIR Manuel Borroto, University of Calabria, Italy ## HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You can find the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr)

1 0

The main page of the Haskellwiki is not properly formatted
by X Y 30 Mar '25

30 Mar '25

L.S., The main page of the Haskellwiki https://wiki.haskell.org/ is not properly formatted Regards, Henk-Jan van Tuyl

2 1

[ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 29 Mar '25

29 Mar '25

*[apologize for multiple postings]* *** ICLP DC 2025 - 21st Doctoral Consortium (DC) on Logic Programming *** The 21st Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://iclp25.demacs.unical.it/affiliated-events/doctoral-consortium The DC will take place during the 41st International Conference on Logic Programming (ICLP) https://iclp25.demacs.unical.it/ (September 12-19, 2025), hosted by the University of Calabria, Italy. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. **We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed.** ## IMPORTANT DATES - Paper submission: June 1, 2025 - Notification: July 6, 2025 - Camera-ready copy: August 6, 2025 - DC presentations: Sunday, September 12-13, 2025 However, DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming on: Friday and Saturday, September 12-13, 2025: https://iclp25.demacs.unical.it/affiliated-events/autumn-school-on-logic-pr… ## AUDIENCE The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint Logic Programming - Sequential and Parallel Implementation Technology - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) - Innovative Applications of Logic Programming - Neuro-symbolic Approaches Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. ## DISCUSSANTS Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. ## GOALS - To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. - To provide students with relevant information about important issues for doctoral candidates and future academics. - To develop a supportive community of scholars and a spirit of collaborative research. - To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. ## SUBMISSION DETAILS The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: - Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. - Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. - Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. - Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Neurosymbolic approaches, Relations to object-oriented and Functional programming. - Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format ( http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp25 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 6 pages) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: - Introduction and problem description - Background and overview of the existing literature - Goal of the research - Current status of the research - Preliminary results accomplished (if any) - Open issues and expected achievements - Bibliographical references ## REVIEW CRITERIA The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. ## REGISTRATION Registration is part of the ICLP 2025 registration. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. ## PROGRAM CO-CHAIRS Alice Tarzariol, University of Klagenfurt, Austria Markus Hecher, University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France ## PROGRAM COMMITTEE TBA

1 0

CfP: GPCE 2025
by Jeremy Yallop 28 Mar '25

28 Mar '25

[GPCE is co-located with ECOOP rather than SPLASH this year, so the deadline is earlier than usual.] ========================================================= GPCE 2025 24th International Conference on Generative Programming: Concepts & Experiences -- 3-4 July, 2025, co-located with ECOOP Bergen, Norway CALL FOR PAPERS https://2025.ecoop.org/home/gpce-2025 ========================================================= The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. This is the 24th edition of the conference, co-located with the ECOOP 2025 conference in Bergen, Norway. ================== Topics of Interest =================== GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * domain engineering, * software product lines, configurable software, * feature interactions, * applications and properties of code generation, * language implementation, * AI/ML techniques for generative programming, * generative programming for AI/ML techniques, * low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. =================== Paper Categories ==================== GPCE solicits four kinds of submissions: Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. Generative Pearls: are elegant essays about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography, and must have the text “(Generative Pearl)” appended to their titles. =================== Paper Selection ===================== The GPCE program committee will evaluate each submission according to the following selection criteria: Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. Clarity. The paper must present its contributions and results clearly. ==================== Important Dates ==================== Abstract Submission: Wed 26 Mar 2025 Paper Submission: Wed 2 Apr 2025 Review Notification: Fri 9 May 2025 Author Response: Mon 12 May 2025 Final Notification: Mon 19 May 2025 Conference: Thu 3 - Fri 4 July, 2025 ===================== Organization ====================== PC Chair: Nada Amin, Harvard General Co-Chair: Sebastian Erdweg, JGU Mainz General Co-Chair: Amir Shaikhha, University of Edinburgh Publicity Chair: Jeremy Yallop, University of Cambridge ======================= PC Members ====================== Bernhard Rumpe, RWTH Aachen University Casper Bach Poulsen, University of Southern Denmark Cyrus Omar, University of Michigan Eli Tilevich, Virginia Tech Elisa Gonzalez Boix, Vrije Universiteit Brussel Geoffrey Mainland, Drexel University Georg Ofenbeck Guillaume Allais, University of Strathclyde Jeremy Yallop, University of Cambridge Judith Michael, RWTH Aachen University Julia Lawall, Inria Kenichi Asai, Ochanomizu University Klaus Ostermann, University of Tuebingen L. Thomas van Binsbergen, University of Amsterdam Lionel Parreaux, The Hong Kong University of Science and Technology Malte Lochau, University of Siegen Maryam Mehri Dehnavi, University of Toronto Michel Steuwer, Technische Universität Berlin Ondřej Lhoták, University of Waterloo Parisa Ataei, Cornell University Philiip Wadler, University of Edinburgh Robert Glück, DIKU, Dept. of Computer Science, Univ. of Copenhagen Ruby Tahboub, University of Illinois Urbana-Champaign Sandro Stucki, Amazon Prime Video Automated Reasoning Sheng Chen, UL Lafayette Shigeru Chiba, University of Tokyo Shoaib Kamil, Adobe Research Simon Fowler, University of Glasgow Tijs van der Storm, CWI Ulrik Pagh Schultz Lundquist, University of Southern Denmark Vadim Zaytsev, Universiteit Twente Walter Binder, Università della Svizzera italiana (USI) Yukiyoshi Kameyama, University of Tsukuba Zena Ariola, University of Oregon

1 1