Aos colegas lógicos ligados a Programas de Pós-Graduação na área de Computação:
Em conversa com alguns dos nossos "pesquisadores mais produtivos", acabamos convergindo com relação a um candidato preferencial para integrar o CA-CC do CNPq. Escrevo aqui para fazer sugerir fortemente que vocês *façam lobby junto a seus programas de pós-graduação* para que o nome deste candidato conste da lista tríplice que cada programa de pós em CC deverá enviar estes dias para a coordenação de área (o meu programa, por exemplo, está construindo esta lista para envio *esta semana*). * * * Eis o candidato que eu gostaria de sugerir aos colegas: Marcelo Finger http://lattes.cnpq.br/0620986273710878 O texto abaixo pode ser usado para que vocês tentem convencer os colegas que se trata de um representante adequado. * * * Marcelo Finger é professor titular e livre-docente pelo IME/USP, onde trabalha desde 95. Estudou no Imperial College com Dov Gabbay, com quem co-autorou diversos trabalhos. Tem carreira científica consolidada internacionalmente (nas áreas de linguística computacional, lógica computacional e demonstração automática de teoremas, bancos de dados, e inteligência artificial). Marcelo conta também com razoável experiência administrativa e organizacional: ele é, por exemplo, o principal responsável pela criação do exame POSCOMP e participa ativamente e regularmente da organização de eventos nacionais importantes, como o SBIA deste ano. Além disso, ele acumula, de um lado, vários prêmios de empreendedorismo com, por outro lado, prêmios como o Jabuti por obra didática publicada. É importante mencionar ainda que Marcelo é assessor da pró-reitoria de pós-graduação da USP e é o gerente do sistema Janus de Administração da Pós-Graduação USP (o SIGAA de lá, com cerca de 32 mil usuários). O único defeito do Marcelo é o fato de que ele estará fazendo seu pós-doc em Cornell até os primeiros meses do próximo ano, e por isso só poderá atuar de forma remota neste período inicial do mandato junto ao CA-CC. Mas para este tipo de situação é que existem 2 suplentes às 6 vagas no CA-CC. Acho que não preciso acrescentar mais nada, além do fato de que já conversamos com Marcelo estes dias e ele nos disse que aceitaria a indicação para ir representar a comunidade junto ao CNPq. :-) * * * Abraços, Joao Marcos 2012/4/20 Joao Marcos <[email protected]>: > PessoALL: > > O vice-coordenador do programa de pós-graduação na área de Computação > do qual participo acabou de nos chamar a atenção para o fato de que o > mandato de três titulares do CA-CC do CNPq vai terminar dentro de > alguns dias. São eles: Alberto Laender, Luigi Carro, Clarisse > Sieckenius. > > Como de costume, três novos pesquisadores de produtividade de nível 1 > deverão ser indicados por cada um dos programas brasileiros de > pós-graduação "na área". A lista completa de nomes pode ser > encontrada abaixo, tal como compilada pelo nosso vice-coordenador: > Infelizmente, a votação dos três nomes não é direta, feita pelos > próprios pesquisadores interessados, mas é feita ao invés pelos > programas de pós "em nome de todos os seus membros". Assim sendo, o > melhor que podemos tentar conseguir, se quisermos que a área de Lógica > seja vista com bons olhos pelo CA-CC é: > > (1) tentar influenciar os programas de pós dos quais participamos para > eleger membros que tenham simpatia por e compreendam os anseios da > nossa área de pesquisa > > (2) escolher estes nomes inteligentemente na lista abaixo --- assim > sendo, antes de propor alguém como candidato :-) gostaria de saber se > algum dos colegas que ali estão se interessaria em concorrer! > > Abraços, > Joao Marcos > > > Abilio Pereira de Lucena Filho PQ-1C UFRJ > Agma Juci Machado Traina PQ-1C USP > Alba Cristina Magalhães Alves de Melo PQ-1D UNB > *Alberto Henrique Frade Laender PQ-1A UFMG > Alejandro César Frery Orgambide PQ-1C UFAL > Alexandre Xavier Falcão PQ-1C UNICAMP > Altigran Soares da Silva PQ-1D UFAM > Aluizio Fausto Ribeiro Araújo PQ-1D UFPE > Ana Lucia Cetertich Bazzan PQ-1D UFRGS > Andre Carlos Ponce de Leon Ferreira de Carvalho PQ-1B USP > Antonio Alberto Fernandes de Oliveira PQ-1D UFRJ > Antonio de Padua Braga PQ-1D UFMG > Arnaldo de Albuquerque Araújo PQ-1D UFMG > Artur Ziviani PQ-1D LNCC > Augusto Cezar Alves Sampaio PQ-1C UFPE > Bruno Feijo PQ-1C PUC-Rio > Bruno Richard Schulze PQ-1D LNCC > =Caetano Traina Junior PQ-1C USP > Carla Maria Dal Sasso Freitas PQ-1C UFRGS > Carlile Campos Lavor PQ-1D UNICAMP > Carlos Becker Westphall PQ-1C UFSC > Carlos Eduardo Ferreira PQ-1D USP > Carlos Eduardo Pereira PQ-1C UFRGS > Carlos José Pereira de Lucena PQ-1A PUC-Rio > Cecília Mary Fischer Rubira PQ-1D UNICAMP > Célia Aparecida Zorzo Barcelos PQ-1D UFU > Celia Picinin de Mello PQ-1C UNICAMP > Celina Miraglia Herrera de Figueiredo PQ-1A UFRJ > Celso da Cruz Carneiro Ribeiro PQ-1A UFF > Cid Carvalho de Souza PQ-1D UNICAMP > *Clarisse Sieckenius de Souza PQ-1C PUC-Rio > Claudia Maria Bauzer Medeiros PQ-1A UNICAMP > Claudia Maria Lima Werner PQ-1D UFRJ > Cláudio Leonardo Lucchesi PQ-1A UFMS > Cláudio Rosito Jung PQ-1D UFRGS > Corina da Costa Freitas PQ-1C INPE > Daniel Schwabe PQ-1C PUC-Rio > Djamel Fawzi Hadj Sadok PQ-1D UFPE > Edleno Silva de Moura PQ-1D UFAM > Edmundo Albuquerque de Souza e Silva PQ-1A UFRJ > Eduardo Sany Laber PQ-1D PUC-Rio > Ernesto Julián Goldberg Birgin PQ-1C USP > Fabian Luis Vargas PQ-1D PUCRS > Fabio Gagliardi Cozman PQ-1D USP > Fabio Kon PQ-1D USP > Fábio Protti PQ-1C UFF > Flávio Keidi Miyazawa PQ-1C UNICAMP > Flávio Rech Wagner PQ-1C UFRGS > Francisco de Assis Tenorio de Carvalho PQ-1C UFPE > Francisco Vilar Brasileiro PQ-1D UFCG > Geraldo Robson Mateus PQ-1B UFMG > Gerson Zaverucha PQ-1D UFRJ > Gilberto Camara Neto PQ-1C INPE > Guido Costa Souza de Araújo PQ-1C UNICAMP > Guilherme Horta Travassos PQ-1D UFRJ > Henrique Pacca Loureiro Luna PQ-1B UFAL > Jacob Scharcanski PQ-1C UFRGS > Jano Moreira de Souza PQ-1D UFRJ > Jayme Luiz Szwarcfiter PQ-1A UFRJ > Joao Luiz Dihl Comba PQ-1D UFRGS > Joni da Silva Fraga PQ-1D UFSC > Jorge Stolfi PQ-1B UNICAMP > Jose Carlos Maldonado PQ-1B USP > José Ferreira de Rezende PQ-1D UFRJ > Jose Marcos Silva Nogueira PQ-1D UFMG > Jose Neuman de Souza PQ-1D UFC > Jose Palazzo Moreira de Oliveira PQ-1C UFRGS > Jose Roberto Boisson de Marca PQ-1D PUC-Rio > =Judith Kelner PQ-1D UFPE > Junior Barrera PQ-1B USP > Jussara Marques de Almeida PQ-1D UFMG > Lúcia Maria de Assumpção Drummond PQ-1D UFF > Luciano da Fontoura Costa PQ-1B USP > Luerbio Faria PQ-1D UERJ > *Luigi Carro PQ-1C UFRGS > Luís da Cunha Lamb PQ-1C UFRGS > Luis Gustavo Nonato PQ-1D USP > Luis Henrique Maciel Kosmalski Costa PQ-1D UFRJ > Luiz Fernando Gomes Soares PQ-1B PUC-Rio > Luiz Satoru Ochi PQ-1D UFF > Luiza de Macedo Mourelle PQ-1D UERJ > Manuel Menezes de Oliveira Neto PQ-1D UFRGS > Marcelo Finger PQ-1C USP > Marcelo Henriques de Carvalho PQ-1D UFMS > Marco Antonio Casanova PQ-1C PUC-Rio > Marco Aurelio Cavalcanti Pacheco PQ-1D PUC-Rio > Marco Tulio de Oliveira Valente PQ-1D UFMG > Marcos Roberto da Silva Borges PQ-1D UFRJ > Marcus Vinicius Soledade Poggi de Aragao PQ-1D PUC-Rio > Maria Cristina Ferreira de Oliveira PQ-1D USP > Maria da Graca Campos Pimentel PQ-1D USP > Mário Fernando Montenegro Campos PQ-1C UFMG > Marley Maria Bernardes Rebuzzi Vellasco PQ-1D PUC-Rio > Marta Lima de Queiros Mattoso PQ-1C UFRJ > Mauricio Ayala Rincon PQ-1D UNB > Nadia Nedjah PQ-1D UERJ > Nelson Delfino d'Avila Mascarenhas PQ-1B UFSCAR > Nelson Luis Saldanha da Fonseca PQ-1B UNICAMP > Nelson Maculan Filho PQ-1A UFRJ > Nivio Ziviani PQ-1A UFMG > Odemir Martinez Bruno PQ-1D USP > Otto Carlos Muniz Bandeira Duarte PQ-1B UFRJ > Paulo Augusto Silva Veloso PQ-1A UFRJ > Paulo Cesar Masiero PQ-1D USP > Paulo Roberto Freire Cunha PQ-1B UFPE > Paulo Romero Martins Maciel PQ-1D UFPE > Philippe Olivier Alexandre Navaux PQ-1D UFRGS > Rafael Dueire Lins PQ-1C UFPE > Renato Antonio Celso Ferreira PQ-1D UFMG > Renato Portugal PQ-1D LNCC > Roberto Marcondes Cesar Junior PQ-1B USP > Rosane Minghim PQ-1D USP > Sheila Regina Murgel Veloso PQ-1D UERJ > Siang Wun Song PQ-1A USP > Sulamita Klein PQ-1C UFRJ > Susana Scheimberg de Makler PQ-1C UFRJ > Teresa Bernarda Ludermir PQ-1B UFPE > =Valmir Carneiro Barbosa PQ-1A UFRJ > #Virgilio Augusto Fernandes Almeida PQ-1A UFMG > Wagner Meira Junior PQ-1C UFMG > +Yoshiharu Kohayakawa PQ-1A USP > Yoshiko Wakabayashi PQ-1A USP > Zhao Liang PQ-1C USP > > * Atual titular em fim de mandato, não pode ser reconduzido > = Atual titular no meio do mandato, não pode ser indicado > + Atual suplente, pode ser indicado como titular. > # Atual suplente no meio do mandato, não pode ser indicado -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
