- curry - lists.rwth-aachen.de

[PPDP 25] Second Call for Papers
by Michael Hanus 03 Apr '25

03 Apr '25

The 27th International Symposium on Principles and Practice of Declarative Programming September 10-11, 2025 University of Calabria, Rende, Italy https://ppdp25.github.io/site/ Collocated with ICLP 2025. https://iclp25.demacs.unical.it/ # Important dates - Title and abstract registration: 18 May 2025 (AoE) - Paper submission: 30 May 2025 (AoE) - Author notification: 7 July 2025 - Final paper version: 21 July 2025 # Overview The PPDP 2025 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. PPDP 25 will be held at University of Calabria, Rende, Italy, as part of ICLP 2025 (https://iclp25.demacs.unical.it/). At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. # Paper Submission Submissions can be made in three categories: - Regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted. Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. # Submission Guidelines Submissions will be made via EasyChair. The submission webpage for PPDP 25 is https://easychair.org/conferences/?conf=iclp25 (select PPDP track). For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at (https://www.acm.org/publications/proceedings-template). You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. Authors should note ACM's statement on author's rights (http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy). # Note About the New ACM Open Access 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. # Program Chairs Małgorzata Biernacka (Institute of Computer Science, University of Wrocław, Poland) Carlos Olarte (LIPN and University Sorbonne Paris Nord, France). # Program Committee Salvador Abreu (University of Évora, Portugal) Sandra Alves (University of Porto, Portugal) Roman Barták (Charles University, Czech Republic) Alessandro Bruni (IT-University of Copenhagen, Denmark) Moreno Falaschi (University of Siena, Italy) Fabio Gadducci (University of Pisa, Italy) Cinzia di Giusto (Université Côte d’Azur, France) Michael Hanus (University of Kiel, Germany) Thomas Hildebrandt (University of Copenhagen, Denmark) Yukiyoshi Kameyama (University of Tsukuba, Japan). Delia Kesner (University Paris Cité, France) Cosimo Laneve (University of Bologna, Italy) Alberto Momigliano (University of Milan, Italy) Ruben Rubio (Universidad Complutense de Madrid, Spain) Claudio Sacerdoti Coen (University of Bologna, Italy) Filip Sieczkowski (Heriot-Watt University, UK) Bernardo Toninho (NOVA FCT and NOVA LINCS, Portugal) Frank Valencia (LIX, École Polytechnique de Paris, France) Germán Vidal (Universitat Politecnica de Valencia, Spain)

1 0

Call for Papers: PPDP 2025
by Michael Hanus 05 Feb '25

05 Feb '25

The 27th International Symposium on Principles and Practice of Declarative Programming September 10-11, 2025 University of Calabria, Rende, Italy https://ppdp25.github.io/site/ Collocated with ICLP 2025. https://iclp25.demacs.unical.it/ # Important dates - Title and abstract registration: 18 May 2025 (AoE) - Paper submission: 30 May 2025 (AoE) - Author notification: 7 July 2025 - Final paper version: 21 July 2025 # Overview The PPDP 2025 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. PPDP 25 will be held at University of Calabria, Rende, Italy, as part of ICLP 2025 (https://iclp25.demacs.unical.it/). At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. # Paper Submission Submissions can be made in three categories: - Regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted. Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. # Submission Guidelines Submissions will be made via EasyChair. The submission webpage for PPDP 25 is https://easychair.org/conferences/?conf=iclp25 (select PPDP track). For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at (https://www.acm.org/publications/proceedings-template). You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. Authors should note ACM's statement on author's rights (http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy (http://www.acm.org/publications/policies/plagiarism_policy). # Note About the New ACM Open Access 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. # Program Chairs Małgorzata Biernacka (Institute of Computer Science, University of Wrocław, Poland) Carlos Olarte (LIPN and University Sorbonne Paris Nord, France). # Program Committee Salvador Abreu (University of Évora, Portugal) Sandra Alves (University of Porto, Portugal) Roman Barták (Charles University, Czech Republic) Alessandro Bruni (IT-University of Copenhagen, Denmark) Moreno Falaschi (University of Siena, Italy) Fabio Gadducci (University of Pisa, Italy) Cinzia di Giusto (Université Côte d’Azur, France) Michael Hanus (University of Kiel, Germany) Thomas Hildebrandt (University of Copenhagen, Denmark) Yukiyoshi Kameyama (University of Tsukuba, Japan). Delia Kesner (University Paris Cité, France) Cosimo Laneve (University of Bologna, Italy) Alberto Momigliano (University of Milan, Italy) Ruben Rubio (Universidad Complutense de Madrid, Spain) Claudio Sacerdoti Coen (University of Bologna, Italy) Filip Sieczkowski (Heriot-Watt University, UK) Bernardo Toninho (NOVA FCT and NOVA LINCS, Portugal) Frank Valencia (LIX, École Polytechnique de Paris, France) Germán Vidal (Universitat Politecnica de Valencia, Spain)

