25th International Symposium on Practical Aspects of Declarative Languages

США, Бостон

16 января17 января 2023

Форма участия: Очная

Срок подачи заявок: 02.10.2022

Организаторы: Boston Park Plaza

emal: [email protected]

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

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 toapplications, design and implementation of declarative languages goingbeyond the scope of the past PADL symposia, for example, advanceddatabase languages and contract languages, as well as verification andtheorem proving methods that rely on declarative languages.

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 Englishand formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

The conference proceedings of PADL 2023 will be published bySpringer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally publishedworkshops proceedings may be submitted but the authors should notifythe program chairs about the place in which it has previouslyappeared.
Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023

Important Dates
Abstract submission: October 2, 2022 (AoE)
Paper submission: October 9, 2022 (AoE)
Notification: November 5, 2022
Symposium: January 16-17, 2023

Distinguished Papers
The authors of a small number of distinguished papers will be invitedto submit a longer version for journal publication after thesymposium. For papers related to logic programming, that will be inthe journal Theory and Practice of Logic Programming (TPLP)https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming,and for papers related to functional programming, in Journal ofFunctional 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 examplesand proofs, additional definitions and theorems, further experimentalresults, implementational details and feedback frompractical/engineering use, extended discussion of related work, and soon. These submissions will then be subject to the usual peer reviewprocess by the journal, although with the aim of a swifter reviewprocess by reusing original reviews from PADL.

Смотреть похожие мероприятия

Shopping Cart