MANAUS - Aluno do curso de Engenharia de Computacao da Universidade Federal do Amazonas - UFAM, Felipe Monteiro, e o primeiro brasileiro premiado no ACM Student Research Competition. O evento e promovido pela International Symposium on Foundations of Software Enginnering - FSE.Sob orientacao do professor Lucas Cordeiro, Felipe apresentou o trabalho Verificacao de modelos limitados de sistemas digitais Estado-Espaco , que defende a aplicacao de tecnica conhecida como Bounded Model Checking na verificacao de propriedades de controladores digityais de ponto fixo. Os controladores sao competentes utilizados em varios tipos de sistemas, desde roteadores de internet ate avioes e foguetes.Felipe chegou ao final da competicao com dois alunos da Universidade de Washington, em Seattle-EUA, sob a orientacao do mesmo professor. Cordeiro. avalia o feito como uma conquista notavel e que dve ser comemorada com muito orgulho. "O FSE e um grande evento internacional que reune os melhores nomes na area de engenharia de software e ficamos muito felizes de que nesta edicao a UFAM tenha obtido tao inedita premiacao", comenta o orientador.O aluno tambem explica que a ACM seleciona os trabnalhos mais influentes em diferentes ramos da computacao para aplicar a competicao. A selecao acontece em varias fases, sendo que na ultima os alunos fazem apresentacao de 10 minutos sobre a pesquisa e o comite seleciona os vencedores. O evento ocorreu de 13 a 18 de novembro de 2016, na cidade de Seattle, nos Estados Unidos.O EVENTOA Associationfor Computing Machinery e uma das organizacoes mais importantes para pesquisa na area. Ela promove anualmente a ACM Student Research Compettion, que e a sediada apos selecao criteriosa, nas conferencias mais influentes sobre computacao.Os alunos interessados devem submeter artigo cientifico, que sera revisado pelos organizadores da conferencia. Apos aprovacao, os representantes dos artidos recebem US$ 500,00 para viajarem ate o local de apresentacao. Onde leam os posters com o resumo do trabalho e sao avaliados por um comite especializado.Fonte: www.portalamazonia.comPor Major Castro Alves - Presidente da AFAMArtcastroalves@bol.com.brportalamazonia.com MANAUS - Sem aparecer ha pelo menos dez anos em Manaus, as araras-canide - de cores azul, amarelo e preto - voltaram a ser vistas este ano na cidade. Ha relatos de revoada dessa especie em diversas areas verdes da capital, dentre as quais a do Museu da Amazonia - Musa, no bairro Cidade de Deus, da Universidade Federal do Amazonas - UFAM e do conjunto Acariquara, no bairro Coroado, alem do Instituto Nacional de Pesquisas da Amazonia - INPA, no bairro Adrianopolis.O veterinario Anselmo D Affonseca contou que viu um casal de araras-caninde com um filhote na mata do INPA e ha tres semanas viu um bando com aproximadamente 42 passar pelos ceus do Musa. De acordo com ele, que fotografou essa especie de arara numa reserva do INPA, na BR-174 e em Balbina, no municipio de Presidente Figueiredo, nunca tinha visto essas araras em Manaus. "Foi uma surpresa porque pela primeira vez vi araras-caninde voando na cidade", afirmou.Conforme o jardineiro Naldo Silva, 30, houve muita revoada de aararas-canide na floresta do conjunto Acariquara. Ele relata que elas apareciam de manha cedo e no final da tarde. Agora,