Edital de Seleção - Mestrado e Doutorado - Computação, UnB
23 views
Skip to first unread message
Cláudia Nalon
Oct 7, 2016, 9:08:19 PM10/7/16
to LOGICA-L
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
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
Joao Marcos
Oct 8, 2016, 3:42:31 AM10/8/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
2016-10-08 3:08 GMT+02:00 Cláudia Nalon <na...@unb.br>:
>
> 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.
Brasília parece um bom lugar para se estar no próximo ano. Vale
>
> 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.
lembrar que a Cláudia está organizando TABLEAUX + ITP + FroCoS, que
ocorrerão na capital federal em setembro de 2018!
JM
Claus Akira Horodynski Matsushigue
Oct 8, 2016, 11:50:16 AM10/8/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Claus Akira Horodynski Matsushigue
Na verdade TABLEAUX + ITP + FroCoS aqui em BRASÍLIA em ***2017***, no próximo ano,
25-29 September 2017.
--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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/CAO6j_Lg5C3%2BB%2Bmnj3ktwTWh4unPjVvAiczAFWnA10pE4R8AN%2BQ%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages