In dieser Konferenzsammlung werden neueste Fortschritte zur automatisierten Beweisführung präsentiert, wobei analytische Tafeln und verwandte Verfahren im Mittelpunkt stehen; die Beiträge beleuchten sowohl theoretische Grundlagen als auch praktische Anwendungen in der Logikforschung.