1 0

PADL 2025: Call for Participation & Lightning Talks
by Germán Vidal 16 Dec '24

16 Dec '24

=================================================================== Call for Participation & Lightning Talks 27th Int'l Symp. on Practical Aspects of Declarative Languages (PADL 2025) https://popl25.sigplan.org/home/PADL-2025 Denver, Colorado, United States, January 20-21, 2025 Co-located with ACM POPL 2025 =================================================================== We have a really exciting lineup of papers and keynote speakers at PADL this year, co-located with POPL 2025 and scheduled for Monday 20th - Tuesday 21st of January. PADL continues to be a stimulating forum for research into the practical and applied sides of the broad spectrum of declarative languages (functional, logic, constraints) and their combinations. The list of accepted papers can be found online: https://popl25.sigplan.org/home/PADL-2025#event-overview We have two keynotes: - Solvers, unite! A simple unified semantics for reasoning with assurance and agreement - Yanhong A. Liu (Stony Brook University, NY) - Bridging Safety and Performance - Umut A. Acar (Carnegie Mellon University) Please note that the deadline for early registration is fast approaching (Dec 29): https://popl25.sigplan.org/home/PADL-2025#Registration-for-PADL-2025 **Call for Lightning Talks** PADL 2025 will feature a mini-track with lightning talks: five-minute talks presented sequentially without interruption. The objective of a lightning talk is not to give a detailed talk but rather to briefly present the motivation and the main point of an ongoing / completed research study. If there is a tool, method, application, problem, or solution relevant to practical aspects of declarative languages, and that you would like to share with the PADL2025 participants, please propose a lightning talk about it by sending the program chairs a short abstract by January 6. The notifications will be sent in 3 days after submissions. **Student Grants** PADL 2025 encourages students to participate in the symposium by providing some student grants to partially cover the registration and travel costs. You can apply by filling out the following form before December 25: https://forms.gle/Xr4HfxgNRxUAy7jv9 The selection process will give preference to students who present their papers at the symposium. Students from underrepresented groups are strongly encouraged to apply. Esra Erdem - esraerdem _AT_ sabanciuniv.edu German Vidal - gvidal _AT_ dsic.upv.es <http://dsic.upv.es/>

1 0

DEBT 2024: 2nd Call for Papers
by German Vidal 13 Jun '24

13 Jun '24

