Declarative programming emphasizes the specification of what is to be computed, over how to do this. This paradigm is fundamental to functional, logic, and constraint programming. It allows to write concise code, with clear semantics, and enables highly efficient implementations.
The Leipzig Week of Declarative Programming consists of several workshops on theory and practice of declarative programming languages, systems, and applications:
The event will be hosted by IMN (Fakultät für Informatik und Naturwissenschaften) of HTWK (Hochschule für Technik, Wirtschaft und Kultur Leipzig).
Leipzig has a strong tradition of declarative programming: the workshop series Haskell in Leipzig is running for 11 years now.
WLP invited talk (Monday night, during dinner)
Ulrich Geske, Univ. Potsdam: WLP: woher, wohin - und warum?
WFLP invited talk (Tuesday, 10:20)
HaL invited talk (Wednesday, 14:00)
HaL invited musical performance (Wednesday night, during barbeque)