Declarative programming is an advanced paradigm for modeling and solving complex problems. This method has attracted increased attention over the last decades, e.g., in the domains of data and knowledge engineering, databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the web.
The conference Declare 2017 aims to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming and related areas.
It will be accompanied by a one-week summer school on Advanced Concepts for Databases and Logic Programming for students and PhD students.
The technical program of the event will include invited talks, presentations of refereed papers, and system demonstrations.
- INAP 2017 (21st International Conference on Applications
of Declarative Programming and Knowledge Management)
- WFLP 2017 (25th International Workshop on Functional
and Logic Programming)
- WLP 2017 (31st Workshop on (Constraint) Logic Programming)
- Summer School on Declarative Programming
Date(s) - 17/09/2017 - 22/09/2018