Excelente indicação! Itala > 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 <botoc...@gmail.com>: >> 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP Sergio Buarque de Holanda, 251 Street ZIP CODE 13083-859 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l