Molham Aref introduces LogicBox, a database that unites declarative programming (logic-based specifications) with cloud deployment over large datasets using the Datalog programming language.
Nimrod is a statically typed programming language that tries to give the programmer ultimate power without compromises on runtime efficiency.
Hans Dockter discusses build systems from a declarative vs. imperative perspective, the importance of a rich execution model and problems with POM, providing examples from Gradle, Maven and Ant.
Achim Demelt discusses creating a UI using a completely declarative DSL called S4 without flow control, events or data binding.
Wim Bast introduces Declare, a new declarative, functional OO language, demoing some of its main features.