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
** 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).
============================================================
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
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)
--
** 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
------------------------------------------------------------------
** 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
------------------------------------------------------------------
** 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
------------------------------------------------------------------
** 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).
** 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).
==============================================================================
Call for Papers
25th International Symposium on Practical Aspects of Declarative Languages
(PADL 2023)
https://popl23.sigplan.org/home/PADL-2023
Boston, Massachusetts, United States, January 16-17, 2023
Co-located with ACM POPL 2023
==============================================================================
FINAL DEADLINES:
----------------
Abstract submission: October 12, 2022 (AoE)
Paper submission: October 19, 2022 (AoE)
Conference Description
----------------------
Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming.
Such formalisms enjoy both sound theoretical bases and the
availability of attractive frameworks for application development.
Indeed, they have been already successfully applied to many different
real-world situations, ranging from database management to active
networks to software engineering to decision support systems.
New developments in theory and implementation fostered applications in
new areas. At the same time, applications of declarative languages to
novel and challenging problems raise many interesting research issues,
including designing for scalability, language extensions for
application deployment, and programming environments. Thus,
applications drive the progress in the theory and implementation of
declarative systems, and benefit from this progress as well.
PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and
implementation techniques for all forms of declarative programming,
including functional and logic programming, database and constraint
programming, and theorem proving.
Topics of interest include, but are not limited to:
- Innovative applications of declarative languages
- Declarative domain-specific languages and applications
- Practical applications of theoretical results
- New language developments and their impact on applications
- Declarative languages and software engineering
- Evaluation of implementation techniques on practical applications
- Practical experiences and industrial applications
- Novel uses of declarative languages in the classroom
- Practical extensions such as constraint-based, probabilistic,
and reactive languages
PADL 2023 especially welcomes new ideas and approaches related to
applications, design and implementation of declarative languages going
beyond the scope of the past PADL symposia, for example, advanced
database languages and contract languages, as well as verification and
theorem proving methods that rely on declarative languages.
Submissions
-----------
PADL 2023 welcomes three kinds of submission:
* Technical papers (max. 15 pages):
Technical papers must describe original, previously unpublished
research results.
* Application papers (max. 8 pages):
Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in
areas of research other than Computer Science. Application papers
are expected to describe complex and/or real-world applications that
rely on an innovative use of declarative languages. Application
descriptions, engineering solutions and real-world experiences (both
positive and negative) are solicited.
* Extended abstracts (max. 3 pages):
Describing new ideas, a new perspective on already published work,
or work-in-progress that is not yet ready for a full
publication. Extended abstracts will be posted on the symposium
website but will not be published in the formal proceedings.
All page limits exclude references. Submissions must be written in English
and formatted according to the standard Springer LNCS style, see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
Page numbers (and, if possible, line numbers) should appear on the
manuscript to help the reviewers in writing their reports. So, for
LaTeX, we recommend that authors use:
\pagestyle{plain}
\usepackage{lineno}
\linenumbers
The conference proceedings of PADL 2023 will be published by
Springer-Verlag in the Lecture Notes in Computer Science series.
Work that already appeared in unpublished or informally published
workshops proceedings may be submitted but the authors should notify
the program chairs where it has previously appeared.
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=padl2023
Important Dates (UPDATED!)
--------------------------
Abstract submission: October 12, 2022 (AoE)
Paper submission: October 19, 2022 (AoE)
Notification: November 15, 2022
Camera-ready papers: December 1, 2022
Symposium: January 16-17, 2023
Distinguished Papers
--------------------
The authors of a small number of distinguished papers will be invited
to submit a longer version for journal publication after the
symposium. For papers related to logic programming, that will be in
the journal Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…,
and for papers related to functional programming, in Journal of
Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should be substantially (roughly 30%)
extended: explanations for which there was no space, illuminating examples
and proofs, additional definitions and theorems, further experimental
results, implementational details and feedback from
practical/engineering use, extended discussion of related work, and so
on. These submissions will then be subject to the usual peer review
process by the journal, although with the aim of a swifter review
process by reusing original reviews from PADL.
PADL 2023 PC Co-Chairs
----------------------
- Michael Hanus, Kiel University, Germany
- Daniela Inclezan, Miami University, United States
Programme Committee
-------------------
Andreas Abel Gothenburg University, Sweden
Annette Bieniusa TU Kaiserslautern, Germany
Joachim Breitner Epic Games, Germany
William Byrd University of Alabama at Birmingham, USA
Pedro Cabalar University of Corunna, Spain
Francesco Calimeri University of Calabria, Italy
Stefania Costantini University of L'Aquila, Italy
Esra Erdem Sabanci University, Turkey
Martin Gebser University of Klagenfurt, Austria
Robert Glueck University of Copenhagen, Denmark
Gopal Gupta University of Texas at Dallas, USA
Michael Hanus CAU Kiel, Germany (co-chair)
Daniela Inclezan Miami University, USA (co-chair)
Tomi Janhunen Tampere University, Finland
Patricia Johann Appalachian State University, USA
Yukiyoshi Kameyama University of Tsukuba, Japan
Ekaterina Komendantskaya Heriot-Watt University, UK
Simona Perri University of Calabria, Italy
Enrico Pontelli New Mexico State University, USA
Tom Schrijvers Katholieke Universiteit Leuven, Belgium
Paul Tarau University of North Texas, USA
Peter Thiemann University of Freiburg, Germany
Peter Van Roy Universite catholique de Louvain, Belgium
Janis Voigtlaender University of Duisburg-Essen, Germany
Ningning Xie University of Cambridge, UK
Contact Address
---------------
padl2023 _AT_ easychair.org
-------------------------------------------------------------------------------
