#ppdp2023 — Public Fediverse posts

#CallForPapers #PPDP2023 (Principles and Practice of Declarative Programming) "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" #FP #FunctionalProgramming https://ppdp2023.webs.upv.es/files/cfp1.txt

#CallForPapers #PPDP2023 (Principles and Practice of Declarative Programming) "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" #FP #FunctionalProgramming https://ppdp2023.webs.upv.es/files/cfp1.txt

Preliminary #CallForPapers #PPDP2023 (Principles and Practice of Declarative Programming) "brings together researchers from the declarative programming communities, including those ... in the logic, constraint and functional programming paradigms, but also ... other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web" https://ppdp2023.webs.upv.es/ #DeclarativeProgramming

Preliminary #CallForPapers #PPDP2023 (Principles and Practice of Declarative Programming) "brings together researchers from the declarative programming communities, including those ... in the logic, constraint and functional programming paradigms, but also ... other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web" https://ppdp2023.webs.upv.es/ #DeclarativeProgramming