Pessoal, no sábado 29/09/12, a partir das 14 h, celebraremos o 50o aniversário do Prof. Edward Hermann Haeusler, o Hermann, no auditório do RDC na PUC-Rio.
A celebração, cujo programa pode ser acessado em http://www.ic.uff.br/~cbraga/hermann50/, ocorrerá em paralelo ao 7th Logical and Semantic Frameworks with Applications (LSFA 11). Aqueles que desejarem participar do evento social conjunto do LSFA e Hermann50 deverão se inscrever no LSFA em http://www.uff.br/lsfa. Saudações, Christiano _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
