Olá a todos, Eu estou coordenando um projeto na área de formalização de sistemas abertos. São duas bolsas a serem implementadas.Tem que ter mestrado completo e ter trabalhado com formalização em assistentes de prova interativos para ordem superior. A preferência é para estudantes da UnB, mas não é restrito. O edital pode ser encontrado no link:
https://cic.unb.br/4592-2/ Estou à disposição para responder dúvidas. Abraços, Claudia -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/SC1PR80MB3904D7703AA78A13F2C94BA4DFE59%40SC1PR80MB3904.lamprd80.prod.outlook.com.
