|
----- Original Message -----
From: Museu da
Ciência
Sent: Monday, September 07, 2009 3:52 PM
Subject: Ackermann Award 2009 (8 de Setembro 2009)
ACKERMANN
AWARD 2009 (8 de
Setembro) 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. 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).
Saiba mais __________________________________________________________________________________________________________________________ OUTRAS
SUGESTÕES COMO OS ROMANOS VIAM O CÉU
(10 de Setembro)
-- Museu da Ciência Laboratorio Chimico Largo Marquês de Pombal 3000-272 Coimbra E. geral@museudaciencia.org T. 239 85 43 50 F. 239 85 43 59 |
| Mensagem anterior por data: [Museum] Oficina de cinema de animação no museu nacional de etnologia | Próxima mensagem por data: [Museum] Museu Nacional de Machado de Castro | NOITE ROMANA |
| Mensagem anterior por assunto: [Museum] A cidade de Coimbra | Próxima mensagem por assunto: [Museum] A CML E O NOVO MUSEU DOS COCHES |