Ackermann Award 2009
8 de Setembro
17h00
ENTRADA LIVRE
O Prémio Ackermann é atribuído anualmente pela EACSL (European Association for Computer Science Logic) ao melhor trabalho científico na área da Lógica em Ciências da Computação.
O nome do prémio pretende homenagear Wilhelm Ackermann (1896-1962), conhecido principalmente pela sua contribuição na área da teoria da complexidade e pela função que recebeu o seu nome: função de Ackermann.
Na sua edição de 2009, o Prémio foi atribuído a
Jakob Nordström pela sua tese de doutoramento intitulada "Short Proofs May Be Spacious: Understanding Space in Resolution",
trabalho desenvolvido no Royal Institute of Technology, em Estocolmo (Suécia).
Jakob Nordström
Função de Ackermann
