Conference Information
PADL 2023: International Symposium on Practical Aspects of Declarative Languages
Submission Date:
2022-10-12 Extended
Notification Date:
Conference Date:
Boston, Massachusetts, USA
CORE: b   QUALIS: b1   Viewed: 12443   Tracked: 1   Attend: 0

Call For Papers
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.
Last updated by Dou Sun in 2022-10-06
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ccb1DIMVAInternational Conference on Detection of Intrusions and Malware & Vulnerability Assessment2022-03-102022-05-022022-06-29
ISIEInternational Symposium on Industrial Electronics2021-12-012022-02-152022-06-01
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
IWOMPInternational Workshop on OpenMP2022-05-202022-06-172022-09-20
cbb1ALTInternational Conference on Algorithmic Learning Theory2022-09-302022-12-212023-02-20
GCCEGlobal Conference on Consumer Electronics2021-06-072021-07-262021-10-12
bb1I-SPANInternational Symposium on Pervasive Systems, Algorithms, and Networks2019-05-312019-06-142019-09-16
IC4MEInternational Conference on Modern Machinery Manufacturing and Materials Engineering2019-07-11 2019-09-20
b4CSEInternational Conference on Computational Science and Engineering2023-07-012023-09-012023-11-01
cICVRVInternational Conference on Virtual Reality and Visualization2019-08-242019-10-102019-11-21