26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024)
Date: Sep 10, 2024 7:00 am – Sep 11, 2024 4:00 pm
Location: Milan, Italy
"The PPDP 2024 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."
Submitted by Gregory Rigby
on
Date: Sep 10, 2024 7:00 am – Sep 11, 2024 4:00 pm
Location: Milan, Italy
"The PPDP 2024 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."
Submitted by Gregory Rigby
on