- curry - lists.rwth-aachen.de

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

PPDP 2023 - Call for Papers
by Michael Hanus 20 Apr '23

20 Apr '23

** Apologies for multiple postings ** ========================= PPDP 2023 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 =================================== 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 --------------------- For the moment, PPDP 2023 has received ACM In-Cooperation Status. The exact form of the proceedings will be communicated in the forthcoming call for papers. 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. 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

LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May
by Michael Hanus 20 Apr '23

20 Apr '23

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Abstract submission: May 19, 2023 (AoE) - Paper submission: May 26, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 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 language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover 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, cyber-physical and distributed system - 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 do 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 the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair 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=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria 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 might have a look at 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

LOPSTR 2023 - Call for Papers
by Michael Hanus 23 Mar '23

23 Mar '23

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Abstract submission: May 19, 2023 (AoE) - Paper submission: May 26, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 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 language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. Topics of interest cover 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, cyber-physical and distributed system - 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 do 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 the original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair 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=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria 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 might have a look at 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