---------- Mensagem encaminhada ---------- De: Patricia Buarque Pereira <[email protected]> Data: 4 de abril de 2012 09:55 Assunto: [docentes] AULA DISCIPLINA SEMINÁRIOS: dia 12/Abril/2012 Para: [email protected], [email protected], [email protected], [email protected] Cc: Rogerio de Oliveira Batista <[email protected]>
Prezados, Informamos que a aula 1 da disciplina Seminários será realizada dia 12 de Abril de 2012 (Quinta-Feira) às 17h no anfiteatro CIn (bloco A Térreo). **A entrada é gratuita** e por orientação da Secretaria da pós-graduação, é obrigatória apenas para os alunos da Pós-graduação que estão matriculados na disciplina Seminários. (lista de matriculados em anexo) ATENÇÃO: Qualquer solicitação relativa aos Seminários deverão ser encaminhadas à Sec-Pós (Lilian, Nanci e Socorro) nos ramais:4026, 4061 ou 4003 Palestrante: Ruy de Queiroz Mini CV: Ruy J.G.B. de Queiroz possui graduação em Engenharia Elétrica (Modalidade Eletrônica) pela Universidade de Pernambuco (1980), mestrado em Informática pela Universidade Federal de Pernambuco (1984) e PhD em Computação pelo Imperial College, Universidade de Londres (1990). De 1993 a 2007 foi Executive Editor e desde 2008 é um dos Editors-in-Chief da revista científica Logic Journal of the Interest Group in Pure and Applied Logic (da Oxford University Press). É membro do corpo editorial do International Directory of Logicians (D. Gabay & J. Woods (eds.), College Publications, 2009), Associate Editor do Journal of Computer and System Sciences (JCSS), Elsevier, e membro do Editorial Board da série Lecture Notes in Computer Science (LNCS), subsérie FoLLI, da Springer, e professor associado da Universidade Federal de Pernambuco. De 2006 a 2008 foi membro eleito do Council da Association for Symbolic Logic, atuando atualmente como membro do Committee on Logic in Latin America. Criou em 1994 (e mantém desde então) a série WoLLIC (http://wollic.org) de encontros científicos internacionais em lógica pura e aplicada que em 2011 acontecerá na Philadelphia (USA). Em 2006 foi premiado com uma cátedra de Edward Larocque Tinker Visiting Professor - Dept of Philosophy, Stanford University, por indicação de Solomon Feferman e Grigori Mints, tendo ministrado dois cursos, um de graduação e outro de pós-graduação. Foi recentemente convidado a integrar o advisory group do Nominating Committee para o Rolf Schock Prize in Logic and Philosophy for 2011 concedido pela Royal Swedish Academy of Sciences, tal qual ocorreu na versão de 2008 do mesmo prêmio. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e Lógica Matemática, atuando principalmente em temas relacionados a teoria da prova, teoria de modelos, e fundamentos da segurança computacional. É membro dos colegiados dos Programas de Doutorado em Informática, Doutorado em Matemática, e Doutorado em Matemática Computacional da UFPE. Desde 2001 ministra disciplinas em torno de Criptografia e Segurança da Informação no Centro de Informática da UFPE, onde atua como orientador de diversas teses e dissertações em tópicos relacionados a criptografia e segurança computacional. Participa como coordenador da equipe autora de proposta recente de criação no CIn-UFPE de um "Laboratório de Cibersegurança e O Domínio Público" que terá como objetivo o desenvolvimento de "tecnologias para proteção à privacidade, às obrigações e aos direitos no acesso e manuseio de informações sensíveis no ciberespaço". É membro da rede de pesquisadores “Rede Nacional de Segurança da Informação e Criptografia”, coordenada pelo Centro de Defesa Cibernética do Exército Brasileiro.Tem tido participação na orientação e na avaliação de teses nas áreas de fronteira entre a Tecnologia e o Direito. Desde 2008 tem publicado regularmente artigos sobre internet e sociedade, inovação e empreendedorismo em alta tecnologia, e artigos de opinião em diversos jornais de circulação nacional e local (Investimentos e Notícias, O Globo, Diário de Pernambuco, Jornal do Commercio, Folha de Pernambuco). ** *Título: Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing* Alan Turing (1912-1954), matemático, lógico, criptoanalista e cientista da computação britânico, foi fundamental no desenvolvimento da ciência da computação e proporcionou uma formalização do conceito de algoritmo e computação com o modelo matemático idealizado da "máquina de Turing". Em homenagem ao centenário de seu nascimento, a intenção aqui é fazer uma reflexão sobre o legado desse que foi, ao mesmo tempo, herói nacional e uma ameaça ao estado britânico: de fundamental importância na consolidação da teoria da decidibilidade de problemas matemáticos, Turing abriu caminho para a demonstração de que certos problemas da Matemática são indecidíveis, a exemplo do décimo problema de Hilbert. Atenciosamente, Equipe Seminário CIn-Secretaria de Pesquisa e Projetos _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