================================================================================ DEBT 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria Second Workshop on Future Debugging Techniques (https://conf.researchr.org/home/issta-ecoop-2024/debt-2024) ================================================================================ DEBT 2024 is looking to advance state-of-the-art debuggers and debugging techniques for modern software. We welcome researchers from all related areas including dynamic and static debugging techniques, techniques aimed at helping with the hard task of diagnosing the root cause of bugs, delta debugging, novel visualization techniques for debugging programs, etc. The workshop aims to gather the community and foster discussion from different perspectives. That is why we seek submissions in the form of papers as well as talks and tool demonstrations. The workshop is a venue for all approaches to debugging. Call for Contributions -------------------------------- This workshop welcomes the presentation of new ideas, reflections, emerging problems as well as more mature work. We plan to schedule enough time between presentations to foster discussions of work. To this end, we invite three kinds of submissions: * Technical papers on mature work, up to 12 pages. * Work-in-progress papers on ideas in early stages, from 2 to 6 pages. * Talks and tool demonstrations, 1-page abstract. Topics of interest include, but are not limited to, the following ones: * Debugging techniques, from static to dynamic techniques. * Innovative visualisation techniques. * Techniques targeted specific programming models and execution models (e.g. concurrent and parallel programming, microservices, distributed ledgers, web, etc. ) or hardware (e.g. debugging micro-controllers, mobile devices, Big Data applications, etc.). * Case studies and evaluation of such techniques, e.g. user studies on visualisation tools, debuggers, etc. * Surveys, taxonomies of bugs and bug patterns, and current practices/uses of debugging approaches. Papers must be submitted electronically via hotcrp: https://debt24.hotcrp.com/ Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages. Important Dates ----------------------- * Paper submission deadline: Fri 28, June 2024 * Demo submission deadline: Fri 5, July 2024 * Author notification: Mon 22, July 2024 * Camera ready deadline: Wed 31, July 2024 * DEBT Workshop: September 19, 2024 Workshop Organizers --------------------------- * Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium * Christophe Scholliers, Ghent University, Belgium For more information see: https://conf.researchr.org/home/issta-ecoop-2024/debt-2024

1 0

New PAKCS and KiCS2 releases
by Michael Hanus 16 Apr '24

16 Apr '24

Dear friends of Curry, I'd like to inform you about some changes and new features in the recent releases of the Curry systems PAKCS (3.7.0) and KiCS2 (3.1.0). These new release include two (hopefully useful) bigger changes: 1. The libraries for encapsulating search, in particular, set functions, are now part of the base libraries, i.e., they can be directly used without depending on any package. Set functions are available by importing the module Control.Search.SetFunctions It has the same interface as the old package `setfunctons`, see https://cpm.curry-lang.org/DOC/base-3.2.0/Control.Search.SetFunctions.html for the API documentation. Furthermore, there are also modules Control.Search.AllValues and Control.Search.Unsafe containing more primitive "all values"-like operations where the order of results might depend on the scheduling strategy. Actually, there is also an operationally complete implementation of Curry, Curry2Go (https://www-ps.informatik.uni-kiel.de/curry2go/), where non-determinism is implemented by lightweight threads so that the order of non-deterministic results might differ between different runs. 2. In previous releases, the case mode of identifiers were free, i.e., there were no constraints (upper/lower case) on identifers, as specified in the Curry report. Since this caused sometimes confusion to users, the current releases support a new "Curry" case mode, which is the default: the Curry mode is identical to the Haskell mode (variables, type variables, and functions start with a lower case letter, type and data constructors start with an upper case letter) but a warning (instead of an error) is emitted if the Haskell mode is not obeyed. The old behavior (without warnings) can be enforced by putting the line {-# OPTIONS_FRONTEND --case-mode=free #-} in the head of the module, i.e., by explicitly setting the free case mode. More details are available in the manuals of the systems. As before, there are also docker images (currylang/pakcs and currylang/kics2) with the newest releases available. Comments and suggestions are welcome! Best regards, Michael

1 0

LOPSTR 2024 -- Call for Papers
by Michael Hanus 26 Mar '24

26 Mar '24

** Apologies for multiple postings ** 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024). Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. September 9-11, 2024 - Milan, Italy https://lopstr.github.io/2024/ Important dates: - Abstract submission: May 6, 2024 (AoE) - Paper submission: May 10, 2024 (AoE) - Author notification: June 26, 2024 (AoE) - Camera-ready: July 17, 2024 (AoE) - Symposium: September 9-11, 2024 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 in 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 2024 will be held at Politecnico di Milano, Milan, Italy and, as part of FM 2024, will be co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. 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 FM 2024 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 and 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 standard reviewing process of the journal. 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 at 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=lopstr2024 PROGRAM CHAIRS Juliana Bowles, University of St Andrews, Scotland and SCCH, Austria Harald Søndergaard, The University of Melbourne, Australia PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Elvira Albert, Complutense University of Madrid, Spain Roberto Amadini, University of Bologna, Italy Juliana Bowles, University of St Andrews, Scotland and SCCH, Austria Maribel Fernandez, Kings College London, England Fabio Fioravanti, University of Chieti-Pescara, Italy Didier Galmiche, University of Lorraine, France Robert Glück, University of Copenhagen, Denmark Gopal Gupta, University of Texas at Dallas, TX, USA Michael Hanus, Kiel University, Germany Bishoksan Kafle, IMDEA Software Institute, Spain Gabriele Keller, Utrecht University, Netherlands Maja Kirkeby, Roskilde University, Denmark Ekaterina Komendantskaya, University of Southampton, England Fred Mesnard, University of Reunion, France Koji Nakazawa, Nagoya University, Japan Pedro Lopez-Garcia, IMDEA Software Institute, Spain Harald Søndergaard, The University of Melbourne, Australia Theresa Swift, University Nova Lisbon, Portugal Laura Titolo, AMA/NASA Research, VA, USA Hans van Ditmarsch, CNRS Toulouse, France Wim Vanhoof, University of Namur, Belgium German Vidal, Universitat Politecnica de Valencia, Spain 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

