Die Ausgabe des LFCS‑Symposiums 2009 aus Deerfield Beach bietet einen kompakten Überblick über aktuelle Fortschritte in der formalen Logik, Modelltheorie und deren Anwendungen in Algorithmen und Softwareentwicklung, ergänzt durch praxisnahe Fallstudien und theoretische Durchbrüche.