quarta-feira, 28 de outubro de 2009

Os campeões da Maratona de Programação 2009

Na foto acima (de camiseta azul) estão os campeões da Final Brasileira da Maratona de Programação 2009, que aconteceu no último sábado, 24 de outubro de 2009, em Campinas-SP. A Maratona de Programação é uma competição que funciona como seletiva para a final mundial do ICPC (http://icpc.baylor.edu), a principal olimpíada científica da área de ciência da computação, organizada pela ACM desde a década de 70. Os melhores times ganham o direito de representar o país na próxima final mundial, que ocorrerá nos dias 1 a 5 de fevereiro de 2010 em Harbin, China.
O nome do time campeão é "Pedrov, Victorov e Mairova", do Centro de Informática da UFPE (CIn-UFPE). Seus integrantes são:
Os três integrantes do time, em times diferentes, ganharam medalhas de ouro no ano passado também. Víctor e Maíra eram do time "YaThreeSobas", 3º lugar (os três primeiros times ganham ouro), e Pedro do time "Prático, Cícero e Heitor", primeiro lugar. Além da classificação para a próxima etapa, “Pedrov, Victorov e Mairova” também conquistaram o título de penta campeões brasileiros, ganhando assim o troféu definitivo da Maratona de Programação para o CIn-UFPE. Desde o início do evento, em 1996, várias instituições almejam os cinco títulos, entre elas Unicamp, ITA, IME-USP e PUC-RIO.
A segunda melhor equipe na competição foi "Anuncie Aqui", da Universidade Federal de Sergipe (UFS). Os três integrantes da equipe são:
  • Maurício Collares, aluno de Engenharia Elétrica
  • Ramon Fernandes, aluno de Engenharia Elétrica
  • Felipe Carvalho, aluno de Ciência da Computação
Observação: dois dos integrantes da equipe, Maurício e Ramon, ganharam medalha de bronze na Final Brasileira da Maratona de Programação em 2007. Vale destacar que este bom resultado veio de uma universidade de Sergipe, o menor estado do país, como consequência do trabalho de vários anos dos professores da UFS no estímulo de competições como a Maratona de Programação e a Olimpíada Brasileira de Informática (OBI) (clique aqui para ler mais sobre o trabalho com a OBI e a Maratona em Sergipe). É, nas palavras da professora Leila Silva, da UFS, uma prova de que "os talentos brasileiros estão espalhados por todos os cantos do país". A equipe que ficou na terceira colocação, e também ganhou medalha de ouro, foi a equipe eh_muita_grana, do IME-USP, formada por Raphael Henrique Ribas (aluno de mestrado do IME-USP, formado em Ciência da Computação pela UFPR), Joel da Silva Uchoa, Gabriel Ribeiro da Cruz Peixoto (que faz mestrado na Estatística) e técnico Wanderley Guimarães da Silva. Observação: Raphael Henrique Ribas ganhou medalha de ouro também no ano passado como integrante da equipe Triforce da UFPR. A equipe "sudo make a sandwich", do DAINF-UTFPR, (clique aqui para ler notícia sobre a classificação desta equipe para a Final Brasileira), estreante em finais brasileiras, ficou numa excelente 12a. colocação. Esta equipe é formada por três alunos da primeira turma do curso de Engenharia de Computação: Alexandre Marin, Lucas Campiolo Paiva e Luiz Ribeiro, e treinada pelo professor João Alberto Fabro. É importante ressaltar que não apenas a equipe era estreante, mas a própria UTFPR participou pela primeira vez da final brasileira da principal competição de programação para universitários, com seus alunos ficando atrás de alunos de apenas 8 outras instituições, todas com bem mais tradição em Maratonas do que a UTFPR. Por fim, parabenizo todas as equipes que participaram da Final Brasileira. Para muitas delas, já foi uma grande vitória estar lá. Parabenizo também todos os professores, alunos e funcionários que de alguma forma contribuíram com a organização deste evento da Sociedade Brasileira de Computação. Para as equipes que vão para a final mundial, é hora de estudar e treinar para obterem boa classificação lá. E, para os não classificados, é hora de começar os terinamentos para a Maratona de Programação 2010. Leia mais sobre:

terça-feira, 27 de outubro de 2009

Profissão da minha vida

Um site que pode ser útil a estudantes que estão decidindo que carreira seguir:

http://www.profissaodaminhavida.com.br




É um site da Universidade Positivo, mas acredito que pode ser utilizado por pessoas que pretendem estudar em outros lugares.

segunda-feira, 26 de outubro de 2009

Futuris

Do Blog do Prof. Palazzo:

Mensagens do além!

setembro 20th, 2009

Mandar mensagens em uma data logínqua no futuro é uma das possibilidades da Futuris. A comunidade social é uma start up brasileira, desenvolvida pela agência multimídia Go2nPlay Studios e se propõe a enviar mensagens programadas para o futuro.

Através do Futuris é possível enviar mensagens com fotos e vídeos, escrever blogs alimentados no passado, construir álbuns de fotos que acompanhem seu envelhecimento e adicionar amigos para dividir essas informações.

Pela comunidade Futuris é possível agendar o recebimento de suas mensagens para até 50 anos da data de envio, parabenizar alguém por um aniversário que ainda não chegou, dividir com seus filhos, quando eles tiver a mesma idade que você tem, a sua experiência, e o que mais você tiver vontade de fazer agora, no futuro.

Você deve saber inglês e acreditar na sobrevivência da empresa.


About Us

Futuris is a privately funded startup with offices in the Downtown area of Curitiba, Brazil. Started as a side project in January of 2008, a timeless messaging service that works over multiple networks and devices.

How is Futuris built?

Our engineering duo works with a web application framework called Ruby on Rails. Our web site and user interface were designed using Photoshop.

We built Futuris using Ruby on Rails because it allows us to work quickly and easily–our team likes to deploy features and changes multiple times per day. Rails provides skeleton code frameworks so we don't have to re-invent the wheel every time we want to add something simple like a sign in form or a picture upload feature.

How do you make money from Futuris?

Futuris has many appealing opportunities for generating revenue but we are holding off on implementation for now because we don't want to distract ourselves from the more important work at hand which is to create a compelling service and great user experience for millions of people around the world.

While our business model is in a research phase, we spend more money than we make. As a result, making a conversation with you and yourself 30 years later possible has a lot of value to us.

A son can have more minutes of unseen moments with someone that's not here anymore is very compeling, so far, we are being able to afford the challenge since we have a New Media Company, that finances our cost.

Started with a concept, but we have travel across time and dimensions possible.

Join Us!



http://www.futuristk.com/

The world’s first formal machine-checked proof of a general-purpose operating system kernel

NICTA today announced the completion of the world's first formal machine-checked proof of a general-purpose operating system kernel, promising safety-critical software of unprecedented levels of reliability.

There is now a way to mathematically prove that the software governing critical safety and security systems in aircraft and motor vehicles is free of a large class of errors – long before the plane takes off or the car's engine starts.

The Secure Embedded L4 (seL4) microkernel, designed for real-world use, has potential applications in defence and other safety and security industries where the flawless operation of complex embedded systems is of critical importance.

"It is hard to comment on this achievement without resorting to clichés," says Professor of Computational Logic at Cambridge University's Computer Laboratory, Lawrence C Paulson. "Proving the correctness of 7,500 lines of C code in an operating system's kernel is a unique achievement, which should eventually lead to software that meets currently unimaginable standards of reliability."

"Formal proofs for specific properties have been conducted for smaller kernels, but what we have done is a general, functional correctness proof which has never before been achieved for real-world, high-performance software of this complexity or size," explains NICTA Principal Researcher Dr Gerwin Klein, who leads NICTA's formal verification research team.

(...)


Leia mais em

http://bit.ly/D2Ghf

ou, resumido em português, em

http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-pronto&id=010150091020&ebol=sim


sábado, 24 de outubro de 2009

Transferência para a UTFPR

A UTFPR publicou o edital para o "Processo Seletivo de Transferência e Aproveitamento de Cursos de Graduação da UTFPR para o 1º semestre de 2010". As inscrições vão de 26/out/2009 a 06/nov/2009.


São várias vagas em diversos campi da UTFPR. Em Curitiba, na área de Computação,  são 9 vagas para Engenharia de Computação e 6 vagas para Sistemas de Informação.

Mais informações em

http://www2.utfpr.edu.br/futuros-alunos/transferencia-e-aproveitamento-de-curso


Receba as postagens deste blog por email