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.
Part of Declare'17
21st International Conference on Applications of Declarative Programming and Knowledge Management
31st Workshop on Logic Programming
25th International Workshop on Functional and (Constraint) Logic Programming
Advanced Concepts for Databases and Logic Programming
Universität Würzburg – Franconia – Bavaria – Germany
Zentrales Hörsaal- & Seminargebäude Z6
+49 931 322770Website
Hotel Zur Stadt Mainz
+49 931 5315Website
Hotel Würzburger Hof
+49 931 53814Website
Hotel rooms in Würzburg can be affordable, but you have to reserve early. At the campus of the university there is no hotel. The hotels listed before are all located downtown near the bus stop Barbarossaplatz.