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.

 

Collocated Events:

  • 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

Loading Map....

Date/Time
Date(s) - 17/09/2017 - 22/09/2018
All Day

Location
University of Würzburg, Zentrales Hörsaal- & Seminargebäude Z6

Categories

Web
http://declare17.de/


Declare 2017 (Conference and Summer School on Declarative Programming)