Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact ocs_support@springer.com for further guidance.


Welcome to the conference service of PADL2020

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:PADL 2020 : 22nd Symposium on Practical Aspects of Declarative Languages
Description:Declarative languages is an umbrella term that include functional, logic, and constraint programming languages. These languages have been 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 have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, 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.
PC Chairs:Yanhong Liu
Ekaterina Komendantskaya
Conference flow: Paper Submission: November 29, 2019 23:59 CET,
Paper Upload: November 29, 2019 23:59 CET,
Bidding for Review: November 29, 2019 23:59 CET,
Assignment of Reviewers: November 30, 2019 23:59 CET,
Review: November 30, 2019 23:59 CET,
Decision: November 30, 2019 23:59 CET,
Final: December 3, 2019 23:59 CET

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair