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.

WLP 2024 provides a forum for exchanging ideas on declarative logic programming, constraint logic programming, non-monotonic reasoning, knowledge representation, and facilitates interactions between research in theoretical foundations and the design, implementation and application of (constraint) logic-based systems.

Die 46. Deutsche Konferenz für Künstliche Intelligenz (KI 2023) steht vor der Tür und verspricht, ein aufregendes Ereignis für alle Interessierten an Künstlicher Intelligenz zu werden.