Der Band präsentiert die neuesten Erkenntnisse aus dem internationalen Symposium zur mathematischen Informatik von 2007 in Český Krumlov; er umfasst Beiträge zu Algorithmen, formaler Logik und theoretischer Computerwissenschaft, die aktuelle Forschungstrends beleuchten.