Valeu, Márcio & Renata, pelo excelente trabalho, justamente premiado aqui em Natal!!
Com relação à lógica na computação, vale a pena lembrar também o feito de Francicleber & Ana Teresa, há apenas 2 anos: http://www.dimap.ufrn.br/pipermail/logica-l/2008-August/002507.html Abraços, Joao Marcos 2011/8/8 Renata Wassermann <[email protected]>: > Obrigada a todos pelos parabéns. > Estou muito orgulhosa pelo Márcio e por termos uma tese de lógica > reconhecida > como trabalho de computação! > > Abraços, > > Renata. > > 2011/8/3 Walter Carnielli <[email protected]> > >> Caros >> >> Márcio Moretto Ribeiro >> e Renata Wassermann >> >> >> parabéns ao Márcio pale premiacao (primeiro lugar) no Concurso de >> Teses e Dissertações do XXXI Congresso da Sociedade Brasileira de >> Computação de 2011! >> pela sua tese de doutorado "Revisão de Crenças em Lógicas de >> Descrição e em Outras Lógicas não Clássicas", e parabéns `a Renata >> pela orientacao! >> >> Sinto-me horado em ter participado da Banca de Defesa da tese e em >> ter sido co-responsável pela vinda do Márcio ao CLE como pos-doc! >> >> Um abraco, >> >> Walter >> >> >> >> >> -- >> ++++++++++++++++++++++++++++++++++++ >> Prof. Dr. Walter Carnielli >> Visiting Scholar >> School of Historical and Philosophical Studies >> Room G06 Ground Floor >> Old Quad Building >> The University of Melbourne >> 3010 VIC >> Melbourne, Australia >> >> Website: http://www.cle.unicamp.br/prof/carnielli >> ------------------------------------------- >> > > > > -- > Renata Wassermann > Associate Professor > Computer Science Department > University of São Paulo > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
