Die Gesellschaft fur Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation stutzt sich auf die von den Universitaten und Hochschulen fur diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preistrager" ihrer Hochschule ausgezeichnet. Der Ausschuss der GI, der den Preistrager aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in Raumen der Akademie der Wissen schaften und Literatur Mainzein Kolloquium, das den Kandidaten Gelegenheit bot, ihre Resultate im Kreis der Mitbewerber vorzustellen und zu verteidigen. Der Ausschuss war von dem hohen Niveau der eingereichten Arbeiten und der Prasentation sehr positiv beeindruckt. Die Teilnehmer begrussten die Veran staltung des Kolloquiums sehr, nahmen an der Diskussion teil und schatzten die Moglichkeit, mit den Teilnehmern aus anderen Hochschulen ins Gesprach zu kommen. Zu dem Erfolg des Kolloquiums trug auch die grosszugige Gast freundschaft der Akademie bei, der hier dafur auch gedankt sei. Es fiel dem Ausschuss schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preistrager zu bestimmen. Die Publikation der hier prasentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenburtigen Kandidaten etwas aus."

Die Komplexitatstheorie untersucht den algorithmischen Aufwand zur Losung von Problemen mit Hilfe einer Maschine. Dabei werden Rechnermodelle wie Turing-Maschinen oder Registermaschinen verwendet, um von speziellen Architektur- und Implementationsdetails unabhangige Ergebnisse zu gewinnen."