CfP: FLOPS 2024 Symposium on Functional and Logic Programming
by Michael Hanus 28 Jul '23

28 Jul '23

============================================================ Call For Papers FLOPS 2024: 17th International Symposium on Functional and Logic Programming ============================================================ May 15-17, 2024, Kumamoto, Japan https://conf.researchr.org/home/flops-2024 FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Previous FLOPS meetings were held at Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), Sendai (2010), Kobe (2012), Kanazawa (2014), Kochi (2016), Nagoya (2018), Akita (2020, online), and Kyoto (2022, online). *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by a wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer’s LNCS guidelines. FLOPS 2024 will employ a lightweight double-blind reviewing process. For more details, see https://conf.researchr.org/home/flops-2024 Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2024 *** Publication *** The proceedings will be published by Springer in the LNCS series. We expect to invite the authors of a selection of the best papers to submit an extended version of their FLOPS paper to a special issue which will appear in the journal Science of Computer Programming. *** Important Dates *** All deadlines are Anywhere on Earth (AoE = UTC-12). * Abstract due: Wed 6th Dec 2023 * Submission deadline: Wed 13th Dec 2023 * Notifications: Wed 31st Jan 2024 * Final versions due: Wed 28th Feb 2024 *** Organizers *** Shin-ya Katsumata National Institute of Informatics, JP (General Chair) Jeremy Gibbons University of Oxford, UK (PC Co-Chair) Dale Miller INRIA Saclay and LIX/IPP, FR (PC Co-Chair) Naohiko Hoshino Sojo University, JP (Local Chair) *** FLOPS sponsorship *** This symposium is sponsored by JSSST-SIGPPL (http://ppl.jssst.or.jp/). *** Contact Address *** flops2024(a)easychair.org

1 0

WLP @ KI2023: Call for Papers
by Michael Hanus 05 Jun '23

05 Jun '23

37th Workshop on (Constraint and Functional) Logic Programming (WLP)Workshop at KI2023, Berlin, Germany September 26, 2023 Workshop Website: https://dbs.informatik.uni-halle.de/wlp2023/ Conference Website: https://ki2023.gi.de/ Important dates: Submission deadline: July 2nd Notification of acceptance: August 21st Workshop: 26th September 2023 The Workshop on (Constraint and Functional) Logic Programming serves as the scientific forum and the annual meeting of the Society of Logic Programming (GLP e.V.) and brings together researchers interested in logic programming, constraint programming, functional programming, and related areas like knowledge representation, artificial intelligence, databases. Contributions are welcome on all theoretical, experimental, and application aspects of logic and constraint logic programming. The topics include, but are not limited to the following areas: Logic, Functional, and Constraint Programming Languages and Extensions Multi-paradigm Declarative Programming Knowledge Representation, Deductive Databases, and Non-monotonic Reasoning Applications and Application Areas of Declarative Programming Foundations, Semantics, Specification, Verification Tools and Implementations Software techniques for declarative programming Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted via the EasyChair conference management system (https://easychair.org/conferences/?conf=wlp2023). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Full papers should consist of up to 12 pages, system descriptions or short papers should be no longer than 6 pages (excluding references).The workshop is running a single-blind review process. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. All accepted papers will be published on the workshop website. Workshop Chairs Sibylle Schwarz (HTWK Leipzig, Germany) Mario Wenzel (University of Halle, Germany) Program Committee of WLP 2023 Slim Abdennadher (German University Cairo, Egypt) Salvador Abreu (University of Évora, Portugal) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus-Senftenberg, Germany) Herbert Kuchen (University of Münster) Dietmar Seipel (University of Würzburg, Germany) Hans Tompits (TU Wien, Austria) Janis Voigtländer (University of Duisburg-Essen, Germany) German Vidal (Universitat Politècnica de València, Spain) --

1 0

PPDP 2023 - Final Call for Papers
by Santiago Escobar 12 May '23

12 May '23

