Declare 2025

Declarative programming is an advanced paradigm for modeling and solving complex problems. This specification method attracted increased attention over the last decades, e.g., in the domains of databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the Web. DECLARE 2025 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 languages and related areas. The technical program of the event will include invited talks, presentations of refereed papers, and system demonstrations.

Zurück