Ein tiefgehendes Sammelwerk aus der Neunten CiE-Konferenz, das die Verbindung zwischen formaler Logik, algorithmischen Strukturen und realen Anwendungen in Bereichen wie Kryptographie, Datenanalyse und theoretischer Informatik detailliert darstellt.