** Apologies for multiple postings ** ========================= PPDP 2023 Final Call for Papers ========================= 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of SPLASH 2023 and co-located with LOPSTR 2023 =================================== News - PPDP 2023 has received both ACM In-Cooperation Status and publication in ACM ICPS. - Selected papers invited to the Journal of Functional Programming (JFP) or the Journal of Theory and Practice of Logic Programming (TPLP) =================================== Important Dates --------------------- - 15.05.2023 AoE title and abstract submission - 22.05.2023 AoE paper submission - 28.06.2023 rebuttal period (48 hours) - 09.07.2023 notification - 30.07.2023 final paper - 22.10.2023 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2023 Submission Categories --------------------- PPDP 2023 has received both ACM In-Cooperation Status and publication in ACM ICPS. Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages (including figures, but excluding bibliography) and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages including references. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in clearly marked appendices beyond the above-mentioned page limits. Reviewers are not required to read extended versions or any material beyond the respective page limit. Some selected papers may be invited for publication in either the Journal of Functional Programming (JFP) or 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, according to the standard reviewing process of the journal. Program Committee ------------------ Salvador Abreu, NOVA LINCS / University of Evora, Portugal Beniamino Accattoli, Inria & LIX, École Polytechnique, France Maria Paola Bonacina, Università degli Studi di Verona, Italy Santiago Escobar, Universitat Politècnica de València, Spain (chair) Mário Florido, Universidade do Porto, Portugal Silvia Ghilezan, University of Novi Sad and SANU, Serbia Michael Hanus, University of Kiel, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Ugo de'Liguoro, Università di Torino, Italy Alberto Lluch Lafuente, Technical University of Denmark, Denmark Georg Moser, University of Innsbruck, Austria Daniele Nantes-Sobrinho, University of Brasília, Brazil Vivek Nigam, Huawei Technologies Düsseldorf GmbH, Germany Kazuhiro Ogata, Japan Advanced Institute of Science and Technology (JAIST), Japan Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Giselle Reis, Carnegie Mellon University, Qatar Adrián Riesco, Universidad Complutense de Madrid, Spain Julia Sapiña, Universitat Politècnica de València, Spain ------------------------------------------------------------------ Program committee chair: Santiago Escobar, Universitat Politecnica de Valencia, Spain Steering committee chair: James Cheney, Edinburgh University, UK ------------------------------------------------------------------

1 0

PPDP 2023 - Final Call for Papers
by Santiago Escobar 09 May '23

09 May '23

** Apologies for multiple postings ** ========================= PPDP 2023 Final Call for Papers ========================= 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of SPLASH 2023 and co-located with LOPSTR 2023 =================================== News - PPDP 2023 has received both ACM In-Cooperation Status and publication in ACM ICPS. - Selected papers invited to the Journal of Functional Programming (JFP) or the Journal of Theory and Practice of Logic Programming (TPLP) =================================== Important Dates --------------------- - 15.05.2023 AoE title and abstract submission - 22.05.2023 AoE paper submission - 28.06.2023 rebuttal period (48 hours) - 09.07.2023 notification - 30.07.2023 final paper - 22.10.2023 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2023 Submission Categories --------------------- PPDP 2023 has received both ACM In-Cooperation Status and publication in ACM ICPS. Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages (including figures, but excluding bibliography) and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages including references. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in clearly marked appendices beyond the above-mentioned page limits. Reviewers are not required to read extended versions or any material beyond the respective page limit. Some selected papers may be invited for publication in either the Journal of Functional Programming (JFP) or 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, according to the standard reviewing process of the journal. Program Committee ------------------ Salvador Abreu, NOVA LINCS / University of Evora, Portugal Beniamino Accattoli, Inria & LIX, École Polytechnique, France Maria Paola Bonacina, Università degli Studi di Verona, Italy Santiago Escobar, Universitat Politècnica de València, Spain (chair) Mário Florido, Universidade do Porto, Portugal Silvia Ghilezan, University of Novi Sad and SANU, Serbia Michael Hanus, University of Kiel, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Ugo de'Liguoro, Università di Torino, Italy Alberto Lluch Lafuente, Technical University of Denmark, Denmark Georg Moser, University of Innsbruck, Austria Daniele Nantes-Sobrinho, University of Brasília, Brazil Vivek Nigam, Huawei Technologies Düsseldorf GmbH, Germany Kazuhiro Ogata, Japan Advanced Institute of Science and Technology (JAIST), Japan Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Giselle Reis, Carnegie Mellon University, Qatar Adrián Riesco, Universidad Complutense de Madrid, Spain Julia Sapiña, Universitat Politècnica de València, Spain ------------------------------------------------------------------ Program committee chair: Santiago Escobar, Universitat Politecnica de Valencia, Spain Steering committee chair: James Cheney, Edinburgh University, UK ------------------------------------------------------------------

1 0