Computability and Logic: celebrating the Alan Turing Year in Brazil

Versão para impressãoVersão para impressão

No dia 12 de Setembro de 2012, realizar-se-á na Sala da Congregação, FEEC, Unicamp, uma Sessão Especial do Colloquium Logicae sobre Computabilidade e Lógica. Tal evento se dá em homenagem ao Ano de Alan Turing, como parte das comemorações do centenário de seu nascimento. Os palestrantes serão Walter Carnielli  (organizador, UNICAMP), Itala D`Ottaviano  (UNICAMP), Renata Wassermann (USP) e Sue Black (University College London).