The Ackermann Award 2010
The sixth Ackermann Award was to be presented at this CSL’10, held in Brno, Czech Republic. This is the fourth year the EACSL Ackermann Award is generously sponsored. Our sponsor for the period of 2010-2012 is the Kurt Gödel Society (KGS). Besides its financial support of the Ackermann Award the KGS also commited itself to inviting the receiver of the Award for a special lecture to be given in Vienna.
KeywordsCzech Republic High Standard Completeness Theorem Organize Committee Early Complexity
Unable to display preview. Download preview PDF.