Em junho de 2012 o mundo inteiro celebra o centenário de Alan Turing, um dos pais do computador moderno, cientista com contribuições fundamentais a áreas tão variadas como lógica, criptografia, matemática, teoria da complexidade, inteligência artificial, teoria da probabilidade, filosofia, biologia e química.
O *Workshop da Decisão*, promovido na UFRN no dia 15 de junho (6a-feira) pelo grupo de pesquisa LoLITA/DIMAp, será dedicado a Alan Turing e seus trabalhos sobre a decidibilidade de problemas matemáticos. A abertura do workshop será feita pelo professor Ruy de Queiroz, do Centro de Informática da UFPE, com uma palestra de divulgação sobre o legado de Alan Turing. Após um breve intervalo será a vez de alunos de pós-graduação da nossa instituição assumirem, com novas apresentações sobre teorias matemáticas importantes às quais estão associados procedimentos de decisão. O evento é aberto a toda a comunidade, e terá início às 8:00 no Anfiteatro A do CCET. A programação completa está descrita em http://goo.gl/XjBXH. Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
