Juulis kogunesid Tallinna parimad arvutiteadlased üle kogu maailma, et tutvustada siin oma uusimaid avastusi ja arutleda valdkonna tuleviku üle. Tuleviku prognoosimisel tuleb vaadata ka minevikku. Nimelt avaldati maailmatasemel matemaatikute ja arvutiteadlaste iga-aastasel kokkusaamisel austust lähimineviku silmapaistvamate ja mõjukamate teadustööde autoritele. Sel aastal anti just Tallinnas üle Gödeli auhind, Presburgeri autasu, Alonzo Churchi ning EATCSi preemia.