Caros colegas, mais um seminário do LoLITA, desta vez:
*Testing for Refinement in CSP* Profa. Ana Cavalcanti (York University-Inglaterra) Local: *A ser confirmado**Dia: 28-Ago-09* Horário: *10:00hs O resumo pode ser acessado em: * http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita Atenciosamente, Regivan -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ******************************************************************************
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
