Der Band fasst die Ergebnisse der achten LPAR-Konferenz in Havanna zusammen, beleuchtet aktuelle Fortschritte in Logik, Programmierung und künstlicher Intelligenz und bietet praxisnahe Einblicke in formale Modelle, automatisierte Beweisführung sowie intelligente Systeme.