:: What is EACSL
:: CSL Conferences
:: Ackermann Award
:: Alonzo Church Award
:: CSL Bibliography
:: Previous Awards
:: Wilhelm Ackermann
The Ackermann AwardThe Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'xx).
Since 2010, the Award has been sponsored by the Kurt Gödel Society.
For the three years 2007-2009, the Award was sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals.
Wilhelm AckermannWilhelm Ackermann was born on March 29, 1896 and died on December 24, 1962.
His logic textbook, "Grundzüge der Theoretischen Logik" written together with David Hilbert and first published in 1928, was the most influential textbook in the formative years of mathematical logic. Its fourth edition was published in 1959. The book was translated into several languages.
Ackermann did not pursue an academic career. Nevertheless he continued his research work and helped to shape mathematical logic as a tool of scientific investigations.
His work includes investigations in
Sources and links: