Prezados,
Saiu o edital de seleção para mestrado e doutorado do Programa de
Pós-Graduação em Informática da UnB, com vagas também na área de lógica.
Inscrições vão até 04/11. O edital encontra-se em:
http://ppgi.unb.br/index.php?option=com_jdownloads&Itemid=618&view=viewcategory&catid=38&lang=pt
e as inscrições são feitas preferencialmente através de meio eletrônico
http://editais.ppgi.unb.br
(nós temos enfrentado alguns problemas com os serviços de TI; se o link
estiver momentaneamente indisponível, não desista!)
Se alguém tiver particular interesse em trabalhar com automação de
métodos de provas para lógicas não-clássicas e suas combinações, por
favor entre em contato comigo. Eu tenho vagas para o próximo ano, alguns
projetos próprios e interesse em ouvir o seu próprio projeto.
Abraços,
Cláudia Nalon
------------------------------------
Departmento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasília
http://www.cic.unb.br/~nalon
--
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 [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d5001c75067f5c42fe03fde89c654f30%40unb.br.
